predikát oor Engels
predikát
Vertalings in die woordeboek Tsjeggies - Engels
predicate
en
logic
predicate (in logic, statement that may be true or false depending on the values of its variables)
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í.
Why do you think?WikiMatrix WikiMatrix
Predikát používali podle vsi Tvorkov.
In fact, our tax relief package would deliver over $# billion in tax relief to Atlantic Canada every yearWikiMatrix 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.
Accordingly, the Commission shall report to the European Securities Committee and the European Parliament before # April # on the timetable envisaged by national accounting authorities of Canada, Japan and the United States for the convergenceWikiMatrix WikiMatrix
Termy a formule predikátové logiky jsou řetězce symbolů, jež společně tvoří abecedu jazyka.
It' s pretty wildWikiMatrix 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).
[ Prisoners Shouting ][ Man ]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.
An artificial quarrel is not a quarrelWikiMatrix WikiMatrix
Mluví o predikátech a důvodný příčině.
Say, Harry, something kind of important has come upOpenSubtitles2018.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í
Under these circumstances, it was found that the company had not demonstrated that its business decisions and costs were made in response to market conditions, and without significant state interferencetmClass 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ě.
I saw many important changes being proposed, but I also identified two items which caused me grave concernWikiMatrix 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é.
Even the regulation says itWikiMatrix WikiMatrix
Je to běžná predikátová logika.
So we' re not looking for an assassin posing as a thrill- seekerOpenSubtitles2018.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.
They gave you away when I shot that copWikiMatrix 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.
» Christmas is here. «WikiMatrix WikiMatrix
Programy sestavené z Hornovských klauzulí reprezentují pouze změnu stavu způsobenou změnou v argumentech vzhledem k predikátům.
it's on the seventh dayWikiMatrix 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á).
What games are you good at?WikiMatrix 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.
She left a while back, buddyjw2019 jw2019
"O nějakém ""subj ektu"" se ""vypovídá"" nějaký ""predikát"", onen je tímto určen."
[ Growls ]- [ Yells ] HereLiterature Literature
V této koncepci je tedy pojem kvantity identíñkován s kvantitativními pojmy, s metrickými predikáty.
Suspension spring buckleLiterature 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.
Do you think she' s in it with him?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.
Both tariffs and royalties account for many business transactions every day.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?
I didn' t try that till I wasEurLex-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.
I' ve no idea who you are, but...... please don' t meddle in our businessWikiMatrix WikiMatrix
Například P(x) je predikát s valencí 1.
There' s no need for anyone to dieWikiMatrix WikiMatrix
Pravidla tvorby definují termy a formule pro predikátovou logiku prvního řádu.
They' re done checking the houseWikiMatrix 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 she' s not homeWikiMatrix WikiMatrix
203 sinne gevind in 7 ms. Hulle kom uit baie bronne en word nie nagegaan nie.