Математическая логика, часть 2
Название спецкурса на английском языке
Mathematical logic, part 2
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Весна
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Рекурсивные функции.
Теоремы Геделя о неполноте.
Аксиоматическая теория множеств.
Теорема Цермело.
Теоремы Геделя о неполноте.
Аксиоматическая теория множеств.
Теорема Цермело.
Список источников
T. Jech. Set theory, The Third Millenium Edition. Springer, 2006.
G. Boolos. The logic of provability. Cambridge University Press, 1993.
G. Boolos. The logic of provability. Cambridge University Press, 1993.
Дополнительная информация
Спецкурс является обязательным для студентов 3 курса кафедры математической логики и теории алгоритмов.
День недели
по согласованию
Время
по согласованию
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.