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