Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Классы элементарных рекурсивных функций
Глава III. Машинное описание классов
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Глава I. Ограниченно арифметические и рудиментарные предикаты
+
Глава II. Функции, элементарные по Сколему, и классы Гжегорчика
+
Глава III. Машинное описание классов
-
§ 3.1. Стековые регистровые машины
§ 3.2. Вычисления на машинах ЯИМ с ограничениями на зону
§ 3.3. Универсальные функции
§ 3.4. Конечные базисы по суперпозиции
Задачи и темы для дальнейших исследований
Глава IV. Простой базис по суперпозиции в классе Е2
+
Глава V. Простые базисы по суперпозиции в классе функций, элементарных по Кальмару
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*