Рекурсивная функция (теория вычислимости): различия между версиями

Нет описания правки
(→‎Ссылки: коррекция и исправление опечаток)
Последние совпадают с классом [[Вычислимые функции|вычислимых по Тьюрингу функций]]. Определения этих трёх классов сильно связаны. Они были введены [[Гёдель, Курт|Куртом Гёделем]] с целью формализации понятия вычислимости.
 
Множество частично рекурсивных функциифункций включает в себя множество общерекурсивных функции, а общерекурсивные функции включают в себя примитивно рекурсивные функции. Частично рекурсивные функции иногда называют просто рекурсивными функциями.
 
== Примитивно рекурсивная функция ==<!-- используется для перенаправления [[Примитивно рекурсивная функция]]-->
Анонимный участник