|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Марченков С.С. — Элементарные рекурсивные функции |
|
|
|
| Предметный указатель |
Базис по суперпозиции 101
Время вычисления (на машине Тьюринга) 33
Вычисление в пределах зоны I (на машине Тьюринга) 33
Вычисление в пределах зоны I за время Т (на машине Тьюринга) 33
Вычисление на машине Тьюринга 33
График функции 44
Диадическое представление числа 15
Заключительная конфигурация машины Тьюринга 33
Зона вычисления машины Тьюринга 33
Зона вычисления машины Тьюринга 5КМ 88
Изображение функции 82
Класс ограниченно арифметических предикатов 8
Класс ограниченно рудиментарных предикатов 16
Класс ограниченных функций, элементарных по Кальмару 78
Класс ограниченных функций, элементарных по Сколему 50
Код конфигурации 34
Конфигурация машины Тьюринга 32
Конфигурация машины Тьюринга 5РМ 97
Начальная конфигурация машины Тьюринга 32 33
Неполная конфигурация машины Тьюринга 33
Нумерационная тройка функций 48
Операция введения фиктивной переменной 7
Операция введения фиктивной переменной, навешивания ограниченного квантора общности 8
| Операция введения фиктивной переменной, навешивания ограниченного квантора ограниченного мультиплицирования 48
Операция введения фиктивной переменной, навешивания ограниченного квантора ограниченной минимизации 42
Операция введения фиктивной переменной, навешивания ограниченного квантора одноместного ограниченного суммирования 53
Операция введения фиктивной переменной, навешивания ограниченного квантора отождествления переменных 8
Операция введения фиктивной переменной, навешивания ограниченного квантора перестановки переменных 8
Операция введения фиктивной переменной, навешивания ограниченного квантора подстановки констант 8
Операция введения фиктивной переменной, навешивания ограниченного квантора разбора случаев по предикатам 42
Операция введения фиктивной переменной, навешивания ограниченного квантора рекурсии 47
Операция введения фиктивной переменной, навешивания ограниченного квантора суженного ограниченного суммирования 52
Операция введения фиктивной переменной, навешивания ограниченного квантора суммирования 48
Операция введения фиктивной переменной, навешивания ограниченного квантора суперпозиции 41
Операция введения фиктивной переменной, навешивания ограниченного квантора существования 8
Позитивная формула 10
Порождение класса функциями 101
Предикат конкатенации 15
Предикат конкатенации на множестве N 7
Селекторная функция 41
Словарный терм 18
Стековые регистровые машины (машины 5КМ) 87
Универсальная функция 93
Характеристическая функция предиката 40
Эквивалентные предикаты 7
Явные операции 7
Явные операции, преобразования 7
|
|
|
| Реклама |
|
|
|
|
|
О проекте