Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023)

Материал из 0x1.tv

Короткая ссылка: 20230127F
Докладчик
Даниил Исакевич

Представлен опыт использования связки Рефала, вычислителя программ в структурном стиле и LaTeX в работе преподавателя информатики строительного колледжа. На примере задачи вычисления таблицы истинности выражения в логике высказываний подробно описаны: опыт автоматической массовой генерации примеров и ответов, вынуждающий преподавателя учиться, и устройство генератора. Показаны некоторые возможности, которые отказ от стандартной реализации арифметики может дать преподавателю. Отмечены преимущества написания Рефал-программ с русскими именами переменных и функций.

Видео

Презентация

Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf

Thesis

Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023)!.jpg

Примечания и ссылки

Источник — «https://0x1.tv/index.php?title=Рефал_—_опыт_формализации_в_преподавании_информатики_(Даниил_Исакевич,_OSEDUCONF-2023)&oldid=189147»