205
правок
Изменения
м
→Теорема о псевдообратной функции
'''if''' f(x) == n
'''then return''' x
Так как область определения вычислимой функции перечислимоперечислима, то можно перебрать элементы области определения.
}}
== Литература ==
* ''Верещагин Н. К., Шень А.'' '''Лекции по математической логике и теории алгоритов. Часть 3. Вычислимые функции''' -- М.: МЦНМО, 1999 - С. 176
