Раздел 4 / 8

Страница 1 / 20

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

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

/

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Предисловие

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

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

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

§ 3.1. Стековые регистровые машины

§ 3.2. Вычисления на машинах ЯИМ с ограничениями на зону

§ 3.3. Универсальные функции

§ 3.4. Конечные базисы по суперпозиции

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

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

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

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

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