We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
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).
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.