-
1 formalize language
Большой англо-русский и русско-английский словарь > formalize language
-
2 formalize language
-
3 language
язык
– algebraic language
– algorithmic language
– assembler language
– code language
– computer-oriented language
– data-base language
– extensible language
– formalize language
– in everyday language
– information language
– input language
– job control language
– machine language
– mathematical language
– number language
– object language
– plex language
– program language
– programming language
– reference language
– typed language
– underlying language
autocovariance assembly language — <math.> автоковариация
information retrieval language — информационно-поисковый язык
-
4 formalize
-
5 formalize a language
Макаров: формализовать язык -
6 формализовать язык
Большой англо-русский и русско-английский словарь > формализовать язык
См. также в других словарях:
language, philosophy of — Philosophical study of the nature and use of natural languages and the relations between language, language users, and the world. It encompasses the philosophical study of linguistic meaning (see semantics), the philosophical study of language… … Universalium
Java (programming language) — infobox programming language name = Java paradigm = Object oriented, structured, imperative year = 1995 designer = Sun Microsystems latest release version = Java Standard Edition 6 (1.6.0) latest release date = latest test version = latest test… … Wikipedia
French Language Services Act — The French Language Services Act is a law in the province of Ontario, Canada which is intended to protect the rights of Franco Ontarians, or French speaking people, in the province.The Act does not give the French language full official language… … Wikipedia
SPARK (programming language) — infobox programming language name = SPARK influenced by = Ada, HAL/SSPARK is a formally defined computer programming language based on the Ada programming language, intended to be secure and to support the development of high integrity software… … Wikipedia
Keyhole Markup Language — Infobox file format name = Keyhole Markup Language extension = .kml, .kmz mime = application/vnd.google earth.kml+xml, application/vnd.google earth.kmz owner = Keyhole, Inc., Google creatorcode = genre = Geographic Information System container… … Wikipedia
Leaf language — In computational complexity theory, a leaf language is a method of characterizing a complexity class by formalizing what it means for a machine to accept an input.Several complexity classes are typically defined in terms of a polynomial time… … Wikipedia
Europanto — language name=Europanto creator=Diego Marani date=1996 setting=European Union administration fam1=constructed languages fam2=int. auxiliary languages iso2=art|iso3=eurEuropanto is a linguistic jest presented as a constructed language with a hodge … Wikipedia
Semantics of Business Vocabulary and Business Rules — The Semantics of Business Vocabulary and Business Rules (SBVR) is an adopted standard of the Object Management Group (OMG) intended to be the basis for a formal and detailed natural language declarative description of a complex entity, such as a… … Wikipedia
NooJ — logo URL http://www.nooj4nlp.net/ Type of site … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia