nerozhodnutelný oor Engels
nerozhodnutelný
Vertalings in die woordeboek Tsjeggies - Engels
undecidable
en
incapable of being algorithmically decided
undecidable
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Hypotéza kontinua, která postuluje mohutnost některých nekonečných množin, se nakonec ukázala jako nerozhodnutelná (nezávislá na obecně uznávaných axiomech teorie množin).
Given the social structure that was in place, carefully monitored by both the monarchy and the Church, it would have been unthinkable to runWikiMatrix WikiMatrix
Rozhodnutí, zda obecná bezkontextová gramatika je jednoznačná, je algoritmicky nerozhodnutelný problém, protože lze ukázat, že je ekvivalentní s Postovým korespondenčním problémem.
My monsters!WikiMatrix WikiMatrix
Známý nerozhodnutelný problém je problém zastavení.
You called out for meWikiMatrix WikiMatrix
Postův korespondenční problém (PCP) je nerozhodnutelný problém představený matematikem Emilem Postem v roce 1946.
Tryin ' to help what?WikiMatrix WikiMatrix
Konzervativní rozšíření nerozhodnutelné teorie je nerozhodnutelné.
Then we' il make an appointment at the genetics labWikiMatrix WikiMatrix
Navíc, i když je odvozování pro danou typovou teorii obecně nerozhodnutelné, je to často přijatelné pro většinu reálných programů.
I want to take responsibility for that chapelWikiMatrix WikiMatrix
Dále dokazujeme, že množina teorémů v základní substrukturální logice s pravidlem kontrakce, které ob- vykle způsobuje řadu komplikací, je nerozhodnutelná.
Vacating his seat on Foreign RelationsParaCrawl Corpus ParaCrawl Corpus
Aplikace teorie formálních jazyků v informatice a informačních technologiích (překladače, modelování a analýza systémů, lingvistika, biologie atd.), modelovací a rozhodovací síla formálního modelu, regulární jazyky a jejich vlastnosti, minimalizace konečného automatu, bezkontextové jazyky a jejich vlastnosti, Turingovy stroje, vlastnosti rekurzivních a rekurzivně vyčíslitelných jazyků, vyčíslitelné funkce, nerozhodnutelnost, nerozhodnutelné problémy teorie formálních jazyků, úvod do výpočetní složitosti a Petriho sítí.
will be deemed impure?ParaCrawl Corpus ParaCrawl Corpus
Rozhodovací problémy se typicky a přirozeně objevují v otázkách rozhodnutelnosti, kdy se ptáme, zda existuje efektivní metoda pro určení existence nějakých matematických objektů nebo pro jejich příslušnost do nějaké množiny. Některé problémy v matematice jsou nerozhodnutelné.
Therefore, it can be changed at any time by judgesParaCrawl Corpus ParaCrawl Corpus
Nerozhodnutelné problémy teorie formálních jazyků.
If the request for conversion into a geographical indication does not meet the requirements laid down in Articles # and # of Regulation (EC) No #/#, the Commission shall inform the Member State or the third-country authorities or the applicant established in the third country in question of the grounds for refusal, and shall invite him to withdrew or amend the request or submit comments within a period of two monthsParaCrawl Corpus ParaCrawl Corpus
Pro nerozhodnutelné problémy, jako LTL řízení POMDP, je cílem návrh efektivních heuristik pro podtřídy modelů nebo požadavků.
I' m sorryforyouParaCrawl Corpus ParaCrawl Corpus
Dozví se také, že některé problémy jsou algoritmicky nerozhodnutelné, a jakým způsobem se to dá dokázat.
Don' t you dare judge meParaCrawl Corpus ParaCrawl Corpus
Třídy složitosti P a NP, NP-těžké a NP-úplné problémy, polynomiální redukce, Cookův teorém, Turingovy stroje, jejich zobecnění, problém zastavení, nerozhodnutelné problémy, vypočitatelnost a vyčíslitelnost.
It is clear that there is a perceived conflict in two laws that have been passed by this House, one making the possession of child pornography illegal and one protecting freedom of expressionParaCrawl Corpus ParaCrawl Corpus
Pojem nerozhodnutelného a částečně rozhodnutelného problému. IB110
It' s that stray dog!ParaCrawl Corpus ParaCrawl Corpus
Varianta ML tzv. závislého ML byla vytvořena na základě tohoto typového systému. Protože typová kontrola převodů závislých typů je nerozhodnutelná, ne všechny systémy používají tuto typovou kontrolu bez nějakého druhu omezení.
But there' s only one way to know for sureParaCrawl Corpus ParaCrawl Corpus
Prvky lambda-kalkulu; transformace a redukce; lambda-kalkul a výpočty (kódování, rekurzivní definice, lambda-vyčíslitelnost, nerozhodnutelné problémy); typovaný lambda-kalkul (vlastnosti a aplikace); domény a jejich konstrukce; doménové modely.
I' ve got a piece of him, that' s allParaCrawl Corpus ParaCrawl Corpus
Algoritmicky nerozhodnutelné problémy.
But his son is sickParaCrawl Corpus ParaCrawl Corpus
Aplikace teorie formálních jazyků v informatice a informačních technologiích (překladače, modelování a analýza systémů, lingvistika, biologie atd.), modelovací a rozhodovací síla formálního modelu, regulární jazyky a jejich vlastnosti, minimalizace konečného automatu, bezkontextové jazyky a jejich vlastnosti, Turingovy stroje, vlastnosti rekurzivních a rekurzivně vyčíslitelných jazyků, vyčíslitelné funkce, nerozhodnutelnost, nerozhodnutelné problémy teorie formálních jazyků, úvod do výpočetní složitosti.
I just couldn' t leave you in your time of need... of meParaCrawl Corpus ParaCrawl Corpus
Tento problém se stává nerozhodnutelným, pokud PRS rozšíříme o konečně-stavovou řídící jednotku.
I don' t understand why Carla didn' t tell me about you guysParaCrawl Corpus ParaCrawl Corpus
Rozhodnutelné a nerozhodnutelné problémy.
Let me nevertheless stress that it is for Member States to take the final decision.ParaCrawl Corpus ParaCrawl Corpus
NP-úplné problémy. - Algoritmicky nerozhodnutelné problémy.
I take no creditParaCrawl Corpus ParaCrawl Corpus
21 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.