Traducere vocală, funcționalități offline, sinonime, conjugare, jocuri educative
Publicitate
Înregistrează-te gratuit: mai multe rezultate și funcții
computably enumerable
Traducere "computably enumerable" în rusă
перечислимо
неперечислимо
The set of rational numbers q such that q > Ω is not computably enumerable.
Множество рациональных чисел q таких, что q > Ω - неперечислимо.
The domain of any universal computable function is a computably enumerable set but never a computable set.
Область определения любой универсальной вычислимой функции является перечислимым множеством, но никогда не вычислимым множеством.
The set of rational numbers q such that q>Ω is not computably enumerable.
Множество рациональных чисел q таких, что q>Ω - неперечислимо.
The set of rational numbers q such that q<Ω is computably enumerable; a real number with such a property is called a left-c.e. real number in recursion theory.
Множество рациональных чисел q таких, что q<Ω - перечислимо; вещественное число с таким свойством называется left-c.e. вещественным числом в recursion theory.
The set of rational numbers q such that q < Ω is computably enumerable; a real number with such a property is called a left-c.e. real number in recursion theory.
Множество рациональных чисел q таких, что q < Ω - перечислимо; вещественное число с таким свойством называется left-c.e. вещественным числом в recursion theory.
It is possible to have a complete and consistent list of axioms that cannot be produced by a computer program (that is, the list is not computably enumerable).
Возможно иметь полный и непротиворечивый список аксиом, но такой список не может быть построен при помощи компьютерной программы (т. е. список неперечислим).
The hypothesis that the theory is computably enumerable means that it is possible in principle to write a computer program that (if allowed to run forever) would list all the theorems of the theory and no other statements.
Предположение о том, что теория вычислима, обозначает, что в принципе возможно реализовать компьютерный алгоритм (компьютерную программу), которая (если ей разрешено вычислять произвольно долгое врея, вплоть до бесконечности) вычислит список всех теорем теории.
Is the complexity class NP computably enumerable?
Верно ли, что всякий язык L NP является рекурсивно перечислимым?
Theories such as Peano arithmetic, for which any computably enumerable consistent extension is incomplete, are called essentially incomplete.
Такие теории, как арифметика Пеано, для которых не может быть построено перечислимого расширения, называются существенно неполными.
Treci la Premium pentru a debloca milioane de exemple de traduceri, a salva și învăța vocabular nelimitat, fără reclame.
Sinonime și analogii pentru "computably enumerable" în limba Română
Cuvântul și expresia zilei
Imaginea zilei
Rezultate: 9. Exacte: 9. Timp de răspuns: 32 ms.
