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

• одлучив
• одлучиви
• одлучива

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

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

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

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

A theory is decidable if and only if both it and its complement are semi-decidable.
Теорија је одлучива ако и само ако су и она и њен комплемент полуодлучиви.

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

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

P is also known to be no larger than PSPACE, the class of problems decidable in polynomial space.
За P се зна да није већи од PSPACE- класе проблема одлучивих у полиномијалном простору.

Partially decidable problems and any other problems that are not decidable are called undecidable.
Парцијално одлучиви проблеми и сви остали проблеми који нису одлучиви се називају неодлучивим.

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

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

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

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

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

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

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

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

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

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

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

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.
Ако ни један од њих није једнак k, онда k није у B. Док је овај тест ефективан, B је одлучив и, на основу Черчове тезе, рекурзиван.

Logical systems such as propositional logic are decidable if membership in their set of logically valid formulas(or theorems) can be effectively determined.
Логички системи попут исказног рачуна су одлучиви ако припадност њиховом скупу логички валидних формула( или теорема) може ефективно да се одреди.

A recursive language in mathematics, logic and computer science, is a type of formal language which is also called recursive, decidable or Turing-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.
На пример, исказни рачун је одлучив, јер може да се користи на пример истинитосна таблица као метод за одређивање да ли је произвољна исказна формула логички валидна.

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].
Од прецизне математичке дефиниције појма ефективно израчунљиве( ефективно одлучиве) је хтео, можемо искористити ову тезу… као дефиницију тога…".

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

It is also easy to see that the halting problem is not in NP since all problems in NP are decidable in a finite number of operations, while the halting problem, in general, is undecidable.
Такође је лако видети да халтинг проблем није НП, јер су сви проблеми из класе НП одлучиви у коначном броју операција, док халтинг проблем у општем случају није.

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

First-order logic is not decidable in general; in particular, the set of logical validities in any signature that includes equality and at least one other predicate with two or more arguments is not decidable..
Логика првог реда није одлучива у општем случају; специјално, свака сигнатура која укључује једнакост и најмање један други предикат са два или више аргумената, даје неодлучив систем.