Sta znaci na Srpskom COMPUTABLE FUNCTIONS - prevod na Српском

• израчунљиве функције
• израчунљивих функција

Примери коришћења Computable functions на Енглеском и њихови преводи на Српски

R is equal to the set of all total computable functions.
R је једнака скупу свих потпуно израчунљивих функција( computable functions).

Computable functions are the basic objects of study in computability theory.
Израчунљиве функције су основни предмети истраживања у теорији рачунања.

Numberings can be partial-recursive although some of its members are total recursive, that is, computable functions.
Нумерације могу бити делимично-рекурзивне иако су неки од њених чланова укупно рекурзивне, то јест, израчунљиве функције.

Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Функције за израчунавање се користе како би разговарали о рачунању без позивања на било који конкретан модел обрачуна, као што су Тјурингове машине или машине регистра.

THEOREM XXX: The following classes of partial functions… have the same members:(a) the partial recursive functions,(b) the computable functions…"p.
Теорема ХХХ:" Следеће класе парцијалних функција су коекстензивне, тј имају исте чланове:( а) парцијалне рекурзивне функције,( б) израчунљиве функције…".

Note however that the partial computable functions(those that need not be defined for all arguments) can be explicitly enumerated, for instance by enumerating Turing machine encodings.
Имајте на уму, међутим, да парцијалне израчунљиве функције( оне које не морају бити дефинисана за све аргументе) могу изричито бити набројане, на пример пописивање кодирања Тјурингове машине.

Theorem XXX: The following classes of partial functions are coextensive, i.e. have the same members:(a) the partial recursive functions,(b) the computable functions.
Теорема ХХХ:" Следеће класе парцијалних функција су коекстензивне, тј имају исте чланове:( а) парцијалне рекурзивне функције,( б) израчунљиве функције…".

Equivalently, computable functions can be formalized as functions which can be calculated by an idealized computing agent such as a Turing machine or a register machine.
Еквивалентно, израчунљиве функције могу бити озваничене као функције које могу да се обрачунавају од стране идеализованог рачунарског агента, као што је Тјурингова машина или машина регистра.

Is it possible to change the definition of a Turing machine so that a particular class of total Turing machines, computing all the total computable functions, can be found?
Да ли је могуће променити дефиницију Тјурингове машине тако да је могуће наћи одређену класу тоталних Тјурингових машина, таквих да могу да израчунају све тотално израчунљиве функције?

According to the Church-Turing thesis, computable functions are exactly the functions that can be calculated using a mechanical calculation device given unlimited amounts of time and storage space.
Према Черч-Тјурингова тези, функције за израчунавање су управо функције које се могу израчунати помоћу механичког уређаја за израчунавања којем је дато неограничена количина времена и простора.

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.
Друго питање је у суштини питање да ли постоји други разуман модел израчунавања који израчунава само тоталне функције и израчунава све тотално израчунљиве функције.

For example, one can formalize computable functions as μ-recursive functions, which are partial functions that take finite tuples of natural numbers and return a single natural number(just as above).
На пример, могу се формализовати израчунљиве функције као μ-рекурзивне функције, које су делимичне функције које узимају коначне записе природних бројева и враћају један природни број( као горе).

Recursion theory- Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees.
Теорија израчунљивости, такође се зове и теорија рекурзије, је грана математичке логике, информатике и теорије израчунљивости је настала 1930-их са проучавањем израчунљивих функција и Тјурингових степена.

Although the Church-Turing thesis states that the computable functions include all functions with algorithms, it is possible to consider broader classes of functions that relax the requirements that algorithms must possess.
Иако Черч-Тјурингова теза наводи да израчунљиве функције укључују све функције са алгоритмима, могуће је размотрити шире класе функција које опуштају услове које морају да поседују алгоритми.

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.
Следећа теорема показује да функције израчунљиве на машинама које увек стају не укључују проширења свих парцијално израчунљивих функција, што повлачи да је одговор на прво питање негативан.

Computable functions are the formalized analogue of the intuitive notion of algorithm, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output.
Израчунљиве функције су формализоване аналогно интуитивном појму алгоритма, у смислу да се функција за израчунавање ако постоји алгоритам који може да уради посао функције, односно да допринос домену функције може вратити у одговарајући излаз.

Computability theory, also called recursion theory, is a branch of mathematical logic, of computer science, and of the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees.
Теорија израчунљивости, такође се зове и теорија рекурзије, је грана математичке логике, информатике и теорије израчунљивости је настала 1930-их са проучавањем израчунљивих функција и Тјурингових степена.

The answer to each of these questions is no. 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.
Следећа теорема показује да функције израчунљиве на машинама које увек стају не укључују проширења свих парцијално израчунљивих функција, што повлачи да је одговор на прво питање негативан.

Enderton[1977] gives the following characteristics of a procedure for computing a computable function;
Ендертон[ 1977] даје следеће карактеристике поступка за израчунавање израчунљиве функције;

Not every total computable function is provably total in Peano arithmetic, however;
Није свака укупна израчунљива функција и доказиво укупна у Пеано аритметици, међутим;

This argument provides a computable function which is not primitive recursive.
Овај аргумент даје целокупну израчунљиву функцију која није примитивно рекурзивна.

That reduction function must be a computable function.
Та функција смањења мора бити израчунљива функција.

Many equivalent models of computation are known, and they all give the same definition of computable function(or a weaker version, in some instances).
Многи еквивалентни модели рачунања су познати, а сви они дају исту дефиницију израчунљиве функције( или слабију верзију, у неким случајевима).

Before the precise definition of computable function mathematicians often used the informal term effectively calculable to describe functions that are computable by paper-- pencil methods.
Пре прецизног дефинисања израчунљивих функција, математичари често користе неформалан термин ефективно израчунљив да опишу функције које су за израчунљиве методама папира и оловке-.

There are Turing computable partial functions that have no extension to a total Turing computable function.
Постоје Тјуринг израчунљиве парцијалне функције које немају проширење до тотално Тјуринг израчунљивих функција.

Not every total computable function is provably total in Peano arithmetic, however; an example of such a function is provided by Goodstein's theorem.
Није свака укупна израчунљива функција и доказиво укупна у Пеано аритметици, међутим; пример такве функције обезбеђује Гудштајнова теорема.

If g were a total computable function extending f then g would be computable by some Turing machine;
Ако би g била тотално израчунљива функција која проширује f онда би g била израчунљива на некој Тјуринговој машини;