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