- unstratified language
- мат. нерасслоенный язык
Большой англо-русский и русско-английский словарь. 2001.
unstratified language
Смотреть что такое "unstratified language" в других словарях:
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
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
stratified language — noun a language that cannot be used as its own metalanguage • Ant: ↑unstratified language • Hypernyms: ↑programming language, ↑programing language … Useful english dictionary
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
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Western Africa — ▪ region, Africa Introduction region lying south of the Sahara and east and north of the Atlantic Ocean. It is latitudinally divided into two parallel belts of land: the western portion of the Sudan, a geographic area that stretches across… … Universalium
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
Europe, history of — Introduction history of European peoples and cultures from prehistoric times to the present. Europe is a more ambiguous term than most geographic expressions. Its etymology is doubtful, as is the physical extent of the area it designates.… … Universalium
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
