Министерство науки и высшего образования РФ
Федеральное государственное автономное образовательное учреждение
высшего образования
«СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ»
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (МОДУЛЯ)
Б1.В.ДВ.02.02 Теория моделей
наименование дисциплины (модуля) в соответствии с учебным планом
Направление подготовки / специальность
01.04.01 Математика
Направленность (профиль)
[Link] Комплексный анализ
Форма обучения очная
Год набора 2021
ДОКУМЕНТПОДПИСАН
Э_
_____________________ЛЕ
__К
_Т
_РОН
__ Н
__ ОЙ
__ П
___ОД
_ П_
___ИС
__ЬЮ___________
__
Сертификат: 6EA173892A8A 5ACD E60C 3E69C5A6A666
Красноярск 2022
Владелец: ФГАОУВО "СИБИРСКИЙ ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ"
Действителен: с24мая2022гпо17авг
уста2023г
.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (МОДУЛЯ)
Программу составили
Кандидат физико-математических наук, Доцент, Кияткин Владимир
Ростиславович
должность, инициалы, фамилия
2
1 Цели и задачи изучения дисциплины
1.1 Цель преподавания дисциплины
Целью дисциплины «Теория моделей» является знакомство студентов со
следующими разделами теории моделей:
элементарная эквивалентность, модельная полнота, сколемизация,
элиминация кванторов, теория типов, насыщенные системы, опускание типа,
стабильные теории.
1.2 Задачи изучения дисциплины
Задачей изучения дисциплины является: овладение понятиями и
методами теории моделей: элементарная эквивалентность, модельная полнота,
сколемизация, элиминация кванторов, теория типов, насыщенные системы,
опускание типа, стабильные теории.
1.3 Перечень планируемых результатов обучения по дисциплине
(модулю), соотнесенных с планируемыми результатами освоения
образовательной программы
Код и наименование индикатора Запланированные результаты обучения по дисциплине
достижения компетенции
ПК-1: Способен применять в научно-исследовательской деятельности знания
математических и естественных наук, основ программирования и
информационных технологий
ПК-1.1: Обладает Какие исследовательские вопросы стоят в рамках
достаточными данной дисциплины
фундаментальными Самостоятельно освоить темы дисциплины,
теоретическими и углубляющие и детализирующие содержание
практическими знаниями лекционных и семинарских занятий
математических и Методами решения задач и проблем, входящими в
естественных наук, основ рамки данной дисциплины
программирования и
информационных технологий
для проведения в конкретной
области профессиональной
деятельности
ПК-1.2: Решает научные Основные теории становления и методы изучаемой
задачи в соответствии с дисциплины
поставленной целью и в Применять знания и методы к решению задач в
соответствии с выбранной научно-исследовательской деятельности
методикой Основными методами и программными продуктами
для достижения поставленной цели
1.4 Особенности реализации дисциплины
Язык реализации дисциплины: Русский.
Дисциплина (модуль) реализуется без применения ЭО и ДОТ.
3
С
2. Объем дисциплины (модуля) е
м
е
Всего, с
зачетных т
Вид учебной работы
единиц р1
(акад.час)
Контактная работа с
1,06 (38)
преподавателем:
занятия лекционного типа 0,53 (19)
практические занятия 0,53 (19)
Самостоятельная работа
1,94 (70)
обучающихся:
курсовое проектирование
Нет
(КП)
курсовая работа (КР) Нет
Промежуточная аттестация 1 (36)
(Экзамен)
4
3 Содержание дисциплины (модуля)
3.1 Разделы дисциплины и виды занятий (тематический план занятий)
Контактная работа, ак. час.
Занятия семинарского типа
Занятия
Самостоятельная
лекционного
№ Семинары и/или Лабораторные работа, ак. час.
Модули, темы (разделы) дисциплины типа
п/п Практические работы и/или
занятия Практикумы
В том В том В том В том
Всего числе в Всего числе в Всего числе в Всего числе в
ЭИОС ЭИОС ЭИОС ЭИОС
1. Модуль I.
1. Введение. Исчисление предикатов, семантическая
1
интерпретация.
2. Связь между дедуктивными и семантическими
1
понятиями.
3. Алгебраические понятия. Аксиоматические системы. 1
4. Теоремы вложения и принцип переноса, нормальные
1
ряды Мальцева.
5. Основные понятия теории моделей. Функции
1
Сколема, релятивизация, расширение моделей.
6. Препятствия к элементарному расширению,
1
выпуклые системы, модельная непротиворечивость.
7. Введение. Исчисление предикатов, семантическая
1
интерпретация.
5
8. Связь между дедуктивными и семантическими
1
понятиями.
9. Алгебраические понятия. Аксиоматические системы. 1
10. Теоремы вложения и принцип переноса, нормальные
1
ряды Мальцева.
11. Основные понятия теории моделей. Функции
1
Сколема, релятивизация, расширение моделей.
12. Препятствия к элементарному расширению,
1
выпуклые системы, модельная непротиворечивость.
13. Модуль I. 20
2. Модуль II.
1. Полнота. Признак полноты. 1
2. Модельная полнота, относительная модельная
1
полнота.
3. Определимость. Теорема Бета. 1
4. Относительные определения, модельное пополнение. 1
5. Челночный метод. Пространство типов. 1
6. Omega-насыщенные модели, элиминация кванторов. 1
7. Полнота. Признак полноты. 1
8. Модельная полнота, относительная модельная
1
полнота.
9. Определимость. Теорема Бета. 1
10. Относительные определения, модельное
1
пополнение.
11. Челночный метод. Пространство типов. 1
12. Omega-насыщенные модели, элиминация кванторов. 1
13. Модуль II. 20
6
3. Модуль III.
1. Примеры применения челночного метода.
1
Алгебраически и дифференциально замкнутые поля.
2. Булевы алгебры, модули и экзистенциально
1
замкнутые модули.
3. Арифметика. Кодирование конечных множеств и
1
формул, теорема Тарского.
4. Иерархия арифметических множеств, модели
фрагментов арифметики, нестандартные модели, 1
теорема Гёделя.
5. Простые модели. Теорема об опускании типов,
1
простые модели, атомные модели.
6. Теории с конечным числом счётных моделей,
конструируемые модели, минимальные модели, 1
неединственность простой модели.
7. Наследники. Определимые типы, типы концевых
1
расширений в арифметике, стабильные типы и теории.
8. Примеры применения челночного метода.
1
Алгебраически и дифференциально замкнутые поля.
9. Булевы алгебры, модули и экзистенциально
1
замкнутые модули.
10. Арифметика. Кодирование конечных множеств и
1
формул, теорема Тарского.
11. Иерархия арифметических множеств, модели
фрагментов арифметики, нестандартные модели, 1
теорема Гёделя.
12. Простые модели. Теорема об опускании типов,
1
простые модели, атомные модели.
7
13. Теории с конечным числом счётных моделей,
конструируемые модели, минимальные модели, 1
неединственность простой модели.
14. Наследники. Определимые типы, типы концевых
1
расширений в арифметике, стабильные типы и теории.
15. Модуль III. 30
Всего 19 19 70
8
4 Учебно-методическое обеспечение дисциплины
4.1 Печатные и электронные издания:
1. Робинсон А., Тайманов А. Д. Введение в теорию моделей и
метаматематику алгебры: перевод с английского(Москва: Наука. Главная
редакция физико-математической литературы [Физматлит]).
2. Сакс Д. Е., Тайманов А. Д. Теория насышенных моделей: перевод с
английского(Москва: Мир).
3. Кейслер Г., Чен Ч. Ч., Ершов Ю. Л., Тайманов А. Д. Теория моделей:
перевод с английского(Москва: Мир).
4. Мальцев А. И. Алгебраические системы: монография(Москва: Наука,
Гл. ред. физ.-мат. лит.).
4.2 Лицензионное и свободно распространяемое программное
обеспечение, в том числе отечественного производства (программное
обеспечение, на которое университет имеет лицензию, а также свободно
распространяемое программное обеспечение):
1. Пакет Microsoft Office, ОС Windows XP/7/8/10, браузер Google
Chrome/Opera/Mozilla Firefox,
2. информационные справочные системы: [Link], [Link] и т.д.
4.3 Интернет-ресурсы, включая профессиональные базы данных
и информационные справочные системы:
1. Для самостоятельной работы у студентов должен быть доступ к
электронному каталогу НБ СФУ.
5 Фонд оценочных средств
Оценочные средства находятся в приложении к рабочим программам
дисциплин.
6 Материально-техническая база, необходимая для осуществления
образовательного процесса по дисциплине (модулю)
Для проведения занятий требуется оборудованная доской аудитория.
Освоение дисциплины инвалидами и лицами с ограниченными
возможностями здоровья, в зависимости от нозологий, осуществляется с
использованием средств обучения общего и специального назначения.