205
правок
Изменения
м
→Теорема о псевдообратной функции
|proof =
Напишем программу, вычисляющую функцию <tex>g</tex>.
<tex>g(n)</tex>
'''for''' <tex>x \in D(f)</tex>
'''if''' <tex>f(x) == n</tex> '''then return''' <tex>x</tex>
Так как область определения вычислимой функции перечислима, то можно перебрать элементы области определения.
}}
