Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023)
Материал из 0x1.tv
Версия от 05:36, 18 января 2024; StasFomin (обсуждение | вклад)
Короткая ссылка: 20230127F
- Докладчик
- Даниил Исакевич
Представлен опыт использования связки Рефала, вычислителя программ в структурном стиле и LaTeX в работе преподавателя информатики строительного колледжа. На примере задачи вычисления таблицы истинности выражения в логике высказываний подробно описаны: опыт автоматической массовой генерации примеров и ответов, вынуждающий преподавателя учиться, и устройство генератора. Показаны некоторые возможности, которые отказ от стандартной реализации арифметики может дать преподавателю. Отмечены преимущества написания Рефал-программ с русскими именами переменных и функций.
Содержание
Видео