Sta znaci na Engleskom ОДЛУЧИВ - prevod na Енглеском

• decidable

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

И треће, да ли је математика одлучива?".
And thirdly, was mathematics decidable?".

Проширење одлучиве теорије може да буде неодлучиво.
An extension of a decidable theory may not be decidable..

Док је овај тест ефективан, B је одлучив и, на основу Черчове тезе, рекурзиван.
Since this test is effective, B is decidable and, by Church's thesis, recursive.

Ако проблем одлучивања може да се реши неким алгоритмом, кажемо да је одлучив.
A decision problem which can be solved by an algorithm is called decidable.

Свака ефективно израчунљива функција( ефективно одлучив предикат) је опште рекурзивна.
Thesis I. Every effectively calculable function(effectively decidable predicate) is general recursive.

Свака одлучива теорија или логички систем је полуодлучива, али у општем случају обратно не важи;
Every decidable theory or logical system is semidecidable, but in general the converse is not true;

На пример, скуп логичких ваљаности V логике првог реда је полуодлучив, али не и одлучив.
For example, the set of logical validities V of first-order logic is semi-decidable, but not decidable.

Пресбургер је доказао да је Пеанова аритметика без множења непротивречна, комплетна и одлучива.
Presburger proved that Peano arithmetic without multiplication was consistent, complete, and decidable.

Проблем одлучивања да ли ће Тјурингова машина са индексом e стати за сваки улаз није одлучив.
The decision problem of whether the Turing machine with index e will halt on every input is not decidable.

Свака ефективно израчунљива функција( ефективно одлучив предикат) је опште рекурзивна[ Клинијев курзив].
Every effectively calculable function( effectively decidable predicate) is general recursive italics.

Исто тако, рачунарско свођење фукнције израчунљивости може да смањи неодлучив проблем у један одлучив.
Likewise, a reduction computing a noncomputable function can reduce an undecidable problem to a decidable one.

Реч одлучив потиче од немачке речи Ајншајдунгспроблем који је коришћен у оригиналним радовима Тјуринга и осталих.
The word decidable stems from the German word Entscheidungsproblem which was used in the original papers of Turing and others.

На пример, постоје неодлучиве теорије у исказном рачуну, иако је скуп ваљаности( најмања теорија) одлучив.
For example, there are undecidable theories in propositional logic, although the set of validities(the smallest theory) is decidable.

Остали језици као што је Епиграм чини вредност свих експресија у језику одлучивим тако да провера куцања може бити одлучива.
Other languages such as make the value of all expressions in the language decidable so that type checking can be decidable.

Логички систем је одлучив ако постоји ефективни метод за одређивање да ли су произвољне формуле теореме логичког система.
A logical system is decidable if there is an effective method for determining whether arbitrary formulas are theorems of the logical system.

Ако ни један од њих није једнак k, онда k није у B. Док је овај тест ефективан, B је одлучив и, на основу Черчове тезе, рекурзиван.
If none of them is equal to k, then k not in B. Since this test is effective, B is decidable and, by Church's thesis, recursive.

Свака неконзистентна теорија је одлучива, јер је свака формула која је у њеној сигнатури њена логичка последица, и стога члан теорије.
Every inconsistent theory is decidable, as every formula in the signature of the theory will be a logical consequence of, and thus a member of, the theory.

Рекурзивни језик у математици, логици и рачунарству је тип формалног језика који се још назива и одлучивим или Тјуринг-одлучивим.
A recursive language in mathematics, logic and computer science, is a type of formal language which is also called recursive, decidable or Turing-decidable….

Од прецизне математичке дефиниције појма ефективно израчунљиве( ефективно одлучиве) је хтео, можемо искористити ову тезу… као дефиницију тога…".
Since a precise mathematical definition of the term effectively calculable(effectively decidable) has been wanting, we can take this thesis… as a definition of it…"[25].

Хаскелов систем куцања, верзија Хиндлеја-Милнера, је рестрикција Система F-омега тако званом ранка-1 полиморфног куцања, у чијем случају је закључак одлучив.
Haskell's type system, a version of Hindley- Milner, is a restriction of System Fω to so-called rank-1 polymorphic types, in which type inference is decidable.

На пример, исказни рачун је одлучив, јер може да се користи на пример истинитосна таблица као метод за одређивање да ли је произвољна исказна формула логички валидна.
For example, propositional logic is decidable, because the truth-table method can be used to determine whether an arbitrary propositional formula is logically valid.

У математици, логици и рачунарству, рекурзивно пребројив језик је тип формалног језика који се такође назива и парцијално одлучивим или Тјуринг-препознатљивим.
A recursively enumerable language in mathematics, logic and computer science, is a type of formal language which is also called partially decidable or Turing-recognizable….

Свака одлучива теорија или логички систем је полуодлучива, али у општем случају обратно не важи; теорија је одлучива ако и само ако су и она и њен комплемент полуодлучиви.
Every decidable theory or logical system is semidecidable, but in general the converse is not true; a theory is decidable if and only if both it and its complement are semi-decidable.

Теорија( скуп формула затворен у односу на логичке последице) у фиксираном логичком систему је одлучива ако постоји ефективни метод за одређивање да ли произвољне теорије припадају теорији.
A theory(set of formulas closed under logical consequence) in a fixed logical system is decidable if there is an effective method for determining whether arbitrary formulas are included in the theory.

Черч( 1936а, 1936б) и Тјуринг( 1936), инспирисани техникама које је користио Гедел( 1931) да докаже своју теореме непотпуности, независно је демонстрирао да Ајншајдунгспроблем није ефективно одлучив.
Church(1936a, 1936b) and Turing(1936), inspired by techniques used in by Gödel(1931) to prove his incompleteness theorems, independently demonstrated that the Entscheidungsproblem is not effectively decidable.

Теорија( скуп формула затворен у односу на логичке последице) у фиксираном логичком систему је одлучива ако постоји ефективни метод за одређивање да ли произвољне теорије припадају теорији.
A theory(set of sentences closed under logical consequence) in a fixed logical system is decidable if there is an effective method for determining whether arbitrary formulas are included in the theory.

На пример, теорија алгебарски затворених поља је одлучива али није потпуна, док је скуп свих истинитих исказа првог реда о ненегативним целим бројевима у језику са+ и × потпун, али не и одлучив.
For example, the theory of algebraically closed fields is decidable but incomplete, whereas the set of all true first-order statements about nonnegative integers in the language with+ and× is complete but undecidable.

Заиста, доказ да је логички систем или теорија неодлучива ће користити формалну дефиницију израчунљивости да покаже да одговарајући скуп није одлучив скуп, а затим се позвати на Черчову тезу да покаже да теорија или логички систем није одлучив било којим ефективним методом( Enderton 2001, pp. 206ff.).
Indeed, the proof that a logical system or theory is undecidable will use the formal definition of computability to show that an appropriate set is not a decidable set, and then invoke Church's thesis to show that the theory or logical system is not decidable by any effective method(Enderton 2001, pp. 206ff.).

За скуп природних бројева је речено да буде израчунљив скуп( такође назван и одлучив, рекурзиван, или Тјуринг израчунљив скуп) ако постоји Тјурингова машина која, с обзиром на дати број н, се зауставља са излазом 1 ако је н у скупу и зауставља се са излазом 0 ако н није у скупу.
A set of natural numbers is said to be a computable set(also called a decidable, recursive, or Turing computable set) if there is a Turing machine that, given a number n, halts with output 1 if n is in the set and halts with output 0 if n is not in the set.

То је, ако је систем куцања и звук( значи да одвија све нетачне програме) и одлучив( значи да је могуће написати алгоритам који одлучује да ли је програм добро откуцан), онда увек ће бити могуће да се дефинише програм који је добро откуцас али који не задовољава контролора куцања.
That is, if a type system is both sound(meaning that it rejects all incorrect programs) and decidable(meaning that it is possible to write an algorithm which determines whether a program is well-typed), then it will always be possible to define a program which is well-typed but which does not satisfy the type-checker.