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