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

;{{SpeakerInfo}}: {{Speaker|Даниил Исакевич}}
<blockquote>
Представлен опыт использования связки Рефала, вычислителя программ в структурном стиле 
и LaTeX в работе преподавателя информатики строительного колледжа. На примере задачи 
вычисления таблицы истинности выражения в логике высказываний подробно описаны: опыт 
автоматической массовой генерации примеров и ответов, вынуждающий преподавателя учиться, 
и устройство генератора. Показаны некоторые возможности, которые отказ от стандартной 
реализации арифметики может дать преподавателю. Отмечены преимущества написания 
Рефал-программ с русскими именами переменных и функций.
</blockquote>

{{VideoSection}}

{{vimeoembed||800|450}}
{{youtubelink|}}

{{SlidesSection}}
[[File:Рефал — опыт формализации в преподавании информатики (Даниил Исакевич, OSEDUCONF-2023).pdf|left|page=-|300px]]

{{----}}

== Thesis ==