Министерство науки и высшего образования РФ
Федеральное государственное автономное образовательное учреждение
высшего образования
«СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ»
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (МОДУЛЯ)
Б1.В.ДВ.01.02 ТЕОРИЯ МОДЕЛЕЙ
Направление подготовки (специальность) 01.04.01 Математика
Профиль подготовки (специализация) [Link] Комплексный анализ
Форма обучения очная
Год набора 2025
ДОКУМЕНТПОДПИСАН
Э_
_____________________ЛЕ
__К
_Т
_РОН
__ Н
__ ОЙ
__ П
___ОД
_ П_
___ИС
__ЬЮ___________
__
Сертификат: 67D50BAE50047080C5AB0FBFE5A022A2
Владелец: ФГАОУВО "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
Красноярск 2025
Действителен: с23октября2024гпо16января2026г
.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (МОДУЛЯ)
Программу составили
Доцент,Кандидат физико-математических наук Кияткин Владимир
Ростиславович
1 Цели и задачи изучения дисциплины
1.1 Цель преподавания дисциплины:
Целью дисциплины «Теория моделей» является знакомство студентов со
следующими разделами теории моделей:
элементарная эквивалентность, модельная полнота, сколемизация, элиминация
кванторов, теория типов, насыщенные системы, опускание типа, стабильные теории.
1.2 Задачи изучения дисциплины:
Задачей изучения дисциплины является: овладение понятиями и методами
теории моделей: элементарная эквивалентность, модельная полнота, сколемизация,
элиминация кванторов, теория типов, насыщенные системы, опускание типа,
стабильные теории.
1.3 Перечень планируемых результатов обучения по дисциплине (модулю),
соотнесенных с планируемыми результатами освоения образовательной программы
высшего образования:
Код и наименование индикатора Запланированные результаты обучения по
достижения компетенции дисциплине
ПК-1 Способен применять в научно-исследовательской деятельности знания
математических и естественных наук, основ программирования и информационных
технологий
ПК-1.1 Обладает достаточными Знать: Какие исследовательские вопросы
фундаментальными теоретическими и стоят в рамках данной дисциплины.
практическими знаниями Уметь: Самостоятельно освоить темы
математических и естественных наук, дисциплины, углубляющие и детализирующие
основ программирования и содержание лекционных и семинарских
информационных технологий для занятий.
проведения в конкретной области Владеть: Методами решения задач и
профессиональной деятельности проблем, входящими в рамки данной
дисциплины.
ПК-1.2 Решает научные задачи в Знать: Основные теории становления и
соответствии с поставленной целью и методы изучаемой дисциплины.
в соответствии с выбранной Уметь: Применять знания и методы к
методикой решению задач в научно-исследовательской
деятельности.
Владеть: Основными методами и
программными продуктами для достижения
поставленной цели.
Дисциплина реализуется без применения ЭО и ДОТ
2 Объем дисциплины (модуля)
Всего,
зачетных Семестр
Вид учебной работы
единиц
(акад.час) 1
Общая трудоемкость
дисциплины 3 () ()
Контактная работа с
1 (36) 1 (36)
преподавателем:
занятия лекционного типа 0,5 (18) 0,5 (18)
практические занятия 0,5 (18) 0,5 (18)
Самостоятельная работа
2 (72) 2 (72)
обучающихся
Вид промежуточной аттестации
(Зачет) Зачёт
3 Содержание дисциплины (модуля)
Часы в
№ Вид Объем Семестр
Темы занятия эл. РО Мероприятия текущего контроля и ПА
п/п работ часов /курс
формате
Раздел 1. Модуль I.
ПК-
1. Лек Введение. Исчисление предикатов, семантическая интерпретация. 1 1 1.1,ПК-
1.2
ПК-
2. Лек Связь между дедуктивными и семантическими понятиями. 1 1 1.1,ПК-
1.2
ПК-
3. Лек Алгебраические понятия. Аксиоматические системы. 1 1 1.1,ПК-
1.2
ПК-
4. Лек Теоремы вложения и принцип переноса, нормальные ряды Мальцева. 1 1 1.1,ПК-
1.2
ПК-
Основные понятия теории моделей. Функции Сколема, релятивизация,
5. Лек 1 1 1.1,ПК-
расширение моделей.
1.2
ПК-
Препятствия к элементарному расширению, выпуклые системы, модельная
6. Лек 1 1 1.1,ПК-
непротиворечивость.
1.2
ПК-
7. Пр Введение. Исчисление предикатов, семантическая интерпретация. 1 1 1.1,ПК-
1.2
ПК-
8. Пр Связь между дедуктивными и семантическими понятиями. 1 1 1.1,ПК-
1.2
ПК-
9. Пр Алгебраические понятия. Аксиоматические системы. 1 1 1.1,ПК-
1.2
ПК-
10. Пр Теоремы вложения и принцип переноса, нормальные ряды Мальцева. 1 1 1.1,ПК-
1.2
ПК-
Основные понятия теории моделей. Функции Сколема, релятивизация,
11. Пр 1 1 1.1,ПК-
расширение моделей.
1.2
ПК-
Препятствия к элементарному расширению, выпуклые системы, модельная
12. Пр 1 1 1.1,ПК-
непротиворечивость.
1.2
ПК-
13. Ср Модуль I. 6 1 1.1,ПК-
1.2
ПК-
14. Ср Модуль I. 7 1 1.1,ПК-
1.2
ПК-
15. Ср Модуль I. 7 1 1.1,ПК-
1.2
Раздел 2. Модуль II.
ПК-
1. Лек Полнота. Признак полноты. 1 1 1.1,ПК-
1.2
ПК-
2. Лек Модельная полнота, относительная модельная полнота. 1 1 1.1,ПК-
1.2
ПК-
3. Лек Определимость. Теорема Бета. 1 1 1.1,ПК-
1.2
ПК-
4. Лек Относительные определения, модельное пополнение. 1 1 1.1,ПК-
1.2
ПК-
5. Лек Челночный метод. Пространство типов. 1 1 1.1,ПК-
1.2
ПК-
6. Лек Omega-насыщенные модели, элиминация кванторов. 1 1 1.1,ПК-
1.2
ПК-
7. Пр Полнота. Признак полноты. 1 1 1.1,ПК-
1.2
ПК-
8. Пр Модельная полнота, относительная модельная полнота. 1 1 1.1,ПК-
1.2
ПК-
9. Пр Определимость. Теорема Бета. 1 1 1.1,ПК-
1.2
ПК-
10. Пр Относительные определения, модельное пополнение. 1 1 1.1,ПК-
1.2
ПК-
11. Пр Челночный метод. Пространство типов. 1 1 1.1,ПК-
1.2
ПК-
12. Пр Omega-насыщенные модели, элиминация кванторов. 1 1 1.1,ПК-
1.2
ПК-
13. Ср Модуль II. 6 1 1.1,ПК-
1.2
ПК-
14. Ср Модуль II. 7 1 1.1,ПК-
1.2
ПК-
15. Ср Модуль II. 7 1 1.1,ПК-
1.2
Раздел 3. Модуль III.
ПК-
Примеры применения челночного метода. Алгебраически и дифференциально
1. Лек 0,5 1 1.1,ПК-
замкнутые поля.
1.2
ПК-
2. Лек Булевы алгебры, модули и экзистенциально замкнутые модули. 0,5 1 1.1,ПК-
1.2
ПК-
3. Лек Арифметика. Кодирование конечных множеств и формул, теорема Тарского. 1 1 1.1,ПК-
1.2
ПК-
Иерархия арифметических множеств, модели фрагментов арифметики,
4. Лек 1 1 1.1,ПК-
нестандартные модели, теорема Гёделя.
1.2
ПК-
Простые модели. Теорема об опускании типов, простые модели, атомные
5. Лек 1 1 1.1,ПК-
модели.
1.2
ПК-
Теории с конечным числом счётных моделей, конструируемые модели,
6. Лек 1 1 1.1,ПК-
минимальные модели, неединственность простой модели.
1.2
ПК-
Наследники. Определимые типы, типы концевых расширений в арифметике,
7. Лек 1 1 1.1,ПК-
стабильные типы и теории.
1.2
ПК-
Примеры применения челночного метода. Алгебраически и дифференциально
8. Пр 0,5 1 1.1,ПК-
замкнутые поля.
1.2
ПК-
9. Пр Булевы алгебры, модули и экзистенциально замкнутые модули. 0,5 1 1.1,ПК-
1.2
ПК-
10. Пр Арифметика. Кодирование конечных множеств и формул, теорема Тарского. 1 1 1.1,ПК-
1.2
ПК-
Иерархия арифметических множеств, модели фрагментов арифметики,
11. Пр 1 1 1.1,ПК-
нестандартные модели, теорема Гёделя.
1.2
ПК-
Простые модели. Теорема об опускании типов, простые модели, атомные
12. Пр 1 1 1.1,ПК-
модели.
1.2
ПК-
Теории с конечным числом счётных моделей, конструируемые модели,
13. Пр 1 1 1.1,ПК-
минимальные модели, неединственность простой модели.
1.2
ПК-
Наследники. Определимые типы, типы концевых расширений в арифметике,
14. Пр 1 1 1.1,ПК-
стабильные типы и теории.
1.2
ПК-
15. Ср Модуль III. 8 1 1.1,ПК-
1.2
ПК-
16. Ср Модуль III. 8 1 1.1,ПК-
1.2
ПК-
17. Ср Модуль III. 8 1 1.1,ПК-
1.2
ПК-
18. Ср Модуль III. 8 1 1.1,ПК-
1.2
ПК-
19. Зачёт Зачёт 1 1.1,ПК- Зачёт
1.2
4 Учебно-методическое обеспечение дисциплины
4.1 Печатные и электронные издания:
1. Робинсон А., Тайманов А. Д. Введение в теорию моделей и метаматематику
алгебры:перевод с английского. - Москва: Наука, Гл. ред. физ.-мат. лит., 1967. - 376 с..
2. Сакс Д. Е., Тайманов А. Д. Теория насышенных моделей:перевод с
английского. - Москва: Мир, 1976. - 190 с..
3. Кейслер Г., Чен Ч. Ч., Ершов Ю. Л., Тайманов А. Д. Теория моделей:перевод с
английского. - Москва: Мир, 1977. - 614 с..
4. Мальцев А. И. Алгебраические системы:монография. - Москва: Наука, Гл.
ред. физ.-мат. лит., 1970. - 392 с..
4.2 Лицензионное и свободно распространяемое программное обеспечение,
в том числе отечественного производства (программное обеспечение, на которое
университет имеет лицензию, а также свободно распространяемое программное
обеспечение):
1. Microsoft Office Professional Plus 2010 Russian. Офисный пакет Microsoft
Office.
2. Microsoft Windows Professional 10 Russian. Операционная система Windows.
3. Adobe Acrobat Reader DC . Программное обеспечение для просмотра и печати
файлов PDF.
4.3 Интернет-ресурсы, включая профессиональные базы данных и
информационные справочные системы:
1. Электронная правовая система "КонсультантПлюс". [Link]
Электронная правовая система "КонсультантПлюс"
2. Н.К. Верещагин, А. Шень.Лекции по математической логике и теории
алгоритмов.
Часть 1. Начала теории множеств. — 4-е изд., доп. — М.:
МЦНМО, 2012. — 112 c.
ISBN 978-5-4439-0012-4 [Link]
[Link]
5 Фонд оценочных средств
Фонд оценочных средств является приложением к рабочей программе
дисциплины (модуля), хранится на кафедре, обеспечивающей преподавание данной
дисциплины (модуля).
6 Материально-техническая база, необходимая для осуществления
образовательного процесса по дисциплине (модулю)
Для проведения занятий требуется оборудованная доской аудитория.
Освоение дисциплины инвалидами и лицами с ограниченными
возможностями здоровья, в зависимости от нозологий, осуществляется с
использованием средств обучения общего и специального назначения.