- sublanguages
- Подмножества
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Decidable sublanguages of set theory — In mathematical logic, various sublanguages of set theory are decidable.[1][2] These include: Sets with Monotone, Additive, and Multiplicative Functions.[3] Sets with restricted quantifiers.[4] References ^ Cantone, D., E. G … Wikipedia
Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A … Wikipedia
Zellig Harris — Zellig Sabbetai Harris (October 23, 1909 May 22, 1992) was an American linguist, mathematical syntactician, and methodologist of science. Originally a Semiticist, he is best known for his work in structural linguistics and discourse analysis and… … Wikipedia
List of important publications in computer science — This is a list of important publications in computer science, organized by field. Some reasons why a particular publication might be regarded as important: Topic creator – A publication that created a new topic Breakthrough – A publication that… … Wikipedia
ALGOL — This article is about the programming language family. For other uses, see Algol (disambiguation). ALGOL Paradigm(s) procedural, imperative, structured Appeared in 1958 Designed by Bauer, Bottenbruch, Rutishauser, Samelson, Backus, Katz, Perlis … Wikipedia
REBOL — Infobox programming language name = REBOL paradigm = multi paradigm year = 1997 designer = Carl Sassenrath developer = REBOL Technologies latest release version = Core 2.7.6, View 2.7.6 latest release date = March, 2008 typing = dynamic, strong… … Wikipedia
Sublanguage — In Natural Language= In Informatics, natural language processing, and machine translation, a sublanguage is the language of a restricted domain, particularly a technical domain. In mathematical terms, a subset of the sentences of a language forms … Wikipedia
Zazaki language — Zazaki Spoken in Turkey Region Main in Tunceli, Bingol, Erzincan, Sivas, Elazig, Malatya Gümüşhane Province, Şanlıurfa Province, and Adıyaman Province, diasporic in Mutki, Sarız, Aksaray, and … Wikipedia
Decidability (logic) — In logic, the term decidable refers to the decision problem, the question of the existence of an effective method for determining membership in a set of formulas. Logical systems such as propositional logic are decidable if membership in their… … Wikipedia
Discourse analysis — Sociolinguistics Areas of study Accent · Dialect Discourse analysis Language v … Wikipedia
BookWorld — The BookWorld is a fictitious and complex environment that acts as a behind the scenes area of books. The BookWorld was created by Jasper Fforde in his Thursday Next series.CreationThe BookWorld is most likely created by what is known as the… … Wikipedia