computable

To actually develop analysis over computable numbers, some care must be taken.

Aby faktycznie rozwijać analizę przeszło obliczalne liczby, jakaś opieka musi być podjęta.

The proof uses a particular fact about computable real numbers.

Dowód wykorzystuje szczegółowy fakt o obliczalnych liczbach rzeczywistych.

R is equal to the set of all total computable functions.

R równa się zbiorowi wszystkich całkowitych obliczalnych funkcji.

This term has since come to be identified with the computable functions.

Ten termin od tej pory przyszedł zostać zidentyfikowanym z obliczalnymi funkcjami.

In computer science and engineering, a system acts as a computable function.

W informatyce i inżynierii, system spełnia rolę obliczalnej funkcji.

It then becomes computable that they blew the planet up.

To wtedy staje się obliczalne że nadmuchali planetę.

On the other hand, any computable system is incomplete.

Z drugiej strony, jakikolwiek obliczalny system jest niedokończony.

The class of computable functions that are constant, and its complement.

Klasa obliczalnych funkcji, które są stałe, i jego uzupełnienie.

Let be a set of computable functions such that .

Pozwalać być zbiorem obliczalnych funkcji taki że.

This paper describes the development of the calculus over the computable number field.

Ten papier opisuje opracowanie rachunku przeszło obliczalne ciało liczbowe.

Computable functions are a fundamental concept within computer science and mathematics.

Obliczalne funkcje są fundamentalnym pojęciem w informatyce i matematyce.

In practice, many functions of interest are computable by machines that always halt.

W praktyce, wiele funkcji interesu jest obliczalne przez maszyny, które zawsze zatrzymują się.

To complete the proof, let be any total computable function, and construct as above.

Kończyć dowód, pozwalać być jakąkolwiek całkowitą obliczalną funkcją, i konstruować jak wyżej.

Knowledge of any or more pieces makes easily computable.

Wiedza o którymkolwiek albo więcej kawałków robi łatwo obliczalny.

Similarly, most subsets of the natural numbers are not computable.

Podobnie, większość podzbiorów liczb naturalnych nie jest obliczalne.

A Computable function is a notion from computer science.

Obliczalna funkcja jest pojęciem z informatyki.

It is shown that x is not a computable real number.

To jest pokazane że x nie jest obliczalną liczbą rzeczywistą.

Each question will be immediately answered correctly, even if the oracle set is not computable.

Na każde pytanie natychmiast odpowiedzą poprawnie nawet jeśli zbiór wyroczni nie będzie obliczalny.

The goal of computer theory is to answer the question, "What is computable?"

Cel informatyki ma odpowiedzieć na pytanie "co jest obliczalne?"

The greatest common divisor of two numbers is a computable function.

Największy wspólny podzielnik dwóch liczb jest obliczalną funkcją.

Not every set of natural numbers is computable.

Nie każdy zbiór liczb naturalnych jest obliczalny.

Complex biological systems may be represented and analyzed as computable networks.

Skomplikowane biologiczne systemy mogą być przedstawione i mogą zanalizować jak obliczalne sieci.

There are more computable conditions that apply under certain commonly encountered situations.

Są bardziej obliczalne warunki, które dotyczą poniżej pewne sytuacje powszechnie napotkane.

Each computable function has an infinite number of different program representations in a given programming language.

Każda obliczalna funkcja ma niezliczoną liczbę innych przedstawicielstw programu w danym języku programowania.

These programs show that his constructions produce computable numbers.

Te programy pokazują, że jego budowy wywołują obliczalne liczby.