Кафедра математической логики и теории алгоритмов

Компьютерный практикум по автоматизированной проверке доказательств: Coq

Полугодовой практикум для студентов 3 курса
кафедры математической логики и теории алгоритмов
Ведет занятия:   Степан Львович Кузнецов
Авторы курса:   В. Н. Крупский & С. Л. Кузнецов
Осенний семестр 2021 года: занятия по субботам 10:45—12:20

Занятия проводятся дистанционно, подключение к Zoom осуществляется через факультетские аккаунты.


Материалы