Раздел 5 / 8

Страница 14 / 14

Глава IV. Простой базис по суперпозиции в классе Е2

Режим постраничного просмотра

/

На первую страницу

На предыдущую главу

На следующую главу

На последнюю страницу

Озвучивание недоступно

/

Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.

Режим постраничного просмотра

Для продолжения работы требуется Регистрация

На предыдущую главу

На следующую главу

Скачать приложение

Классы элементарных рекурсивных функций

Оглавление

Предисловие

Глава I. Ограниченно арифметические и рудиментарные предикаты +

Глава II. Функции, элементарные по Сколему, и классы Гжегорчика +

Глава III. Машинное описание классов +

Глава IV. Простой базис по суперпозиции в классе Е2 -

§ 4.1. Основные понятия и формулировка центрального результата

§ 4.2. Конфигурации и коды конфигураций машин Минского

§ 4.3. Вывод свойств функции Q

§ 4.4. Доказательство основной теоремы

Задачи и темы для дальнейших исследований

Глава V. Простые базисы по суперпозиции в классе функций, элементарных по Кальмару +

Список литературы

Предметный указатель