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