На философском факультете в Московского университета расскажут об интерактивном доказательстве теорем в логическом образовании

В понедельник, 14 января, на философском факультете Московского государственного университета имени М.В. Ломоносова сотрудник Parallel Scientific кандидат наук В.Е. Комендантский будет выступать с докладом "Интерактивное доказательство теорем в логическом образовании". В докладе будут продемонстрированы основные приемы интерактивных доказательств в системе Agda с объяснением их логической подоплеки.


Докладчик поделится опытом успешного применения интерактивных пруверов, основанных на конструктивной теории типов в университетском преподавании. В.Е. Комендантский - выпускник кафедры логики философского факультета МГУ. Является сотрудником компании Parallel Scientific и работает в Шотландии, в округе Файф. Начало в 16.00 в аудитории Г-340.

Центр СМИ МГУ