|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Кузнецов Степан Львович, преподаватель курса Практикум по математической логике. COQ.преподавание учебного курса
- Преподаватель: Кузнецов Степан Львович
- Курс: Практикум по математической логике. COQ.
- Тип дисциплины: обязательная, вариативной части
- Вид учебных занятий: практические занятия
- Подразделение: МГУ имени М.В. Ломоносова, Механико-математический факультет, Отделение математики, Кафедра математической логики и теории алгоритмов
- Дата начала преподавания: 1 сентября 2019 г.
- Дата окончания преподавания: 19 декабря 2019 г.
- Количество часов: 18