Конструктивная логика
Название спецкурса на английском языке
Constructive logic
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс по выбору кафедры
Учебный год
2024/25
Список тем
Интуиционистская логика
Теория алгоритмов
Конструктивные интерпретации логических и логико-математических языков
Теория алгоритмов
Конструктивные интерпретации логических и логико-математических языков
Список источников
В.Е.Плиско, В.Х.Хаханян, Интуиционистская логика. М.: Мехмат МГУ, 2009.
В.Е.Плиско, Лекции по конструктивной логике. М.: Луч, 2021.
В.Е.Плиско, Лекции по конструктивной логике. М.: Луч, 2021.
День недели
пятница
Время
18:30-20:05
Аудитория
425
Дата первого занятия
Аудитория первого занятия
Ещё не назначена