Изменения
Нет описания правки
'''if''' <tex>a == x \land f(a) == y</tex>
'''return''' 1
Так как [[Вычислимые функции#D(f)Свойства вычислимой функции|область определения вычислимой функции перечислима]], то можно перебрать элементы области определения. Если алгоритм нашел нужную нам пару, то вернуть 1.<br/>
<tex>\Leftarrow</tex><br/>.
Напишем программу, вычисляющую функцию <tex>f</tex>.
