|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Гуров Сергей Исаевич, преподаватель курса Исчисления высказываний классической и интуиционистской логикпреподавание учебного курса
- Преподаватель: Гуров Сергей Исаевич
- Курс: Исчисления высказываний классической и интуиционистской логик
- Тип дисциплины: обязательная, по выбору (спецкурс)
- Вид учебных занятий: лекции
- Подразделение: МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математических методов прогнозирования
- Дата начала преподавания: 3 октября 2014 г.
- Дата окончания преподавания: 15 мая 2015 г.
- Количество часов: 64