Раздел 5 / 8

Страница 3 / 14

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Предисловие

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

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

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

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

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

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

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

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

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

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

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

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