Институт математики и механики им. Н.И. Лобачевского, кафедра алгебры и математической логики
Направление: 01.04.01 - Математика, магистратура
Профиль подготовки: «Алгебра»
Дисциплина: «Избранные главы математической логики» (магистратура, 1 курс, 1 семестр, очное обучение)
Количество часов всего: 144 ч. (в том числе: лекции - 12, практические занятия - 24, самостоятельная работа - 72, экзамен - 36).
Аннотация: В ЭОР изложены основные разделы избранного раздела математической логики - «Иерархия Ершова». Излагаются основные результаты о конечных уровнях иерархии Ершова. Приведены понятия систем обозначений и конструктивных ординалов. Излагаются основные результаты о бесконечных уровнях иерархии Ершова. Рассмотрены примеры решения типовых задач.
Темы:
1. Конечные уровни иерархии Ершова.
2. Табличная сводимость. ω-в.п. множества.
3. Конструктивные ординалы. Обозначения для конструктивных ординалов.
4. Бесконечные уровни иерархии Ершова.
Ключевые слова: n-вычислимо перечислимое множество, разностная иерархия, табличная сводимость, система обозначений, конструктивный ординал
Авторы ЭОР: Арсланов Марат Мирзаевич, заведующий кафедрой алгебры им математической логики, доктор физико-математических наук, профессор, тел.: (843)233-77-14, email: marat.arslanov@kpfu.ru.
Файзрахманов Марат Хайдарович, доцент кафедры алгебры им математической логики, кандидат физико-математических наук, тел.: (843)233-70-39, email: marat.faizrahmanov@kpfu.ru.
Дата начала эксплуатации: 16 сентября 2019 г.
- Учитель: Марат Файзрахманов