Институт математики и механики им. Н.И. Лобачевского, кафедра алгебры и математической логики

Направление: 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 г.

met.pdfmet.pdf