predikátový oor Engels
predikátový
Vertalings in die woordeboek Tsjeggies - Engels
predicate
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í.
I forgot, the cop is deadWikiMatrix WikiMatrix
Predikát používali podle vsi Tvorkov.
You' ve been seeing me for over two yearsWikiMatrix 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.
Since its inception, we produced twelve half-hours and one one-hour documentary." – Albert Karvonen, President, Karvonen Films Ltd.WikiMatrix WikiMatrix
Termy a formule predikátové logiky jsou řetězce symbolů, jež společně tvoří abecedu jazyka.
It was just a harmless flirtation, and then he lost his headWikiMatrix 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' d like them to come in and see meEurLex-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.
I' m all right.Besides, Bieler' s paying me extra ' cause it' s such short noticeWikiMatrix WikiMatrix
Mluví o predikátech a důvodný příčině.
I' m ready nowOpenSubtitles2018.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í
It' s getting more and more urgent that we talktmClass 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ě.
Clause # sets workers' rates of pay for the new agreementWikiMatrix 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é.
Daddy, are we there yet?WikiMatrix WikiMatrix
Je to běžná predikátová logika.
We' il just goOpenSubtitles2018.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.
We' il find someone.And he won' t be wearing a RolexWikiMatrix 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.
Compare that with the telephonic technicianThat worked for a company paraestatal Almost all his life He saved money monthlyWikiMatrix WikiMatrix
Programy sestavené z Hornovských klauzulí reprezentují pouze změnu stavu způsobenou změnou v argumentech vzhledem k predikátům.
The jugularWikiMatrix 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á).
For the # marketing year, the amount to be withheld from the aid for flax for the financing of the measures promoting the use of flax fibre shall be fixed at EUR # per hectareWikiMatrix 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.
COM in olive oil and table olives * (votejw2019 jw2019
"O nějakém ""subj ektu"" se ""vypovídá"" nějaký ""predikát"", onen je tímto určen."
But these things are not advancing either in whole or in part.Literature Literature
V této koncepci je tedy pojem kvantity identíñkován s kvantitativními pojmy, s metrickými predikáty.
As you can tell, we are over our advertising budget for the monthLiterature 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.
You have two daughters, don' t you, Dr. Lowry?WikiMatrix 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.
If you respond to this, you' re not the kind of woman I' d go out withWikiMatrix 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?
Massive' s heard of the crew you with.There' s business to be doneEurLex-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.
Hey, not coolWikiMatrix WikiMatrix
Například P(x) je predikát s valencí 1.
Your boyfriend called againWikiMatrix WikiMatrix
Pravidla tvorby definují termy a formule pro predikátovou logiku prvního řádu.
My music must be powerfulWikiMatrix 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.
Pleased to meet youWikiMatrix WikiMatrix
205 sinne gevind in 6 ms. Hulle kom uit baie bronne en word nie nagegaan nie.