FORMALIZED METALOGIC

Англо-русский перевод FORMALIZED METALOGIC

матем. формализованная металогика

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

FORMALIZED METALOGIC — мат. формализованная металогика
Большой Англо-Русский словарь
FORMALIZED METALOGIC — мат. формализованная металогика
Новый большой Англо-Русский словарь
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
FORMALIZED — формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - …
Большой Англо-Русский словарь
FORMALIZED — формализованный completely formalized language ≈ полностью формализованный язык elementary formalized language ≈ элементарный формализованный язык, формализованный язык первого порядка - …
Новый большой Англо-Русский словарь
METALOGIC — Study of the syntax and the semantics of formal languages and It is related to, but does not include, the …
Английский словарь Британика
METALOGIC — |med. ə l|äjik, -d.ə|lä- noun Etymology: Medieval Latin Metalogicus, title of a work on logic by John of Salisbury died …
Webster's New International English Dictionary
FORMALIZED — (imp. & p. p.) of Formalize
Английский словарь Webster
FORMALIZED — ( imp. & p. p. ) of Formalize
Webster's Revised Unabridged English Dictionary
METALOGIC — /met"euh loj'ik/ , n. the logical analysis of the fundamental concepts of logic. [ 1835-45; META- + LOGIC ]
Random House Webster's Unabridged English Dictionary
FORMALIZED — impf & ·p.p. of formalize.
Webster English vocab
METALOGIC — Study of the syntax and the semantics of formal languages and formal systems . It is related to, but does …
Britannica Concise Encyclopedia
METALOGIC — металогика
Большой Англо-Русский словарь
METALOGIC — Металогика
Американский Англо-Русский словарь
FORMALIZED — Формализованный
Американский Англо-Русский словарь
FORMALIZED — Формализован
Американский Англо-Русский словарь
FORMALIZED — Оформленный
Американский Англо-Русский словарь
FORMALIZED — Оформлен
Американский Англо-Русский словарь
METALOGIC — n металогика
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMALIZED — формализованный
Англо-Русский научно-технический словарь
METALOGIC — (n) металогика
English-Russian Lingvistica'98 dictionary
FORMALIZED — (a) формализованный
English-Russian Lingvistica'98 dictionary
METALOGIC — n металогика
Новый большой Англо-Русский словарь - Апресян, Медникова
METALOGIC — n металогика
Большой новый Англо-Русский словарь
FORMALIZED — = formal
Англо-Русский словарь по машиностроению и автоматизации производства 2
FORMALIZED — - formal
Англо-Русский словарь по машиностроению и автоматизации производства
FORMALIZED — архит. стилизованный
Англо-Русский словарь по строительству и новым строительным технологиям
METALOGIC — металогика
Новый большой Англо-Русский словарь
METATHEORY — a theory the subject matter of which is another theory. A finding proved in the former that deals with the …
Britannica English vocabulary
SYMBOLIC LOGIC — noun Date: 1856 a science of developing and representing logical principles by means of a formalized system consisting of primitive …
Толковый словарь английского языка - Merriam Webster
TRIBE — I (Greek, phylai ; Roman, tribus ) In ancient Greece and Rome, any of a group of political and demographic …
Английский словарь Британика
TAE KWON DO — Korean martial art resembling karate . It is characterized by the use of high standing and jump kicks as well …
Английский словарь Британика
SAUSSURE, FERDINAND DE — born Nov. 26, 1857, Geneva, Switz. died Feb. 22, 1913, Geneva Swiss linguist. Though his only written work appeared while …
Английский словарь Британика
PROCLAMATION OF 1763 — Proclamation by Britain at the end of the French and Indian War that prohibited settlement by whites on Indian territory. …
Английский словарь Британика
MOTHER'S DAY AND FATHER'S DAY — Holidays. In the U.S. a nationwide observance of Mother's Day was suggested by Anna Jarvis of Grafton, W.Va., and in …
Английский словарь Британика
MALDIVES — officially Republic of Maldives Archipelago country, in the Indian Ocean southwest of Sri Lanka. It is a chain of about …
Английский словарь Британика
LOUIS I — I known as Louis the Pious born April 16, 778, Chasseneuil, near Poitiers, Aquitaine died June 20, 840, Petersau, an …
Английский словарь Британика
INSURANCE — I Contract that, by redistributing risk among a large number of people, reduces losses from accidents incurred by an individual. …
Английский словарь Британика
METALOGICAL — -jə̇kəl adjective 1. a. : of or relating to metalogic metalogical investigations b. : syntactical 2. : passing beyond the …
Webster's New International English Dictionary
SYMBOL — a communication element intended to simply represent or stand for a complex of person, object, group, or idea. Symbols may …
Britannica English vocabulary
RECURSIVE FUNCTION — in logic and mathematics, a type of function or expression predicating some concept or property of one or more variables, …
Britannica English vocabulary
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
GEOCHRONOLOGY — scientific study concerned with the sequence of geologic events in the history of the Earth. Geologic history provides a conceptual …
Britannica English vocabulary
FORMAL SYSTEM — also called logistic system in logic and mathematics, abstract, theoretical organization of terms and implicit relationships that is used as …
Britannica English vocabulary
FORMALIZE — ( formalizes, formalizing, formalized) Note: in BRIT, also use 'formalise' If you formalize a plan, idea, arrangement, or system, you …
Collins COBUILD Advanced Learner's English Dictionary
SANCTION — I. noun COLLOCATIONS FROM OTHER ENTRIES economic sanctions (= laws that stop trade with another country, as a way of …
Longman DOCE5 Extras English vocabulary
FORMALIZE — verb EXAMPLES FROM OTHER ENTRIES ▪ a charter to formalize patients' rights in public health services ▪ Most measures to …
Longman DOCE5 Extras English vocabulary
CONSULTATION — noun COLLOCATIONS FROM CORPUS ■ ADJECTIVE available ▪ She says the files she looked at weren't confidential and were freely …
Longman DOCE5 Extras English vocabulary
LANGUAGE — язык absolutely adequate language — абсолютно адекватный язык absolutely homogeneous language — абсолютно однородный язык absolutely inadequate language — абсолютно неадекватный язык absolutely nonhomogeneous …
Англо-Русский научно-технический словарь
ФОРМАЛИЗОВАННЫЙ — formalized formalized
Большой Русско-Английский словарь
ФОРМАЛИЗОВАННАЯ МЕТАЛОГИКА — мат. formalized metalogic
Большой Русско-Английский словарь

Англо-Русский научно-технический словарь

← FORMALIZED LANGUAGE FORMALIZED MODEL→