|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Логики предикатовучебный курс
- Автор: Шехтман В.Б.
- Год создания: 2015
- Организация: МГУ имени М.В. Ломоносова
- Описание: Излагаются классические результаты теории доказательств и теории моделей.
- Добавил в систему: Золин Евгений Евгеньевич
Преподавание курса
- 8 сентября 2015 - 17 мая 2016 Шехтман Валентин Борисович
- МГУ имени М.В. Ломоносова, Механико-математический факультет
- обязательная, по выбору (спецкурс), лекции, 60 часов
- Автор: Шехтман В.Б.