nerozhodnutelnost oor Engels
nerozhodnutelnost
Vertalings in die woordeboek Tsjeggies - Engels
undecidability
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
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í.
Having regard to Council Regulation (Euratom) No # of #nd December # laying down maximum permitted levels of radioactive contamination of foodstuffs and of feedingstuffs following a nuclear accident or any other case of radiological emergency, as amended by Regulation (Euratom) No #, and in particular Article # thereofParaCrawl Corpus ParaCrawl Corpus
Pozornost bude také věnována nerozhodnutelnosti teorií 1. řádu vyplývající ze známých Gödelových vět o neúplnosti.
With 1.14%, the Commission will therefore be treading a middle path.ParaCrawl Corpus ParaCrawl Corpus
Church-Turingova téze, univerzální TS, nerozhodnutelnost, problém zastavení TS, redukce, Postův korespondenční problém.
Cabinet should hang its collective head in shame for having such a procedural wrangle on this billParaCrawl Corpus ParaCrawl Corpus
Pozornost bude také věnována nerozhodnutelnosti teorií 1. řádu vyplývající ze známých Gödelových vět o neúplnosti.
The way she wrote sentences was absolutely extraordinaryParaCrawl Corpus ParaCrawl Corpus
Nerozhodnutelnost teorií prvního řádu, Gödelovy věty o neúplnosti
Everybody stop!ParaCrawl Corpus ParaCrawl Corpus
Tomu říkáme nerozhodnutelnost.
You got two more quarters and after that most of you will never play this game again as long as you liveParaCrawl Corpus ParaCrawl Corpus
Rozhodnutelnost, částečná rozhodnutelnost a nerozhodnutelnost problémů, redukce problémů.
In the case of the final statement of account, the interest for the delayed payment shall be calculated on a daily basis at the rate specified in the special conditionsParaCrawl Corpus ParaCrawl Corpus
Church-Turingova téze, univerzální TS, nerozhodnutelnost, problém zastavení TS, redukce, Postův korespondenční problém.
You, I can' t rememberParaCrawl 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.
Given a few weeks?Tonight!ParaCrawl Corpus ParaCrawl Corpus
Nerozhodnutelnost. Deduktivní verifikace programů.
You were a doctor there?- No, I was just an orderlyParaCrawl Corpus ParaCrawl Corpus
Nerozhodnutelnost teorií prvního řádu, Gödelovy věty o neúplnosti
What tlnis thing needs is wlnat we call a Brogan adjustmentParaCrawl Corpus ParaCrawl Corpus
Pozornost bude také věnována nerozhodnutelnosti teorií 1. řádu vyplývající ze známých Gödelových vět o neúplnosti.
Have arrangements been made with the provincial and municipal governments delivering health and various social services in Canada?ParaCrawl Corpus ParaCrawl Corpus
Abstrakt: Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách.
Maybe it' s not the best way to end our show, though?ParaCrawl Corpus ParaCrawl Corpus
Řešení problému z oblasti Turingových strojů a teorie nerozhodnutelnosti.
Secondary educationParaCrawl Corpus ParaCrawl Corpus
Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách.
As I walk along the Bois de Boulogne With an independent airParaCrawl Corpus ParaCrawl Corpus
Tato disertační práce se zabývá algoritmickou nerozhodnutelností (neřešitel- ností) dokazatelnosti v některých neklasických logikách.
But today is a new dayParaCrawl Corpus ParaCrawl Corpus
16 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.