We couldn’t find this entry. Showing approximate results. Check your spelling or suggest adding this term to the dictionary.
полной вычислимой
The image of a computable set under a nondecreasing total computable function is computable.
Изображение вычислимого набора под неуменьшающейся полной вычислимой функцией вычислимо.
The preimage of a recursive set under a total computable function is a recursive set.
Предварительное изображение рекурсивного набора под полной вычислимой функцией - рекурсивный набор.
A set is recursive if and only if it is either the range of a nondecreasing total computable function or the empty set.
Набор рекурсивный, если и только если это - или диапазон неуменьшающейся полной вычислимой функции или пустой набор.
In computability theory, the Ackermann function, named after Wilhelm Ackermann, is one of the simplest and earliest-discovered examples of a total computable function that is not primitive recursive.
В теории исчисляемости функция Акермана, названная в честь Вильгельма Акермана, является одним из самых простых и обнаруженных самым ранним образом примеров полной вычислимой функции, которая не является примитивна рекурсивный.
Let be a total computable function.
Пусть U есть универсальная вычислимая функция.
All primitive recursive functions are total and computable, but the Ackermann function illustrates that not all total computable functions are primitive recursive.
Все примитивные рекурсивные функции полные и вычислимые, но функция Акермана иллюстрирует, что не все полные вычислимые функции примитивны рекурсивный.
Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.
Судан и Аккерман известны за открытие всюду определённой вычислимой функции (иногда называемой просто «рекурсивной»), не являющейся примитивно рекурсивной.
Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.
И Судэну и Акерману приписывают обнаружение полных вычислимых функций (названный просто «рекурсивным» в некоторых ссылках), которые не являются примитивны рекурсивный.
The Ackermann function is an example of a total computable function which is not primitive recursive.
Функция Аккермана - простой пример вычислимой функции, которая не является примитивно рекурсивной.
Both Sudan and Ackermann are credited with discovering total computable functions (termed simply "recursive" in some references) that are not primitive recursive.
Судан и Аккерман известны за открытие всюду определённой вычислимой функции (иногда называемой просто «рекурсивной»), не являющейся примитивно рекурсивной.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.