Зміст
0 відносини.
- Теорія рекурсії
Див. також
Теорія рекурсії
- Smn-теорема
- Алгоритмічно нерозв'язна задача
- Ефективний метод
- Задача розв'язності
- Колмогоровська складність
- Лямбда-числення
- Машина Тюрінга
- Модель обчислення
- Нумерація (математика)
- Операція мінімізації
- Операція примітивної рекурсії
- Примітивно рекурсивна функція
- Проблема збіжності Поста
- Проблема зупинки
- Пророча машина
- Рекурсія (програмування)
- Сильна рівність Кліні
- Степінь Тюрінга
- Теза Черча — Тюрінга — Дойча
- Теорія обчислюваності
- Функція Акермана