Перейти к основному содержанию
EDU-MMCS
Вы используете гостевой доступ (
Вход
)
CS301. Теория языков программирования
В начало
Курсы
Осенний семестр
Фундаментальная информатика и ИТ
ТЯП
CS301. Теория языков программирования
Библиотека Mathematical Components
Библиотека Mathematical Components
Нажмите на ссылку
Библиотека Mathematical Components
, чтобы открыть ресурс.
◄ The Coq Proof Assistant
Перейти на...
Перейти на...
Программа курса
Учебная карта дисциплины
Порядок начисления баллов
The Coq Proof Assistant
Software Foundations
Отчет по проекту
Бонусные баллы
Software Foundations ►