- stratified language
- стратифицированный язык
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
stratified language — noun a language that cannot be used as its own metalanguage • Ant: ↑unstratified language • Hypernyms: ↑programming language, ↑programing language … Useful english dictionary
language — /lang gwij/, n. 1. a body of words and the systems for their use common to a people who are of the same community or nation, the same geographical area, or the same cultural tradition: the two languages of Belgium; a Bantu language; the French… … Universalium
programming language — noun (computer science) a language designed for programming computers • Syn: ↑programing language • Topics: ↑computer science, ↑computing • Hypernyms: ↑artificial language … Useful english dictionary
programing language — noun (computer science) a language designed for programming computers • Syn: ↑programming language • Topics: ↑computer science, ↑computing • Hypernyms: ↑artificial language … Useful english dictionary
unstratified language — noun a programming language that (like natural language) can be used as its own metalanguage • Ant: ↑stratified language • Hypernyms: ↑programming language, ↑programing language … Useful english dictionary
Kawi language — language name=Kawi nativename=Bhāṣa Kawi, Old Javanese states=Java, Bali, Madura, Lombok, Indonesia; Philippines region=Malay Archipelago extinct=literary language, archaic by 14th century familycolor=Austronesian fam2=Malayo Polynesian… … Wikipedia
Korean language — This article is about the spoken Korean language. For details of the native Korean writing system, see Hangul. Korean 한국어, 조선말 Hangugeo, Chosŏnmal … Wikipedia
Kikongo-Kituba — ▪ language also called Kikongo ya Leta or Kileta (“the state s Kikongo”), Kikongo ya bula matari or Kibula matari (“the stone breaker s speech”), Ikele ve (“be not,” in the infinitive), Mono kutuba (“I say”), or (by linguists) Kituba … … Universalium
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
Asia — /ay zheuh, ay sheuh/, n. a continent bounded by Europe and the Arctic, Pacific, and Indian oceans. 2,896,700,000; ab. 16,000,000 sq. mi. (41,440,000 sq. km). * * * I Largest continent on Earth. It is bounded by the Arctic Ocean, the Pacific Ocean … Universalium
Stratification (mathematics) — Stratification has several usages in mathematics. In mathematical logic In mathematical logic, stratification is any consistent assignment of numbers to predicate symbols guaranteeing that a unique formal interpretationof a logical theory exists … Wikipedia