decidable

The word problem on ground terms is not decidable.

Słowo problem na warunkach ziemi nie jest rozstrzygalny.

But in either case, the set A is decidable.

Ale w jednym i drugim przypadku, zbiór jest rozstrzygalny.

However, there are many interesting special cases that are decidable.

Jednakże, jest wiele interesujących szczególnych przypadków, które są rozstrzygalne.

A decision problem which can be solved by an algorithm, such as this example, is called decidable.

Decyzja problem, który może być rozwiązany przez algorytm, taki jak ten przykład, jest nazwany rozstrzygalny.

A computational problem is thus considered decidable if it can be solved by a computer.

Obliczeniowy problem stąd jest uważany za rozstrzygalny jeśli to może być rozwiązane komputerowo.

It is unknown whether the problem is decidable for 3 n 6.

To jest nieznane czy problem jest rozstrzygalny dla 3 n 6.

A classic example of a decidable decision problem is the set of prime numbers.

Klasyczny przykład rozstrzygalnej decyzji problem jest zbiorem liczb pierwszych.

Most array subscript calculations then fall within the region of decidable problems.

Najbardziej ustawiać w szyku kalkulacja w indeksie dolnym wtedy mieścić się w regionie rozstrzygalnych problemów.

He also proved that the class of locally free algebras has a decidable theory.

Również udowodnił, że klasa z w okolicy wolne algebry dostaje rozstrzygalną teorię.

This last corollary shows the existence of decidable problems that are intractable.

To ostatnie następstwo wykaże istnienie rozstrzygalnych problemów, które są nieustępliwe.

The finite binary strings with an even number of 1s is decidable.

Ograniczone łańcuchy binarne z liczbą parzystą z 1 s jest rozstrzygalny.

The class of decidable sets has numerous closure properties.

Klasa rozstrzygalnych zbiorów ma liczne własności domkniętości.

However, not all languages recognized by a TM are decidable.

Jednakże, nie wszystkie języki rozpoznane przez TM są rozstrzygalne.

If there were one, then the halting set would be decidable, which is provably false.

Gdyby był jeden, w takim razie niepewny zbiór byłby rozstrzygalny, który jest provably błędny.

Logicians refer to this fact as "2 is decidable".

Logicy mówią o tym fakcie "2 jest rozstrzygalny".

This was formally defined It is therefore (relatively) decidable for finite programs using our laws.

To było określane formalnie to jest dlatego (stosunkowo) rozstrzygalny dla ograniczonych programów wykorzystujących nasze prawa.

The rank problem is decidable for finitely generated nilpotent groups.

Stopień problem jest rozstrzygalny dla skończenie wytworzony nilpotent grupy.

The field of computational complexity categorizes decidable decision problems by how difficult they are to solve.

Pole złożoności obliczeniowej klasyfikuje rozstrzygalne problemy decyzji przez jak trudny oni mają rozwiązać.

If this function is computable then the associated decision problem is decidable.

Jeśli ta funkcja jest obliczalna wtedy powiązana decyzja problem jest rozstrzygalny.

They also showed a limitation of the model to commands with only one primitive operation to render the problem decidable.

Również okazali ograniczenie modela poleceniom z jedynym prymitywna operacja oddać problem rozstrzygalny.

This means that the facts we are assuming are in principle decidable, an so add nothing to the real power of our system.

To oznacza, że fakty, że przypuszczamy są w zasadzie rozstrzygalne, tak nie dodawać niczego do realnej władzy naszego systemu.

This problem is decidable if n 2, but remains undecidable for n 7.

Ten problem jest rozstrzygalny jeśli n 2, ale pozostaje nierozstrzygalny dla n 7.

So the issue of "acceptability", up to that time mainly concerning theory, finally became experimentally decidable.

Tak kwestia "dopuszczalności", do tego czasu głównie dotycząc teorii, w końcu stał się doświadczalnie rozstrzygalny.

It states that is derivable as soon as is, for decidable.

To stwierdza, że to jest łatwe do uzyskania jak niedługo taki jaki jest, dla rozstrzygalny.

In mathematical logic, various sublanguages of set theory are decidable.

W logice matematycznej, różne podjęzyki teorii zbiorów są rozstrzygalne.