Before the precise definition of computable function, mathematicians often used the informal term effectively calculable.
Zanim wprowadzono precyzyjną definicję funkcji obliczalnych, matematycy bardzo często używali nieformalnego terminu "funkcji efektywnych".
Thus every computable function must have a finite program that completely describes how the function is to be computed.
Tak więc każda funkcja obliczalna musi posiadać program w zupełności opisujący w jaki sposób należy obliczać daną funkcję.
In computational complexity theory, the problem of determining the complexity of a computable function is known as a function problem.
W teorii złożoności obliczeń problem określenia złożoności obliczalności jest znany jako zagadnienie funkcji.
Equivalently, a set is recursively enumerable if and only if it is the range of some computable function.
Tak więc zbiór jest obliczalny przeliczalnie wtedy i tylko wtedy, gdy jest dziedziną pewnej funkcji obliczalnej.
The basic characteristic of a computable function is that there must be a finite procedure (an algorithm) telling how to compute the function.
Główną cechą funkcji obliczalnej jest istnienie skończonej procedury (algorytmu) określającej sposób obliczenia danej funkcji.
The following facts are often taken as evidence for the thesis: Many equivalent models of computation are known, and they all give the same definition of computable function (or a weaker version, in some instances).
Następujące obserwacje przyjmuje się jako przesłanki prawdziwości tejże tezy: Jest znanych wiele równoważnych modeli obliczalności i wszystkie one zawierają równoznaczne definicje obliczalności funkcji (lub słabsze wersje w niektórych przypadkach).
The Church-Turing thesis states that any function computable from a procedure possessing the three properties listed above is a computable function.
Teza Churcha głosi, że każda funkcja obliczalna poprzez procedurę posiadającą trzy własności wymienione powyżej jest funkcją obliczalną.
Suppose that S(n) is a computable function and let EvalS denote a TM, evaluating S(n).
Załóżmy że S(n) jest funkcją obliczalną i niech EvalS oznacza maszynę Turinga obliczającą S(n).
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.