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