kvantifikátor jednoznačné existence
uniqueness quantification
kvantifikátor oor Engels
kvantifikátor
Vertalings in die woordeboek Tsjeggies - Engels
quantifier
en
A logical operator
quantifier
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
Soortgelyke frases
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
popis provedených prací, spolu s fyzickými ukazateli, kvantifikátory výdajů podle kategorií práce, a přijatá opatření ve vztahu ke specifickým doložkám obsaženým v rozhodnutí o poskytnutí pomoci
The measures provided for in this Regulation are in accordance with the opinion of the Management Committee for Oils and Fatseurlex eurlex
Tato teorie je druhý stupeň typového lambda kalkulu podobný Systému F, ale existenčním místo univerzálním kvantifikátorem.
I long forthemWikiMatrix WikiMatrix
1. popis provedených prací, spolu s fyzickými ukazateli, kvantifikátory výdajů podle kategorií práce, a přijatá opatření ve vztahu ke specifickým doložkám obsaženým v rozhodnutí o poskytnutí pomoci;
Then why the hesitation to carry out your mandateand have Homeland absorb CTU?EurLex-2 EurLex-2
Bez takovýchto logických operátorů nulové arity můžeme tyto dvě konstanty vyjádřit pouze za pomoci kvantifikátorů.
[libby] hey. hey, guysWikiMatrix WikiMatrix
Zatímco výroková logika se zabývá jednoduchými a deklarativními výroky, predikátová logika prvního řádu zavádí jako nadstavbu predikáty a kvantifikátory.
The declarationshall includeWikiMatrix WikiMatrix
Keisler dokázal, že hyperreálná definice limity snižuje kvantifikátorovou složitost o dva kvantifikátory.
Is there an empty compartment I can move into?WikiMatrix WikiMatrix
Predikátová logika je filozofický systém úsudku za použití příkazů " jestliže / pak " jako kvantifikátory nebo tvrzení.
They' ve got this whole team here...... throwing everything but the kitchen sink at this caseOpenSubtitles2018.v3 OpenSubtitles2018.v3
Pokud jsou zde proměnné části, jako jsou čísla stránek nebo tak, použijte pro jejich pokrytí sady a kvantifikátory, a když už jsme u toho, nezapomeňte uvodit speciální znaky, pokud tu nějaké jsou.
You' re a born spook, RuthParaCrawl Corpus ParaCrawl Corpus
Pamatujete, když jsem říkal, že kvantifikátory opakují jim předcházející prvek?
Sounds goodParaCrawl Corpus ParaCrawl Corpus
Vyvíjíme software, teorii a algoritmy které umí řešit matematické formule obsahující nelineární rovnice a nerovnice, konjunkce, disjunkce, a logické kvantifikátory.
Lucky that the judge had treasure with him when we got caughtParaCrawl Corpus ParaCrawl Corpus
Jackendoff (1997) považuje determinátory a kvantifikátory za dvě odlišné nezávislé kategorie.
You know, no one says you have to stay hereParaCrawl Corpus ParaCrawl Corpus
Eliminace kvantifikátorů je oblast na pomezí matematiky, logiky a výpočetní techniky.
I need an ammo countParaCrawl Corpus ParaCrawl Corpus
Cílem projektu je prohloubit a rozšířit matematické základy modelování vágních kvantifikátorů pomocí aparátu a metod matematické fuzzy logiky, včetně dvojúrovňové modální logiky, herní sémantiky a metod strojového usuzování.
She always wore a new silk dressParaCrawl Corpus ParaCrawl Corpus
Z tohoto důvodu použijte spíše \K než pozitivní hledání zpět, když máte v zachytávací skupině pozitivního hledání zpět kvantifikátor (nebo ještě hůře několik).
Nothing is in our hands anymoreParaCrawl Corpus ParaCrawl Corpus
Modelování vágních kvantifikátorů v matematické fuzzy logice (2015-2017; GAČR)
This is from " The Guinness Book of World Records "... congratulating me on being " The Female FBI AgentParaCrawl Corpus ParaCrawl Corpus
Psychometrický výzkum časových kvantifikátorů – probíhající studium
just borrowed thisParaCrawl Corpus ParaCrawl Corpus
Jazyk predikátové logiky (predikáty, kvantifikátory, termy, formule) a jeho realizace, pravdivost a splňování formulí.
The fear, the passionParaCrawl Corpus ParaCrawl Corpus
Existenciální kvantifikátor "some" v determinační a pronominální funkci, a jeho překladové koreláty v češtině
You a great guy, TonParaCrawl Corpus ParaCrawl Corpus
prohledávání jednoduché i pokročilé za použití fráze i logických operátorů a kvantifikátorů v několika zdrojích současně,
Professor Crawford...... l spoke here today...... because a friend of mine wasn' t allowed toParaCrawl Corpus ParaCrawl Corpus
Tato bakalářská práce se zabývá strukturou determinantní fráze a morfologickými a syntaktickými vlastnostmi univerzálních kvantifikátorů se zaměřením na distribuční kvantifikátory each a every.
Class valedictorianParaCrawl Corpus ParaCrawl Corpus
Klíčové slovo kvantifikátor - máš správné dojmy?
Right,One more time, and walk aroundParaCrawl Corpus ParaCrawl Corpus
Modelování vágních kvantifikátorů v matematické fuzzy logice
Have you got that?ParaCrawl Corpus ParaCrawl Corpus
Mnoho matematických úloh (kupříkladu řešení rovnic a nerovnic) lze převést do tvaru kvantifikovaných formulí. Eliminace kvantifikátorů je pak cesta k jejich řešení nebo alespoň zjištění, zda jsou vůbec řešitelné.
Now they want to have their cake and eat it toowith protectionism of an industry as my colleague from Swift Current pointed outParaCrawl Corpus ParaCrawl Corpus
Anglická podstatná jména mohou být modifikována determinátory a kvantifikátory.
In view of the expertise acquired with respect to the secure and confidential treatment of electronic reports and messages and the cost of their implementation, such measures shall ensure a level of security appropriate to the risks represented by the processing of reports and messagesParaCrawl Corpus ParaCrawl Corpus
52 sinne gevind in 8 ms. Hulle kom uit baie bronne en word nie nagegaan nie.