теория нумераций - Основные образовательные программы

Реклама
РОССИЙСКАЯ ФЕДЕРАЦИЯ
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
ФЕДЕРАЛЬНОЕ АГЕНТСТВО ПО ОБРАЗОВАНИЮ
Государственное образовательное учреждение
высшего профессионального образования
ТЮМЕНСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ИНСТИТУТ МАТЕМАТИКИ И КОМПЬЮТЕРНЫХ НАУК
Кафедра алгебры и математической логики
А.Н. Дёгтев
ТЕОРИЯ НУМЕРАЦИЙ
Учебно-методический комплекс
Рабочая программа для студентов специальности
010101.65 «Математика»
Тюмень
2010
1
А.Н. Дёгтев. Теория нумераций.
Учебно-методический комплекс. Рабочая учебная программа для студентов
специальности:
Математика.
Тюмень:
Издательство
Тюменского
государственного университета. 2010. с.
Учебно-методический комплекс, рабочая учебная программа «Теория
нумераций» является эксклюзивной авторской программой, составленной на
основе монографий по данной теме.
Рабочая учебная программа включает в себя цели и задачи курса,
тематический план с указанием аудиторных часов, содержание программы
курса по темам, контрольные вопросы к экзамену, список литературы.
Рабочая
учебная
программа
дисциплины
«Теория
нумераций»
опубликована на сайте ТюмГУ: http://www.umk.utmn.ru.
Рабочая учебная программа «Теория нумераций» рекомендована к
электронному изданию кафедрой алгебры и математической логики.
Утверждена проректором по учебной работе.
ОТВЕТСТВЕННЫЙ РЕДАКТОР: В.Н. Кутрунов, д.ф.-м.н., профессор
© Тюменский государственный университет, 2010
© А.Н. Дёгтев, 2010
2
1. Пояснительная записка
Рабочая учебная программа дисциплины «Теория нумераций» для
студентов специальности 010101.65 «Математика» составлена на основе
монографий по данной тематике. Курс «Теория нумераций» рассчитан
142 часа.
Требования ГОС к содержанию курса: дисциплина «Теория конечных
автоматов» отнесена к курсам цикла СД .
Предмет курса «Теория нумераций»;
Цели и задачи курса
В результате изучения курса студенты , специализирующиеся на
кафедре алгебры и математической логики должны усвоить теоретический
материал курса, основные результаты и овладеть навыками построения
нумерованных множеств, её подобъектов, строить полные нумерации и уметь
выяснять свойства верхних полурешеток 𝐿𝑚 (𝑅), 𝐿𝑝 (𝑅) и 𝐿𝑒 (𝑅).
2. Тематический план курса (восьмой семестр)
№ Тема
1
2
3
4
5
6
Основные понятия
Полурешетка 𝐿𝑚 (𝑅)
Категория нумерованных
множеств
Полно
и
позитивно
нумерованные множества
Креативность
и
mуниверсальность
вычислимых нумераций.
Современные
эквивалентности
Итого часов:
Лекции Практ.
занятия
4
6
6
4
6
6
Самост. Форма
и
контроля
индивид.
занятия
8
12
Кр№ 1
12
8
8
16
5
5
13
5
5
13
Кр № 3
34
34
74
экзамен
Кр № 2
3
3. Содержание программы курса по темам
1. Основные понятия
Соглашения и обозначения. Некоторые сведения из алгебры.
Теоретико-категорные понятия.
2. Полурешетка 𝐿𝑚 (𝑅)
Вычислимые и главные нумерации. Отделимые , позитивные и
негативные нумерации. Свойства полурешетки 𝐿𝑚 (𝑅) .
3. Категория нумерованных множеств
Морфизмы и объекты. Инъективные и проективные объекты. Главные
и wη-, e-, n- и r-подобъекты и теоремы о них.
4. Полно и позитивно нумерованные множества
Предполно нумерованные множества и их особые элементы. Теоремы
о рекурсии и неподвижной точке. Свойства позитивно нумерованных
множеств.
5. Креативность и m-универсальность вычислимых нумераций
индексные множества, m-универсальные последовательности и
р-цилиндрофикация. Описание копродуктивных последовательностей.
6. Современные эквивалентности
Предположения
о
совершенных
множествах.
𝜂−
максимальные эквивалентности. Нераспадающиеся и минимальные
степени.
4. Темы семинарских занятий
Понятие сводимости (m-сводимости) для вычислимых нумераций в
работах автора получило обобщение [1]. Именно, были определены р- и есводимость нумераций и опубликована серия работ по этим понятиям. Двум
студентам на предыдущем практическом занятии будет предложено
разобрать и изложить решение нескольких задач по этой тематике на
следующем занятии.
5. Примерные контрольные работы
Контрольная работа № 1
1. Ввести понятие счетчика и вывести его основные свойства.
2. По не m-полной нумерации построить нумерации строго большей mстепени.
Контрольная работа № 2
1. определить понятие фактора-объекта, прямой суммы и произведения
объектов.
2. Описать проективные нумерованные множества.
Контрольная работа № 3
4
1. Доказать, что если S простое не гиперпростое множество, то Sω
совершенно.
2. Доказать, что если m-степень η-максимального множества
минимальна.
6. Вопросы к экзамену
Доказать теоремы
- о клиниевской нумерации;
- о постовской нумерации;
- об отделимых нумерациях;
- о нумерациях конечного множества;
- о неразложимости 1;
- о полурешетки L(R) (основная);
- об изоморфизме нумерации;
- о проективных нумерованных множествах;
- о wη-подобъектах;
- о е-подобъектах;
- о полно нумерованных множествах;
- о вложении;
- о пополнении;
- о редукции;
- о рекурсии;
- об универсальности;
- Райса.
7. Литература
Основная :
1. Дёгтев А.Н., Избранные результаты по теории алгоритмов, –Тюмень.:
Издательство Тюменского государственного университета, 2008, с 183.
2. Ершов . Ю.Л.,Теория нумераций. М: «Наука», 1977, с 416.
5
Скачать