predikáty oor Engels
predikáty
Vertalings in die woordeboek Tsjeggies - Engels
predicates
Použil jsem smyslové predikáty a klíčová slova, abych pronikl do jeho podvědomí.
I used sensory predicates and key words to tap into his unconscious mind.
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
Některé jazyky stavějící na predikátové logice prvního řádu, např. SMT-LIB 2.0, toto dovolují.
It' s getting more and more urgent that we talkWikiMatrix WikiMatrix
Predikát používali podle vsi Tvorkov.
I guessed it was youWikiMatrix WikiMatrix
Přesněji, existuje jeden jazyk predikátové logiky 1. řádu pro jednotlivé varianty: s nebo bez rovnosti, s nebo bez funkcí, s nebo bez výrokových proměnných, etc.
You seem to be a damn good- shot!WikiMatrix WikiMatrix
Termy a formule predikátové logiky jsou řetězce symbolů, jež společně tvoří abecedu jazyka.
Should the measures not be maintained, it is likely that the Community industry will start again to suffer injury from increased imports at subsidised prices from the country concerned and that its currently fragile financial situation will deteriorateWikiMatrix WikiMatrix
V projednávané věci se naopak zdá, že Kreisgericht Worbis nebyl příslušný podle německého ani rakouského práva k tomu, aby určil příjmení navrhovatelky takovým způsobem, jakým to učinil, protože příjmení, které určil, bylo podle rakouského práva, které bylo hmotným právem určeným německým i rakouskými kolizními normami, ve dvou ohledech nepřípustné (zahrnutí dřívějšího šlechtického titulu s predikátem „von“ a použití ženského tvaru).
I' m not a false prophet...- Help me! Help me!... you sniveling boy!EurLex-2 EurLex-2
Proto jsou deterministické koncově-rekurzivní predikáty vykonány s konstantním zásobníkovým prostorem jako smyčky v jiných jazycích.
Gentlemen, I have two words for youWikiMatrix WikiMatrix
Mluví o predikátech a důvodný příčině.
Oh, fucking hell!OpenSubtitles2018.v3 OpenSubtitles2018.v3
Předávání a udělování cen, prémií, titulů a predikátů v rámci soutěží, kongresů, seminářů a pracovních setkání
I know that the idea... of taking a breath without pain sounds like heaven... and when you' re dead, you don' t breathe... sotmClass tmClass
CommonDivisor predikát říká, že jestliže čísla i a j nejsou nula, pak d je jejich společným dělitelem za podmínky, že leží v intervalu mezi 1 a menším číslem z čísel i a j, a že i a j dělí celočíselně.
That one' s inWikiMatrix WikiMatrix
Řada výzkumů rozšířila logické programování o vlastnosti programování vyšších řádů odvozených z logiky vyšších řádů, jakými jsou například predikátové proměnné.
Wastes which contain any of the constituents listed in Annex # and having any of the properties listed in Annex # and consisting ofWikiMatrix WikiMatrix
Je to běžná predikátová logika.
She was there when it happenedOpenSubtitles2018.v3 OpenSubtitles2018.v3
První doložená zmínka o vsi Číhošť pochází z roku 1347, kdy se zde připomíná Ctibor s predikátem z Číhoště prodavší 3 lány a hospodu v Tupadlech křížovnickému klášteru v Drobovicích.
M. Hotel- Balgo beach resortWikiMatrix WikiMatrix
Syntax určuje, jaké kolekce (posloupnosti) symbolů jsou legální výrazy predikátové logiky, zatímco sémantika hovoří o významu za těmito výrazy.
Have you heard of the cats of Candia?WikiMatrix WikiMatrix
Programy sestavené z Hornovských klauzulí reprezentují pouze změnu stavu způsobenou změnou v argumentech vzhledem k predikátům.
Gas- company employeeWikiMatrix WikiMatrix
Existuje velké množství deduktivních systémů pro predikátovou logiku prvního řádu, které jsou korektní (všechna dokazatelná tvrzení jsou pravdivá) a úplné (všechna pravdivá tvrzení jsou dokazatelná).
He travels to pray for men like youWikiMatrix WikiMatrix
Profesor Haenchen překládá Jana 1:1c takto: „A božský (božského druhu) byl to Slovo.“ Dále říká: „V tomto případě je sloveso ‚byl‘ ([en]) jednoduše predikátem.
IEC #-# Basic environmental testing procedures-Test methods-Test Fc and guidancejw2019 jw2019
"O nějakém ""subj ektu"" se ""vypovídá"" nějaký ""predikát"", onen je tímto určen."
Directive #/#/EC of the European Parliament and of the Council of # June # on the approximation of the laws, regulations and administrative provisions of the Member States relating to recreational craft, as amended by Directive #/#/EC of the European Parliament and of the Council of # June #, does not preclude national regulations which, for reasons relating to the protection of the environment, prohibit the use of personal watercraft on waters other than designated waterwaysLiterature Literature
V této koncepci je tedy pojem kvantity identíñkován s kvantitativními pojmy, s metrickými predikáty.
When you dance, I' il sleepLiterature Literature
Některé implementace používají abstraktní interpretaci k odvození informace o typu a módu predikátů v době kompilace nebo kompilují do skutečného strojového kódu pro vysokou výkonnost.
No, Justice Strauss, you don' t understandWikiMatrix WikiMatrix
Na rozdíl od přirozených jazyků, jako Čeština, je jazyk predikátové logiky prvního řádu zcela formální, tedy můžeme zcela mechanicky určit, zda je daný výraz legálně utvořen.
What is this?WikiMatrix WikiMatrix
Pokud je „Fürstin von Sayn-Wittgenstein“ v německém právu kompletní příjmení, které neobsahuje šlechtický titul nebo predikát, a je tak srovnatelné s příjmením jako „Fürstmann“ nebo „Vonwald“ (obě se vyskytují v německých a rakouských telefonních seznamech), jak je pak možné říci, že jedna jeho část (Sayn-Wittgenstein) je ústředním identifikujícím prvkem jména, zatímco druhá (Fürstin von) je pouze nedefinujícím doplňkem?
That bitch is setting me upEurLex-2 EurLex-2
Prolog obyčejně implementuje známou optimalizační metodu zvanou optimalizace koncového volání (tail call optimization (TCO)) pro deterministické predikáty vykazující koncovou rekurzi nebo, obecněji, koncové volání: Rámec zásobníku patřící klauzuli je zahozen před vykonáním volání v koncové pozici.
come on. don' t be like that. i' m paying you a complimentWikiMatrix WikiMatrix
Například P(x) je predikát s valencí 1.
I remember when I was a little boy, I asked Mr. Dubois the same thingWikiMatrix WikiMatrix
Pravidla tvorby definují termy a formule pro predikátovou logiku prvního řádu.
Never againWikiMatrix 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.
Maybe an astrological sign?WikiMatrix WikiMatrix
205 sinne gevind in 5 ms. Hulle kom uit baie bronne en word nie nagegaan nie.