Компьютерный практикум по автоматизированной проверке доказательств: Coq
Полугодовой практикум для студентов 3 курса
кафедры математической логики и теории алгоритмов
Ведет занятия: Степан Львович Кузнецов
Авторы курса: В. Н. Крупский & С. Л. Кузнецов
Осенний семестр 2021 года: занятия по субботам 10:45—12:20
Занятия проводятся дистанционно, подключение к Zoom осуществляется через факультетские аккаунты.
Материалы
- Учебное пособие по Coq (сост. В.Н.Крупский, С.Л.Кузнецов)
- Страница практикума на сайте С. Л. Кузнецова