Раздел 6 / 8

Страница 8 / 15

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

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

/

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

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

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

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

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

/

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

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

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

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

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

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

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

Table of contents

Предисловие

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

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

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

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

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

§ 5.1. Построение простейших функций

§ 5.2. Построение функций нод, exp2, а

§ 5.3. Однократные экзистенциальные представления предикатов

§ 5.4. Суммирование экспоненциально полиномиальных выражений

Приложение 5.1. Биномиальные коэффициенты и теорема Куммера

Приложение 5.2. Суммирование обобщенной геометрической прогрессии

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

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