METAMATHEMATICAL PREDICATE

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

мат. метаматематический предикат

Big English-Russian dictionary . Большой Англо-Русский словарь. 2012

METAMATHEMATICAL PREDICATE — матем. метаматематический предикат
Англо-Русский научно-технический словарь
METAMATHEMATICAL PREDICATE — мат. метаматематический предикат
Новый большой Англо-Русский словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
PREDICATE — v. asserter, afirmar; n. ~
English interlingue dictionary
PREDICATE — I. noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. something that is …
Толковый словарь английского языка - Merriam Webster
METAMATHEMATICAL — adjective see: metamathematics
Толковый словарь английского языка - Merriam Webster
PREDICATE — I. ˈpredə̇kə̇]t, -dēk- sometimes -dəˌkā]; usu ]d.+V noun ( -s ) Etymology: Late Latin praedicatum, from neuter of praedicatus, past …
Webster's New International English Dictionary
METAMATHEMATICAL — | ̷ ̷ ̷ ̷ at meta- + adjective Etymology: meta- + mathematical : of or relating to metamathematics
Webster's New International English Dictionary
PREDICATE — (a.) Predicated.
Английский словарь Webster
PREDICATE — (v. t.) The word or words in a proposition which express what is affirmed of the subject.
Английский словарь Webster
PREDICATE — (v. t.) That which is affirmed or denied of the subject. In these propositions, "Paper is white," "Ink is not …
Английский словарь Webster
PREDICATE — (v. i.) To affirm something of another thing; to make an affirmation.
Английский словарь Webster
PREDICATE — (v. t.) To found; to base.
Английский словарь Webster
PREDICATE — (v. t.) To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness of snow.
Английский словарь Webster
PREDICATE — ( v. t. ) To found; to base.
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) To assert to belong to something; to affirm (one thing of another); as, to predicate whiteness …
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) The word or words in a proposition which express what is affirmed of the subject.
Webster's Revised Unabridged English Dictionary
PREDICATE — ( v. t. ) That which is affirmed or denied of the subject. In these propositions, "Paper is white," "Ink …
Webster's Revised Unabridged English Dictionary
PREDICATE — — predication , n. — predicational , adj. — predicative /pred"i kay'tiv, -keuh-/ ; Brit. /pri dik"euh tiv/ , adj. …
Random House Webster's Unabridged English Dictionary
METAMATHEMATICAL — see metamathematics
Merriam-Webster's Collegiate English vocabulary
PREDICATE — I. ˈpre-di-kət noun Etymology: Middle English, from Late Latin praedicatum, from neuter of praedicatus Date: 15th century 1. a. : …
Merriam-Webster's Collegiate English vocabulary
PREDICATE — adj predicated. 2. predicate ·vt to found; to base. 3. predicate ·vt the word or words in a proposition which …
Webster English vocab
PREDICATE — [pred.i.cate] n [ME, fr. LL praedicatum, fr. neut. of praedicatus] (15c) 1 a: something that is affirmed or denied of …
Merriam-Webster English vocab
PREDICATE — I predi|cate verb BrE AmE ˈpred ɪ |keɪt ▷ predi|cated keɪt ɪd -əd AmE keɪt̬ əd ▷ predi|cates keɪts ▷ …
Longman Pronunciation English Dictionary
PREDICATE — noun , verb ■ noun / ˈpredɪkət; NAmE / ( grammar ) a part of a sentence containing a verb …
Oxford Advanced Learner's English Dictionary
PREDICATE — The noun is pronounced /predɪkət/. The verb is pronounced /predɪkeɪt/. ( predicated) 1. In some systems of grammar, the predicate …
Collins COBUILD Advanced Learner's English Dictionary
PREDICATE — I. noun EXAMPLES FROM CORPUS ▪ A state of the blocks world is portrayed as an assertion, formed with predicate …
Longman DOCE5 Extras English vocabulary
PREDICATE — (SENTENCE PART) [noun] [C] [specialized] - (in grammar) the part of a sentence which gives information about the subjectIn the …
Cambridge English vocab
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - …
Большой Англо-Русский словарь
PREDICATE — predicate.ogg 1. ʹpredıkıt n 1> грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - metamathematical polynomial - metamathematical predicate - metamathematical statement - metamathematical …
Англо-Русский научно-технический словарь
PREDICATE — 1. сущ.1) грам. предикат, сказуемое Gram: Predicate 2) логика утверждение 2. predicate гл.1) утверждать тж. логика ( of, about) Syn:affirm, …
Англо-Русский словарь Tiger
PREDICATE — 1. ʹpredıkıt n 1) грам. , лог. предикат, сказуемое 2> лог. утверждение 2. ʹpredıkıt a предикативный predicate noun adjective - …
Большой новый Англо-Русский словарь
PREDICATE — 1. ˈpredɪkɪt сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ˈpredɪkeɪt гл. 1) утверждать тж. лог. ( …
Англо-Русский словарь по общей лексике
PREDICATE — 1. ['ЈЇў¬Ў°Ў«] сущ. 1) лингв. предикат, сказуемое Gram: Predicate 2) лог. утверждение 2. ['ЈЇў¬Ў°ўЎ«] predicate.wav гл. 1) утверждать тж. лог. (of, about) Syn: affirm, declare 2) амер. основывать (утверждение и т. …
Англо-Русский словарь общей лексики
PREDICATE — предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
Англо-Русский словарь по вычислительной технике и программированию
PREDICATE — предикат - decidable predicate - primitive one-place predicate - rhetorical predicate - sameness predicate - unsolvable predicate
Англо-Русский словарь компьютерных терминов
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Новый большой Англо-Русский словарь
METAMATHEMATICAL — метаматематический - metamathematical argument - metamathematical consequence - metamathematical expression - metamathematical ideal - metamathematical notion - metamathematical operation - …
Новый большой Англо-Русский словарь
METAMATHEMATICAL VARIABLE — мат. метаматематическая переменная
Большой Англо-Русский словарь
METAMATHEMATICAL THEOREM — мат. метаматематическая теорема
Большой Англо-Русский словарь
METAMATHEMATICAL THEOR — мат. метаматематическая теория
Большой Англо-Русский словарь
METAMATHEMATICAL STATEMENT — мат. метаматематическое высказывание
Большой Англо-Русский словарь
METAMATHEMATICAL POLYNOMIAL — мат. метаматематический многочлен
Большой Англо-Русский словарь
METAMATHEMATICAL OPERATION — мат. метаматематическая операция
Большой Англо-Русский словарь
METAMATHEMATICAL NOTION — мат. метаматематическое понятие
Большой Англо-Русский словарь
METAMATHEMATICAL IDEAL — мат. метаматематический идеал
Большой Англо-Русский словарь
METAMATHEMATICAL EXPRESSION — мат. метаматематическое выражение
Большой Англо-Русский словарь
METAMATHEMATICAL CONSEQUENCE — мат. метаматематическое следствие
Большой Англо-Русский словарь
METAMATHEMATICAL ARGUMENT — мат. метаматематическое доказательство
Большой Англо-Русский словарь
METAMATHEMATICAL VARIABLE — матем. метаматематическая переменная
Англо-Русский научно-технический словарь
METAMATHEMATICAL THEORY — матем. метаматематическая теория
Англо-Русский научно-технический словарь
METAMATHEMATICS — noun plural but usually singular in construction Date: circa 1890 a field of study concerned with the formal structure and …
Толковый словарь английского языка - Merriam Webster
FORMALISM — ˈfȯrməˌlizəm, -ȯ(ə)m- noun ( -s ) Etymology: formal (I) + -ism 1. a. : the practice or the doctrine of …
Webster's New International English Dictionary
METAMATHEMATICS — — metamathematical , adj. — metamathematician /met'euh math'euh meuh tish"euhn/ , n. /met'euh math'euh mat"iks/ , n. ( used with …
Random House Webster's Unabridged English Dictionary
МЕТАМАТЕМАТИЧЕСКИЙ — adj. metamathematical
Russian-English Dictionary of the Mathematical Sciences
ВНЕМЕТАМАТЕМАТИЧЕСКИЙ — adj. extra-metamathematical
Russian-English Dictionary of the Mathematical Sciences
VARIABLE — 1) машиностр. варьируемый 2) величина 3) изменчивый 4) изменяемый 5) переменная 6) переменный 7) регулируемый • absolutely continuous random variable — абсолютно непрерывная случайная величина absolutely integrable variable — …
Англо-Русский научно-технический словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
STATEMENT — 1) акт 2) высказывание 3) констатирование 4) компьют. описание 5) положение 6) постановка 7) предложение 8) утверждение 9) формулировка • correctly formulated statement — корректно сформулированное высказывание equivalent statements — эквивалентные …
Англо-Русский научно-технический словарь
POLYNOMIAL — 1) многочлен 2) многочленный 3) полином 4) полиномиальный • absolutely irreducible polynomial — абсолютно неприводимый многочлен annihilating [annulator] polynomial — аннулирующий многочлен confluent interpolation polynomial — интерполяционный …
Англо-Русский научно-технический словарь
OPERATION — 1) действие 2) операция 3) оперирование 4) процесс 5) работа 6) рабочий 7) разработка 8) срабатывание 9) управление 10) функционирование 11) ход 12) эксплуатация • "jump if not" operation — операция условного перехода base …
Англо-Русский научно-технический словарь
NOTION — понятие, идея - abstract notion - basic notion - closed notion - compound notion - definable notion - derived notion - fixed notion - fundamental notion - general notion - …
Англо-Русский научно-технический словарь

Большой Англо-Русский словарь

← METAMATHEMATICAL POLYNOMIAL METAMATHEMATICAL STATEMENT→