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