To various characteristics of linear operators correspond, as a rule, effectively computable characteristics of their matrices.
Различным характеристикам Л. о. отвечают, как правило, эффективно вычисляемые характеристики их матриц.
The focus of LG, though, is effectively computable strategies.
В фокусе LG, тем не менее, оказываются эффективно вычисляемые стратегии.
In 1936 he advanced the fundamental hypothesis of the theory of computable functions; now known as Church's thesis, it states that every effectively computable function is general recursive (seeRECURSIVE FUNCTION).
В 1936 году выдвинул основную гипотезу теории вычислимых функций (так называемый тезис Черча): каждая эффективно вычислимая функция является общекурсивной.
The debate began when Church proposed to Gödel that one should define the "effectively computable" functions as the λ-definable functions.
Дискуссия началась, когда Чёрч предложил Геделю определить «эффективно вычислимые» функции как λ-определимые функции.
InLev Schnirelmann provedthat any natural number greater than 1 can be written as the sum of not more than C prime numbers, where C is an effectively computable constant, see Schnirelmann density.
Позже Шнирельман доказал, что любое натуральное число, большее 1, может быть записано как сумма не более чем простых чисел C, где C - эффективно вычисляемая постоянная.
Conținut posibil inadecvat
Exemplele au rolul de a te ajuta să traduci cuvinte sau expresii corect si adaptat la context. Nu sunt selectate sau validate manual, așadar pot conține termeni inadecvați. Te rugăm să raportezi exemplele pe care le consideri inadecvate. Traducerile vulgare sau colocviale sunt în general marcate cu roșu sau cu portocaliu.