formal semantics oor Hongaars
formal semantics
en
The study of the semantics, or interpretations, of formal languages.
Vertalings in die woordeboek Engels - Hongaars
Logikai szemantika
en
study of the semantics, or interpretations, of formal and natural languages
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Voorbeelde moet herlaai word.
In any event, JCB’s first formal point is purely semantic, and the practices in question fall clearly within the category of ‘very serious’ infringements within the meaning of the Guidelines.
Ismerted Bao Ting- et?EurLex-2 EurLex-2
Currently, we are developing a theory of formal semantics for natural language where the model structures are machines.
A renin nevű enzim gátlása révén az aliszkiren a RAS-t az aktiváció pontján gátolja, megakadályozva az angiotenzinogén átalakulását angiotenzin-I-gyé, és csökkentve az angiotenzin-I és angiotenzin # szintjeitParaCrawl Corpus ParaCrawl Corpus
A TÁRGY NEVE: Formal Semantics
A Bizottság #/EK rendelete (#. július #.) a Szerződés I. mellékletében nem szereplő áruk formájában a Cseh Köztársaságtól, Észtországtól, Magyarországtól, Lettországtól, Litvániától, Szlovákiától és Szlovéniától eltérő harmadik országokba exportált termékek tekintetében a #/EK rendelettől való eltérések megállapításárólParaCrawl Corpus ParaCrawl Corpus
Theoretical problems of formal semantics.
A mechanizmus komponensek és intézkedések sorából áll, beleértve az alábbiakat isParaCrawl Corpus ParaCrawl Corpus
Dr. models with formal semantics
Egyes tételek kimaradtak: nem kell adatot szolgáltatni a repóügyletek és a felmondási idővel felmondható betétek részletezésérőlParaCrawl Corpus ParaCrawl Corpus
Simulation of models with formal semantics
Azt hiszem, minden, ami nálunk volt, amikor elmozdult a sziget, velünk jöttParaCrawl Corpus ParaCrawl Corpus
Formal semantics of modal logics[edit]
Javaslom, uram, előbb az őrmesterrelParaCrawl Corpus ParaCrawl Corpus
Philosophy of language, formal semantics, logic, metaphysics.
A köz- és magánszféra közötti partnerségek (vagy a köz- és magánszektor közötti más együttműködési formák) létrehozása szigorú pénzügyi elkötelezettséget kíván az intézményi befektetők részéről, amely kellőképpen vonzó a magántőke bevonása céljábólParaCrawl Corpus ParaCrawl Corpus
This ensures semantically rigorous designs, preserving identical semantics throughout the chip design flow, which included extensive use of formal verification techniques.
Afganisztánban állomásozott, felfegyverezve és feltankolvaWikiMatrix WikiMatrix
This cost, however, is no cost at all, but rather a possibility for the integration of the anti-psychologist formal semantics and the informal cognitive linguistics.
Beszélünk a hívóval, és kiderítjük, hogy valóban a közelben van- e az elkövetőParaCrawl Corpus ParaCrawl Corpus
On the other hand, formal semantics tends to incorporate the descriptive fields of the traditionally less formal pragmatics and textology (cf. the “ideological basis” of SDRT).
Magáé a választásParaCrawl Corpus ParaCrawl Corpus
My general research interest lies in generative syntax, formal semantics and language acquisition; and I am also involved in a project aimed at developing a computational grammar of Hungarian.
TUDOMÁNYOS TEVÉKENYSÉGEKParaCrawl Corpus ParaCrawl Corpus
She works on topics in formal semantics and pragmatics, such as information structure, quantifier scope, prosody, pragmatic markers and the relations between sentence types and the speech acts expressed by them.
Láttad a komódot a szobádban?ParaCrawl Corpus ParaCrawl Corpus
Third, we investigated what parameters can be used for the description of the meaning of discourse particles, and provided formal semantic/pragmatic descriptions of some Hungarian particles (csak, ugye, -e, vajon, hát) for the first time.
Ez a cirkusz, a félelem és veszély otthonaParaCrawl Corpus ParaCrawl Corpus
It is a cornerstone of formal semantics that interpretation is to form a compositional relation between syntactic units and semantic units; if a given semantic system is fixed, thus, some compatible syntactic structure should be decided.
az #. jegyzőkönyv I–IV. cikke alapján kézhez vett nyilatkozatokParaCrawl Corpus ParaCrawl Corpus
These URIs are formally described by machine-readable URI templates (IETF RFC 6570), using components that carry semantics both from a legal and an end-user point of view.
Most állítjuk össze, az ezévi kor- különszámot...... és csinálhatnád te a #- esekétEurLex-2 EurLex-2
These URIs are formally described by machine-readable URI templates (IETF RFC 6570), using components that carry semantics both from a legal and an end-user point of view.
Középfokú oktatáseurlex-diff-2018-06-20 eurlex-diff-2018-06-20
Third, we investigated what parameters can be used for the description of the meaning of discourse particles, and provided formal semantic/pragmatic descriptions of some Hungarian particles (csak, ugye, -e, vajon, hát) for the first time. Full text
De ahogy hallottam, Santana ölte meg az apád.Nem felejtettem el, hogy a fivérem. Megbosszúltam!ParaCrawl Corpus ParaCrawl Corpus
From syntax to semantics: attribute grammars, two-level grammars. Formal methods: denotational semantics, operational semantics.
tekintettel az Európai Közösségek kiváltságairól és mentességeiről szóló, #. április #-i jegyzőkönyv #. és #. cikkére, valamint az Európai Parlament képviselőinek közvetlen és általános választójog alapján történő választásáról szóló, #. szeptember #-i okmány #. cikkének bekezdéséreParaCrawl Corpus ParaCrawl Corpus
Another result of the work done is a new formal semantic theory that is based on the necessary conditions of the culmination of the event instead of normalcy, and is able to handle the counter-examples to the standard theory.
Csak egy hétvégét adj nekem!ParaCrawl Corpus ParaCrawl Corpus
What are the invertory, the desidetara, the novum, the copy record, the formal and semantic cataloguing mean for a librarian?
mivel ezért e létesítményekből a Közösség területére történő húsbehozatal engedélyezésének határideje #. májusParaCrawl Corpus ParaCrawl Corpus
Modelling state-dependent dynamic behaviour: The formal syntax and semantics of statecharts.
A regionális versenyképesség és foglalkoztatás célkitűzés körébe tartozó svéd régiók számára az ERFA-ból további # millió EUR összegű keret kerül elkülönítésreParaCrawl Corpus ParaCrawl Corpus
An alternative approach is to formalize the language in terms of an analytic grammar in the first place, which more directly corresponds to the structure and semantics of a parser for the language.
Azt akarod mondani, hogy Tara semmit nem jelent neked?WikiMatrix WikiMatrix
Introduction to Semantics, Introduction to Pragmatics, Compositionality, Dynamic Semantics, Formal Methods in Linguistics, Theories of Movement, Syntactic Theories, Mathematical Linguistics, Introduction to Linguistics, Statistics for Linguists, Semantics
Ezért e hitelekre nézve semmilyen jelentősége nincs annak a ténynek, hogy e rendelkezés nem került át a lakásügyi törvénybeParaCrawl Corpus ParaCrawl Corpus
40 sinne gevind in 11 ms. Hulle kom uit baie bronne en word nie nagegaan nie.