Let F be a prefix-free universal computable function.
They showed, for example, that any computable function could be computed by some network of connected neurons, and that all the logical connectives could be implemented by simple net structures.
Работы этих ученых показали, например, что любая вычислимая функция может быть вычислена с помощью некоторой сети из соединенных нейронов и что все логические связки могут быть реализованы с помощью простых сетевых структур.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable.
Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
Such a problem is said to be undecidable if there is no computable function that correctly answers every question in the problem set.
Говорят, что такая задача неразрешима, если не существует вычислимой функции, которая корректно отвечает на каждый вопрос в списке.
The domain of any universal computable function is a computably enumerable set but never a computable set.
Область определения любой универсальной вычислимой функции является перечислимым множеством, но никогда не вычислимым множеством.
This means that F can be used to simulate any computable function of one variable.
То есть, F может быть использована для моделирования любой вычислимой функции одной переменной.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable to describe functions that are computable by paper-and-pencil methods.
Перед точным определением вычислимой функции математики часто использовали неофициальный термин, «эффективно вычислимый» для описания функций, которые можно вычислить с помощью бумажно-карандашных методов.
Before the precise definition of computable function, mathematicians often used the informal term effectively calculable to describe functions that are computable by paper-and-pencil methods.
Перед точным определением вычислимой функции математики часто использовали неофициальный термин, "эффективно вычислимый" для описания функций, которые можно вычислить с помощью бумажно-карандашных методов.
On the other hand, for a general pair consisting of a group presentation and a subgroup, its running time is not bounded by any computable function of the index of the subgroup and the size of the input data.
С другой стороны, в общем случае для пары, состоящей из задания группы и подгруппы, количество его шагов не ограничено никакой вычислимой функцией индекса подгруппы и размера данных.
It is not a computable number; there is no computable function that enumerates its binary expansion, as discussed below.
Ω - невычислимое число; не существует вычислимой функции, перечисляющей её двоичное разложение, как описано ниже.