Ви є тут

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

Автор: 
Гайлит Евгения Валерьевна
Тип роботи: 
Дис. канд. физ.-мат. наук
Рік: 
2004
Артикул:
2032
179 грн
Додати в кошик

Вміст

Содержание
ВВЕДЕНИЕ.
1. История вопроса
2. Вводные определения и обзор содержания по главам .
ГЛАВА 1. ПУЛЬСИРУЮЩАЯ ИЕРАРХИЯ.
1. Постановка задачи и предварительные пояснения
2. множества
3. Описание пульсирующего процесса .
ГЛАВА 2. МОДЕЛИРОВАНИЕ ПУЛЬСИРУЮЩЕГО ПРОЦЕССА В РАМКАХ АВТОНОМНОЙ ВЫЧИСЛИМОСТИ.
1. Подготовительные рассмотрения .
2. Автономное моделирование
ГЛАВА 3. АРИФМЕТИКА ВТОРОГО ПОРЯДКА И
АВТОНОМНАЯ ВЫЧИСЛИМОСТЬ.
1. Арифметика второго порядка
в контексте оракульной вычислимости .
2. Теория Ъ0 .
3. Связь теорий А.2 и
4. Основная теорема.
ЛИТЕРАТУРА