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