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