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