Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Классы элементарных рекурсивных функций
Глава V. Простые базисы по суперпозиции в классе функций, элементарных по Кальмару
Поставить закладку
§ 5.1. Построение простейших функций
Для продолжения работы требуется
Регистрация
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Глава I. Ограниченно арифметические и рудиментарные предикаты
+
Глава II. Функции, элементарные по Сколему, и классы Гжегорчика
+
Глава III. Машинное описание классов
+
Глава IV. Простой базис по суперпозиции в классе Е2
+
Глава V. Простые базисы по суперпозиции в классе функций, элементарных по Кальмару
-
§ 5.1. Построение простейших функций
§ 5.2. Построение функций нод, exp2, а
§ 5.3. Однократные экзистенциальные представления предикатов
§ 5.4. Суммирование экспоненциально полиномиальных выражений
Приложение 5.1. Биномиальные коэффициенты и теорема Куммера
Приложение 5.2. Суммирование обобщенной геометрической прогрессии
Список литературы
Предметный указатель
Данный блок поддерживает скрол*