Обобщенно-конструктивные модели и рекурсивные иерархии

Гайлит Евгения Валерьевна. Обобщенно-конструктивные модели и рекурсивные иерархии : Дис. ... канд. физ.-мат. наук : 01.01.06 : Новосибирск, 2004 87 c. РГБ ОД, 61:04-1/1345
Автор
Гайлит Евгения Валерьевна
Год
2004
  • 99 000 UZS

Оглавление диссертации
Введение
ГЛАВА 1. Пульсирующая иерархия 24
1. Постановка задачи и предварительные пояснения 26
2. S-множества 29
3. Описание пульсирующего процесса 34
ГЛАВА 2. Моделирование пульсирующего процесса в рамках автономной вычислимости 46
1. Подготовительные рассмотрения 47
2. Автономное моделирование 54
ГЛАВА 3. Арифметика второго порядка и автономная вычислимость 61
1. Арифметика второго порядка в контексте оракульной вычислимости 65
2. Теория ZFC- 71
3. Связь теорий А2 и ZFC" 75
4. Основная теорема 79
Литература 83
Работы автора по теме диссертации 87

Рекомендуем вам товары

99 000 UZS
Автор
Фролов Сергей Cергеевич
Количество страниц
Год
2005
99 000 UZS
Автор
Кайгородов Иван Борисович
Количество страниц
Год
2010
99 000 UZS
Автор
Михальчишина Юлия Андреевна
Количество страниц
Год
2017
99 000 UZS
Автор
Рахимов Алишер Орзухуджаевич
Количество страниц
Год
2017
99 000 UZS
Автор
Решетников Артём Владимирович
Количество страниц
Год
2017
Модули для Opencart 2, Опенкарт 3