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