Изменения

Перейти к: навигация, поиск

Универсальная функция

116 байт добавлено, 21:45, 10 ноября 2016
Определение универсальной функции
{{Определение
|definition =
Две '''вычислимые функции''' (англ. ''computable function'') <tex>f_1</tex> и <tex>f_2</tex> равны при заданных аргументах, если при этих аргументах вычисляющие программы для этих функций зависают, либо равны значения, возвращаемые ими.:*<tex>f_1(n) = f_2(n)</tex>*<tex>f_1(n) = \bot</tex> и <tex> f_2(n) = \bot</tex>
}}
{{Определение
Анонимный участник

Навигация