What is the translation of " ИЗРАЧУНЉИВОСТИ " in English?

• computability
• of computation
• computational

Examples of using Израчунљивости in Serbian and their translations into English

Удружење Израчунљивости у Европи.
Association Computability in Europe.

Односи између дефинитности, доказа и израчунљивости.
Relationships between definability, proof and computability.

Теорија Израчунљивости за дигитално израчунавање је добро развијена.
Computability theory for digital computation is well developed.

Било је неколико независних покушаја да се формализује појам Израчунљивости.
Several independent attempts were made to formalize the notion of computability.

Проучавања у теорији израчунљивости се обично базирају на проблемима одлучивања.
Research in computability theory has typically focused on decision problems.

Их, било је неколико независних покушаја да се формализује појам Израчунљивости.
In the 1930s, several independent attempts were made to formalize the notion of computability.

У теорији израчунљивости и теорији сложености, ALL је класа свих проблема одлучивости.
In computability and complexity theory, ALL is the class of all decision problems.

Квантна Тјурингова машина може ефикасно симулирати било који реалан модел израчунљивости.".
A quantum Turing machine can efficiently simulate any realistic model of computation.".

У теорији израчунљивости у рачунарству, уобичајено је да се размотре формални језици.
In computability theory in computer science, it is common to consider formal languages.

Стога, теорија формалних језика је главна област примене теорије израчунљивости и теорије комплексности.
Therefore, formal language theory is a major application area of computability theory and complexity theory.

Главни облик израчунљивости проучаван у теорији рекурзије је представио Тјуринг( 1936).
The main form of computability studied in recursion theory was introduced by Turing(1936).

Интердисциплинарно истраживачко Удружење Израчунљивости у Европи( ЦиЕ) организује низ годишњих конференција.
The interdisciplinary research Association Computability in Europe(CiE) also organizes a series of annual conferences.

Теорија израчунљивости се примарно бави питањем је ли проблем уопште решив на рачунару.
Computability theory deals primarily with the question of the extent to which a problem is solvable on a computer.

Многи математичари и рачунски теоретичари који проучавају теорију рекурзије ће је назвати теоријом израчунљивости.
Many mathematicians and computational theorists who study recursion theory will refer to it as computability theory.

Свођење се корсти у теорији израчунљивости да покаже да ли су проблеми решиви или нису, од стране уређаја, уопште;
Reductions are also used in computability theory to show whether problems are or are not solvable by machines at all;

Крајем 19. века, Леополд Кронекер је формулисао појмове израчунљивости, дефинисањем примитивних рекурзивних функција.
In the late 19th century, Leopold Kronecker formulated notions of computability, defining primitive recursive functions.

Слично томе, Тарскијева теорема недефинисаности може се тумачити у смислу дефинисаности и у смислу израчунљивости.
Similarly, Tarski's indefinability theorem can be interpreted both in terms of definability and in terms of computability.

Као и код концепта за израчунавање функције релативне израчунљивости може дати једнаке дефиниције у многим различитим моделима обрачуна.
As with the concept of a computable function relative computability can be given equivalent definitions in many different models of computation.

Крајем 1920-их, математичари Габријел Судан и Вилхелм Акерман, ученици Давида Хилберта, су проучавали основе израчунљивости.
In the late 1920s, the mathematicians Gabriel Sudan and Wilhelm Ackermann, students of David Hilbert, were studying the foundations of computation.

Ово је натерало математичаре и информатичаре да поверују да је концепт израчунљивости тачно окарактерисан овим трома еквивалентним процесима.
This has led mathematicians and computer scientists to believe that the concept of computability is accurately characterized by these three equivalent processes.

Сходно томе, Квантно Сложено-теоријска Черч-Тјурингова теза гласи:" Квантна Тјурингова машина може ефикасно симулирати било који реалан модел израчунљивости.".
Consequently, the quantum complexity-theoretic Church-Turing thesis states:"A quantum Turing machine can efficiently simulate any realistic model of computation.".

Коментари од Гедела на тему указују на овај став, нпр" основна тачна дефиниција механичке израчунљивости је утврђена ван сваке сумње од стране Тјуринга".
Comments by Gödel on the subject suggest this view, e.g."the correct definition of mechanical computability was established beyond any doubt by Turing".

Ово је у супротности са теоријом субрекурзивне хијерархије, формалних метода и формалних језика који је уобичајен у истраживању теорије израчунљивости у рачунарству.
This contrasts with the theory of subrecursive hierarchies, formal methods and formal languages that is common in the study of computability theory in computer science.

Ова тачка гледишта се ослања на историју теорије израчунљивости( степени нерешивости, израчунљивост над функцијама, реалних бројева и редних бројева), као и горе наведено.
This point of view relies on the history of computability theory(degrees of unsolvability, computability over functions, real numbers and ordinals), as also mentioned above.

Wilhelm Friedrich Ackermann; Хершајд, 29. март 1896- Лиденшајд, 24. децембар 1962 је био немачки математичар најпознатији по Акермановој функцији, важном примеру у теорији израчунљивости.
Wilhelm Friedrich Ackermann(29 March 1896- 24 December 1962) was a German mathematician best known for the Ackermann function, an important example in the theory of computation.

Теорија рекурзије у математичкој логици је традиционално фокусирана ка релативној израчунљивости, генерализација Тјурингове израчунљивости дефинисана је употребом Пророчке машине, представљену од стране Тјуринга( 1939).
Recursion theory in mathematical logic has traditionally focused on relative computability, a generalization of Turing computability defined using oracle Turing machines, introduced by Turing(1939).

Wilhelm Friedrich Ackermann; Хершајд, 29. март 1896- Лиденшајд, 24. децембар 1962 је био немачки математичар најпознатији по Акермановој функцији, важном примеру у теорији израчунљивости.
Wilhelm Ackermann(March 29, 1896, Herscheid municipality, Germany – December 24, 1962 Lüdenscheid, Germany) was a German mathematician best known for the Ackermann function, an important example in the theory of computation….

Теорија израчунљивости је уско везана са граном математичке логике званом теорија рекурзије, која отклања ограничење проучавања само модела рачунања који су блиски оним физикално остваривима.
The computability theory is closely related to branch of the mathematical logic called the recursion theory, which removes restriction of studying only models of the computation which are reducible to Turing model.

Било је неколико независних покушаја да се формализује појам Израчунљивости: 1933, Аустријски-Амерички математичар Курт Гедел, са Жаком Ербраном, је направио дормалну дефиницију класа под називом општа рекурзивна функција.
Several independent attempts were made to formalize the notion of computability: In 1933, Austrian-American mathematician Kurt Gödel, with Jacques Herbrand, created a formal definition of a class called general recursive functions.

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