Изменения

|statement = <tex>f</tex> — вычислимая функция. Тогда <tex>D(f)</tex> — [[Перечислимые_языки|перечислимое]] множество, где <tex>D(f)</tex> — область определения функции <tex>f</tex>.

|proof =

p(x)

f(x)

|statement = <tex>f</tex> — вычислимая функция. Тогда <tex>E(f)</tex> — перечислимое множество, где <tex>E(f)</tex> — область изменения функции <tex>f</tex>;

|proof =

'''for''' <tex>y \in D(f)</tex>

'''if''' x == f(y)

|statement = <tex>f</tex> — вычислимая функция. <tex>f(X)</tex> — перечислимое множество, где <tex>X</tex> — перечислимое множество.

|proof =

p(x)

'''for''' <tex>y \in D(f) \cap X</tex>

|statement = <tex>f</tex> — вычислимая функция. <tex>f^{-1}(X)</tex> — перечислимое множество, где <tex>X</tex> — [[Разрешимые_(рекурсивные)_языки|разрешимое множество]].

|proof =

}}

{{Утверждение

|proof =

}}

== Литература ==

* ''Верещагин Н. К., Шень А.'' '''Лекции по математической логике и теории алгоритов. Часть 3. Вычислимые функции''' -- М.: МЦНМО, 1999 - С. 176