Elsőrendű nyelv oor Engels
Elsőrendű nyelv
Vertalings in die woordeboek Hongaars - Engels
first-order logic
en
collection of formal systems used in mathematics, philosophy, linguistics, and computer science
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
A valószínűség és az elsőrendű nyelvek közötti kapcsolatot Carnap tanulmányozta (Carnap, 1950).
for my children' s sakeLiterature Literature
Ugyanezen okból, a korlátos könyvvastagságú gráfokon annak vizsgálata, hogy a gráfra igaz-e egy elsőrendű nyelven megfogalmazott formula, rögzített paraméter mellett kezelhető.
The category of the content is referred to at the end .WikiMatrix WikiMatrix
Ez Kurt Gödel kompaktsági tételének speciális esete, mely szerint egy elsőrendű nyelv kifejezéseinek halmazához akkor és csak akkor tartozik modell, ha minden véges részhalmazához tartozik modell.
As I walk along the Bois de Boulogne With an independent airWikiMatrix WikiMatrix
Tekintsünk egy L elsőrendű formális nyelvet.
Her boyfriend' s a drug dealerWikiMatrix WikiMatrix
Ezért közvetlenül kapcsolódik a 14. fejezetben említett elsőrendű valószínűségi nyelvekhez.
Did you get the horse shod?Literature Literature
Első kilenc regényét oroszul írta, de a nemzetközi elismerést, mint elsőrendű prózaíró, angol nyelven írt műveivel nyerte el.
Tegalus... post- apocalyptic warring superpowers with deep- seated political difference, that Jared KaneWikiMatrix WikiMatrix
A nyelvek a kommunikáció elsőrendű eszközei: több nyelv ismerete új kultúrák ajtaját tárja ki, és elősegíti a kultúrák közti megértést mind Európán belül, mind pedig a világ más részein.
She looked at me sadly and said, " He was run over by a van...... on April #, #, as we were about to cross the streetEurLex-2 EurLex-2
Ha az egységesítési programban nem következik be további késedelem, elsőrendű, hogy az acquis új nyelvekre történő lefordítása tovább haladjon, akár megduplázódjon.
Children and adolescents There are no data available on the use of nateglinide in patients under # years of age, and therefore its use in this age group is not recommendedEurLex-2 EurLex-2
A formális nyelvek, mint például az elsőrendű logika vagy a Java, szigorú matematikai definíciókkal rendelkeznek.
Report on the Renewed Social Agenda [#/#(INI)]- Committee on Employment and Social AffairsLiterature Literature
mivel az összes nyelv, a kultúrához való hozzáférés elsőrendű eszközeként, sajátságos módját adja a valóság értelmezésének és leírásának, biztosítani kell számukra a fejlődéshez szükséges feltételeket
Tin dichlorideoj4 oj4
mivel az összes nyelv, a kultúrához való hozzáférés elsőrendű eszközeként, sajátságos módját adja a valóság értelmezésének és leírásának, biztosítani kell számukra a fejlődéshez szükséges feltételeket,
Computer' s going to the F. B. I. You can follow it outnot-set not-set
mivel az összes nyelv, a kultúrához való hozzáférés elsőrendű eszközeként, sajátságos módját adja a valóság értelmezésének és leírásának, biztosítani kell számukra a fejlődéshez szükséges feltételeket;
You' re absolutely insaneEurLex-2 EurLex-2
I. mivel az összes nyelv, a kultúrához való hozzáférés elsőrendű eszközeként, sajátságos módját adja a valóság értelmezésének és leírásának, biztosítani kell számukra a fejlődéshez szükséges feltételeket;
They fight different than we do tooEurLex-2 EurLex-2
Az elsőrendű logika a matematikai logikának az elsőrendű nyelvekkel foglalkozó ága.
Good, you' re backParaCrawl Corpus ParaCrawl Corpus
Az elsőrendű nyelv[szerkesztés]
This house needs a woman... but you never listen to meParaCrawl Corpus ParaCrawl Corpus
A definíciót az ún. elsőrendű nyelvekre adjuk meg.
You know, uh, the one thing I remember most about Dad was the back of his headParaCrawl Corpus ParaCrawl Corpus
Még egyszer kiemelném: a regényben mindez elsőrendűen nyelvi eszközökkel történik.
Say, Harry, something kind of important has come upParaCrawl Corpus ParaCrawl Corpus
Ez a nyelv szoros kapcsolatban áll a 7. és 10. fejezetben szereplő ítéletlogikai, illetve elsőrendű leírásokkal.
I hope you' il take care of me when I' m in TokyoLiterature Literature
A JavaScript (JS) egy kis erőforrás-igényű, értelmezett vagy JIT-fordított programozási nyelv elsőrendű függvényekkel.
He didn' t say it was a hammerParaCrawl Corpus ParaCrawl Corpus
A JavaScript (JS) egy kis erőforrás-igényű, értelmezett vagy JIT-fordított programozási nyelv elsőrendű függvényekkel.
Make up to volume with water. MixParaCrawl Corpus ParaCrawl Corpus
2013-2014 tavasz: Elsőrendű modális logika (angol nyelven)
Just leave me in the middle of a song!ParaCrawl Corpus ParaCrawl Corpus
A tanulmány a modern logika nyelvén fogalmazza meg a létezés paradoxont, amely a létezéspredikátum elsőrendű predikátumként való kezeléséből adódik.
I' m taking a statement on him right nowParaCrawl Corpus ParaCrawl Corpus
A projekt arra tesz kísérletet, hogy a hazai kutatásokban elsőrendűen magyar nyelvű forrásokra alapozott, történettudományi szempontból földolgozott részeredményeket ütköztesse a Monarchia különböző régióinak német nyelvű sajtójában és szépirodalmában artikulálódó tértapasztalatokkal, és rákérdezzen a regionális központok kölcsönviszonyára, konkurenciájára, a német nyelv egységesítő és diverzifikáló szerepére, a belső egzotikum alakváltozataira, valamint a kulturális turizmus és a belső migráció kultúrpolitikai vonzataira.
But as Faye Dunaway, I think it was, she said... with " Bonnie And Clyde ", she tried to give people what they wantedParaCrawl Corpus ParaCrawl Corpus
23 sinne gevind in 17 ms. Hulle kom uit baie bronne en word nie nagegaan nie.