Sta Znaci COMPUTABLE na Hrvatskom - Hrvatski Prijevod

• izračunljiva
• izračunljiv

Primjeri korištenja Computable na Engleski i njihovi prijevodi na Hrvatskom

In practice, many functions of interest are computable by machines that always halt.
U praksi je većina zanimljivih funkcija izračunljiva strojevima koji uvijek staju.

An integer sequence is a computable sequence, if there exists an algorithm which given n, calculates an, for all n> 0.
Cijelobrojni niz je izračunljiv niz, ako postoji algoritam koji za dato n, izračunava an, za sve n> 0.

Computational complexity theory deals with the relative computational difficulty of computable functions.
Teorija se složenosti bavi relativnom računskom teškoćom izračunljivih funkcija.

Then he assumes that this predicate is computable, and can hence be expressed in lambda calculus.
Potom pretpostavlja da je taj predikat izračunljiv, i stoga može biti izražen u lambda računu.

All this is a computable fact if we look at the total cost of heating systems that include maintenance, consumption, useful life and investment.
Sve je to izračunljiva činjenica, ako gledamo ukupne troškove sustava za grijanje koji uključuju održavanje, potrošnju, vijek trajanja i investiciju.

Turing's toy computer had turned out to be universal- simple as it was, it could be programmed to compute anything that was computable at all.
Turing's igrati računalo je pokazalo da se univerzalni- jednostavan kao što je to, to bi mogao biti programirano da se izračunati sve što je izračunljiv at all.

If g were a total computable function extending f then g would be computable by some Turing machine; fix e as the index of such a machine.
Ako bi g bila totalno izračunljiva funkcija koja proširuje f, tada bi g bila izračunljiva nekim Turingovim strojem; fiksirajmo tad e kao indeks takvog stroja.

The development of geomatics led to geography being reunited, as the complexities of the human and natural environments could be assessed on new computable models.
Razvoj geomatike doveo je do ponovnog ujedinjavanja geografije jer su se sada kompleksnosti ljudske i prirodne okoline mogle procijeniti na novim izračunljivim modelima.

A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function) which will enumerate all valid strings of the language.
Rekurzivno prebrojiv jezik je formalni jezik za koji postoji Turingov stroj(ili neka druga izračunljiva funkcija) koji može prebrojiti sve valjane nizove znakova jezika.

The second question asks, in essence, whether there is another reasonable model of computation which computes only total functions and computes all the total computable functions.
Srž drugog pitanja jest postoji li drugi razuman model izračunljivosti koji izračunava samo totalne funkcije i izračunava sve totalno izračunljive funkcije.

For three distinct and complete achievements: 1 LCF, the mechanization of Scott's Logic of Computable Functions, probably the first theoretically based yet practical tool for machine assisted proof construction;
Ta tri različita i potpuna postignuća: 1 LCF, mehanizaciju Scottove logike izračunljivih funkcija, vjerojatno prvo teoretski zasnovan a usto i praktičan alat za strojno potpomognutu konstrukciju dokaza;

S and K can be composed to produce combinators that are extensionally equal to any lambda term, and therefore, by Church's thesis, to any computable function whatsoever.
Možda je zapanjujuća činjenica da S i K mogu biti komponirani za stvaranje kombinatora koji su ekstenzionalno jednaki bilo kojem lambda terminu, i stoga, po Churchovoj tezi, bilo kojoj izračunljivoj funkciji uopće.

The following theorem shows that the functions computable by machines that always halt do not include extensions of all partial computable functions, which implies the first question above has a negative answer.
Sljedeći teorem pokazuje da funkcije izračunljive strojem koji uvijek staje ne uključuju proširenja svih parcijalno izračunljivih funkcija, što u konačnici implicira negativan odgovor na prvo pitanje.

To some extent, the development of geomatics helped obscure the binary between physical and human geography to some extent, as the complexities of the human and natural environments could be assessed on new computable models.
Razvoj geomatike doveo je do ponovnog ujedinjavanja geografije jer su se sada kompleksnosti ljudske i prirodne okoline mogle procijeniti na novim izračunljivim modelima.

Indeed, PCF(for Programming language for Computable Functions) is a prototypical, typed functional programming language, where types are used to ensure that programs are well-behaved but not necessarily terminating.
Uistinu, PCF(stoji za engl. Partially Computable Functions- parcijalno izračunljive funkcije) je prototipni tipizirani funkcijski programski jezik, pri čemu se tipovi koriste kako bi se osiguralo dobro ponašanje programa, no ne nužno i terminacija.

Two questions can be asked about the relationship between partial Turing machines and total Turing machines: Can every partial function computable by a partial Turing machine be extended(that is, have its domain enlarged) to become a total computable function?
Dva se krucijalna pitanja mogu postaviti o odnosu parcijalnih Turingovih strojeva i totalnih Turingovih strojeva: Može li se domena svake funkcije izračunljive na parcijalnom Turingovom stroju proširiti tako da postane totalno izračunljiva funkcija?

A function F: N→ N of natural numbers is a computable function if and only if there exists a lambda expression f such that for every pair of x, y in N, F(x)=y if and only if f x=β y, where x and y are the Church numerals corresponding to x and y, respectively and=β meaning equivalence with beta reduction.
Funkcija F: N → N prirodnih brojeva je izračunljiva funkcija u N, F(x) y ako i samo ako f x== y, gdje sux i y Churchevi numerali koji odgovarajux i y, respektivno.

Thus if this new model of computation consisted of a sequence M 1, M 2,…{\displaystyle M_{1}, M_{2},\ldots} of machines, there would be a recursively enumerable sequence T 1,… T 2,…{\displaystyle T_{1},\ldots T_{2},\ldots} of Turing machines that compute total functions and so that every total computable function is computable by one of the machines Ti.
Stoga, kad bi se taj novi model izračunljivosti sastojao od slijeda strojeva M 1, M 2,…{\displaystyle M_{1}, M_{2},\ldots}, tada bi postojao rekurzivno prebrojiv slijed Turingovih strojeva T 1,… T 2,…{\displaystyle T_{1},\ldots T_{2},\ldots} koji izračunavaju svaku totalnu funkciju na način da je svaka totalno izračunljiva funkcija izračunljiva od strane nekog od strojeva Ti.

A recursively enumerable language is a formal language for which there exists a Turing machine(or other computable function) that will halt and accept when presented with any string in the language as input but may either halt and reject or loop forever when presented with a string not in the language.
Rekurzivno prebrojiv jezik jest formalni jezik za kojeg postoji Turingov stroj(ili neka druga izračunljiva funkcija) koji će stati i prihvatiti ako primi bilo koji niz znakova koji je element jezika kao ulaz, a inače može stati i ne prihvatiti niz ili se vrtjeti u beskonačnoj petlji u slučaju ulaza niza znakova koji nije u jeziku.

The arithmetical hierarchy, degrees of computability, computable ordinals and hyperarithmetic theory, finite automata and regular sets with enormous consequences for computer science, computability on higher types, recursive realizability for intuitionistic arithmetic with consequences for philosophy and for program correctness in computer science.
Aritmetički hijerarhija, stupnja computability, izračunljiv ordinals i hyperarithmetic teorija, konačni automat, redovito postavlja s golemim posljedicama za računalnu znanost, computability na viši tipovi, recursive realizability za intuitionistic aritmetika s posljedicama za philosphy i za program u ispravnost računalnih znanosti.