Название спецсеминара на английском языке
Computability and non-classical logics
Авторы курса
Крупский Владимир Николаевич, Плиско Валерий Егорович, Коновалов Александр Юрьевич
Пререквизиты
Отсутствуют
Целевая аудитория
3-6 курс, магистранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Год
Учебный год
2024/25
Список тем
1. Интуиционистская арифметика первого порядка.
2. Формализация элементарной теории рекурсии.
3. Логика и арифметика высших порядков.
4. Реализуемость.
5. Свободно становящиеся последовательности и аксиомы непрерывности.
6. Бар-индукция и обобщенные индуктивные определения.
Список источников
A.S.Troelstra, D. van Dalen, Constructivism in Mathematics. An Introduction. Volume I. Elsevier Science Publishers B.V., Amsterdam, 1988.
День недели
пятница
Время
16:45-18:20
Аудитория
425
Аудитория первого занятия
Ещё не назначена