| slovo | definícia |
metalanguage
(encz) | metalanguage,metajazyk n: Zdeněk Brož |
metalanguage
(gcide) | metalanguage \metalanguage\ n.
Any language that can be used to describe another language or
system of symbols.
[WordNet 1.5] |
metalanguage
(wn) | metalanguage
n 1: a language that can be used to describe languages |
metalanguage
(foldoc) | metalanguage
1. [theorem proving] A language in which proofs are
manipulated and tactics are programmed, as opposed to the
logic itself (the "object language"). The first ML was
the metalanguage for the Edinburgh LCF proof assistant.
2. [logic] A language in which to discuss the truth of
statements in another language.
|
| |
Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.
na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.
online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4