What is the translation of " RECURSION THEORY " in Serbian?

• теорија рекурзије
• теорији рекурзије

Examples of using Recursion theory in English and their translations into Serbian

Recursion theory.
Теорије рекурзије.

Arguably, computational complexity theory is a child of recursion theory;
Вероватно, теорија комплексности је дете теорије рекурзије;

An ongoing area of research in recursion theory studies reducibility relations other than Turing reducibility.
Стална област истраживања теорије рекурзије проучава односе смањења осталих осим Тјуринговог смањења.

The recursively enumerable sets, although not decidable in general, have been studied in detail in recursion theory.
Рекурзивно набројиви скупови, иако неодлучиви у општем, су проучавани детаљно у теорији рекурзије.

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

Recursion theory originated in the 1930s, with work of Kurt Gödel, Alonzo Church, Rózsa Péter, Alan Turing, Stephen Kleene, and Emil Post.
Теорија рекурзије настала је 1930их, са радом Курта Гедела, Алонза Черча, Алана Тјуринга, Стефана Клинеа и Емила Поста.

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

Recursion theory is also linked to second order arithmetic, a formal theory of natural numbers and sets of natural numbers.
Теорија рекурзије је такође повезана са аритметиком другог реда, формалне теорије природних бројева и скупова природних бројева.

The field of mathematical logic dealing with computability and its generalizations has been called"recursion theory" since its early days.
Област математичке логике која се бави израчунљивошћу и њеним генерализацијама је названа" теорија рекурзије" од својих раних дана.

The basic questions addressed by recursion theory are"What does it mean for a function on the natural numbers to be computable?
Основна питања упућена теорији рекурзије су Шта то значи за функцију над природним бројевима да буде израчунљива?

Further reducibilities(positive, disjunctive, conjunctive, linear and their weak and bounded versions) are discussed in the article Reduction(recursion theory).
Даља смањења( позитивна, дисјункцивна, конјуктивна, линеарна и њихове слабе и ограђене верзије) се разматрају у чланку Смањење( теорија рекурзије).

The main professional organization for recursion theory is the Association for Symbolic Logic, which holds several research conferences each year.
Главна професионална организација за теорију рекурзије је Удружење за Симболичку Логику, која има неколико истраживачких конференција сваке године.

Mathematical logic is often divided into the subfields of set theory, model theory, recursion theory, proof theory, and constructive mathematics.
Математичка логика се често дели у следеће подобласти: теорија скупова, теорија модела, теорија рекурзије, теорија доказа и конструктивна математика.

Recursion theory overlaps with proof theory, effective descriptive set theory, model theory, and abstract algebra.
Рекурзија теорија поклапа се са теоријом доказа, теоријом ефективно описног сета, теоријом модела и апстрактном алгебром.

Invention of the central combinatorial object of recursion theory, namely the Universal Turing Machine, predates and predetermines the invention of modern computers.
Изум централно комбинаторног објекта теорије рекурзије, названа Универзална Тјурингова машина, предходи и предодређује изум модерних рачунара.

Recursion theory includes the study of generalized notions of this field such as arithmetic reducibility, hyperarithmetical reducibility and α-recursion theory, as described by Sacks(1990).
Теорија рекурзије обухвата проучавање уопштених појмова из ове области, као што су аритметичко смањење, хипераритметичко смањење и α-рекурзивне теорије, као што је описано од стране Сакса( 1990).

Priority arguments have been employed to solve many problems in recursion theory, and have been classified into a hierarchy based on their complexity(Soare 1987).
Приоритетни аргументи су били запослени да реше многе проблеме у теорији рекурзије, и они су класификовани у хијерархији на основу њихове сложености( Соар 1987).

In recursion theory, the Ackermann function or Ackermann-Péter function is a simple example of a general recursive function that is not primitive recursive….
У теорији израчунљивости, Акерманова функција или Акерман-Петерова функција је једноставан пример израчунљиве функције која није примитивно рекурзивна.

Beginning with the theory of recursive sets and functions described above, the field of recursion theory has grown to include the study of many closely related topics.
Почевши са теоријом рекурзивних скупова и функција описаних горе, област теорије рекурзије је расла да обухвати проучавање многих блиско повезаних тема.

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).
Теорија рекурзије у математичкој логици је традиционално фокусирана ка релативној израчунљивости, генерализација Тјурингове израчунљивости дефинисана је употребом Пророчке машине, представљену од стране Тјуринга( 1939).

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

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

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

The basic questions addressed by recursion theory are"What does it mean for a function from the natural numbers to themselves to be computable?" and"How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?"?
Основна питања упућена теорији рекурзије су Шта то значи за функцију над природним бројевима да буде израчунљива? и Како неизрачунљиве функције могу класиране у хијерархију базирану на њиховом нивоу неизрачунљивости?

The first major result in this branch of Recursion Theory is Trakhtenbrot's result that a set is computable if it is(m, n)-recursive for some m, n with 2m> n.
Први велики резултат у овој грани теорије рекурзије је Трактенбротов резултат који каже да је скуп израчунљив ако је(м, н)- рекурзивно за неком, н са 2м> н.

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

According to Rogers, the sets of interest in recursion theory are the noncomputable sets, partitioned into equivalence classes by computable bijections of the natural numbers.
Према Роџерсу, скупови интереса у теорији рекурзије су неизрачунљиви скупови, подељени у класе еквиваленције за израчунљиве бијекције природних бројева.

The arithmetical hierarchy is important in recursion theory, effective descriptive set theory, and the study of formal theories such as Peano arithmetic.
Рачунска хијерархија је важна у теорији рекурзије и ефективне теорије описног скупа, и студија формалних теорија као што је Пеано аритметика.

Some commentators argue that both the names recursion theory and computability theory fail to convey the fact that most of the objects studied in recursion theory are not computable.
Неки коментатори тврде да су имена теорија рекурзије и теорија израчунљивости не преносе чињеницу да је већина објеката испитиваних у теорији рекурзије нису израчунљиви.

Rogers(1967) has suggested that a key property of recursion theory is that its results and structures should be invariant under computable bijections on the natural numbers(this suggestion draws on the ideas of the Erlangen program in geometry).
Роџерс( 1967) је предложио да је кључна имовина теорије рекурзије да њени резултати и структуре морају бити инваријантни под израчунљивим бијекцијама на природним бројевима( ова сугестија ослања се на идејама Ерланген програма у геометрији).