Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023) — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) (Новая страница: «;{{SpeakerInfo}}: {{Speaker|Даниил Исакевич}} <blockquote> </blockquote> {{VideoSection}} {{vimeoembed||800|450}} {{youtubelink|}} {{SlidesSectio…») |
StasFomin (обсуждение | вклад) |
||
;{{SpeakerInfo}}: {{Speaker|Даниил Исакевич}}
<blockquote>
Представлен опыт использования связки Рефала, вычислителя программ в структурном стиле
и LaTeX в работе преподавателя информатики строительного колледжа. На примере задачи
вычисления таблицы истинности выражения в логике высказываний подробно описаны: опыт
автоматической массовой генерации примеров и ответов, вынуждающий преподавателя учиться,
и устройство генератора. Показаны некоторые возможности, которые отказ от стандартной
реализации арифметики может дать преподавателю. Отмечены преимущества написания
Рефал-программ с русскими именами переменных и функций.
</blockquote>
{{VideoSection}}
{{vimeoembed||800|450}}
{{youtubelink|}}
{{SlidesSection}}
[[File:Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf|left|page=-|300px]]
{{----}}
== Thesis == |
Версия 05:36, 18 января 2024
- Докладчик
- Даниил Исакевич
Представлен опыт использования связки Рефала, вычислителя программ в структурном стиле и LaTeX в работе преподавателя информатики строительного колледжа. На примере задачи вычисления таблицы истинности выражения в логике высказываний подробно описаны: опыт автоматической массовой генерации примеров и ответов, вынуждающий преподавателя учиться, и устройство генератора. Показаны некоторые возможности, которые отказ от стандартной реализации арифметики может дать преподавателю. Отмечены преимущества написания Рефал-программ с русскими именами переменных и функций.
Содержание
Видео