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