Раздел 2 / 8

Страница 20 / 41

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Предисловие

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

§ 1.1. Ограниченно арифметические предикаты

§ 1.2. Рудиментарные предикаты

§ 1.3. Рудиментарное моделирование вычислений на машинах Тьюринга

§ 1.4. Классы КВЛ. КМ. ВРС

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

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

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

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

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

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

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