275
правок
Изменения
м
→Характеристика перечислимых множеств через вычислимые функции
== Характеристика перечислимых множеств через вычислимые функции ==
{{Определение
|definition='''Множество <tex>X</tex> называется перечислимым''' ('англ. ''computably enumerable set'''), если выполняется хотя бы одно из условий:
# существует программа, перечисляющая все элементы <tex>X</tex> в произвольном порядке;
# <tex>X</tex> является областью определения [[Вычислимые функции|вычиcлимой функции]] <tex>f</tex>;
