СИСТЕМА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ

Русско-английский перевод СИСТЕМА ДОКАЗАТЕЛЬСТВА ТЕОРЕМЫ

мат. theorem-proving system

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

ТЕОРЕМЫ — Theorems
Русско-Американский Английский словарь
СИСТЕМА — System
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Testimony
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Proofs
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Case
Русско-Американский Английский словарь
СИСТЕМА — system избирательная система — electoral system нервная система — nervous system система счисления — scale of notation солнечная система — …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
СИСТЕМА — system; (техническое устройство тж.) design; ~ воспитания system of education; ~ звукозаписи sound recording system; привести в ~y свои наблюдения …
Русско-Английский словарь общей тематики
СИСТЕМА — system
Новый Русско-Английский биологический словарь
СИСТЕМА — System
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВА — The proofs
Russian Learner's Dictionary
СИСТЕМА — system
Russian Learner's Dictionary
СИСТЕМА — ж. ( в разн. знач. ) system избирательная система — electoral system нервная система — nervous system система счисления — …
Русско-Английский словарь
СИСТЕМА — ж. ( в разн. знач. ) system избирательная система — electoral system нервная система — nervous system система счисления — …
Russian-English Smirnitsky abbreviations dictionary
СИСТЕМА — installation, system
Russian-English Edic
СИСТЕМА — method, system
Русско-Английский словарь по машиностроению и автоматизации производства
СИСТЕМА — жен. system стать системой, войти в систему разг. — to become the rule экологическая система — биол. ecosystem блокировочная система …
Русско-Английский краткий словарь по общей лексике
СИСТЕМА — arrangement, scheme, installation, method, (труб) nest, type, system
Русско-Английский словарь по строительству и новым строительным технологиям
СИСТЕМА — System
Британский Русско-Английский словарь
СИСТЕМА — method, scheme, system
Русско-Английский экономический словарь
СИСТЕМА — СИСТЕМА , -ы, ж. 1. Компания, группа ( напр. организация хиппи); все, что к ней относится, принадлежит. Он из другой …
Англо-Русско-Английский словарь сленга, жаргона, русских имен
СИСТЕМА — system; (техническое устройство тж.) design; ~ воспитания system of education; ~ звукозаписи sound recording system; привести в ~y свои наблюдения systematize/classify one`s observations; банковская ~ …
Русско-Английский словарь - QD
СИСТЕМА — frame, framework, system
Русско-Английский юридический словарь
ДОКАЗАТЕЛЬСТВА — evidence, proof, identification evidence, identifying evidence, illegally obtained evidence, legally obtained evidence, out-of-court evidence
Русско-Английский юридический словарь
СИСТЕМА — ж. system система, препятствующая продольному наклону кузова при разгоне — antisquat system система, препятствующая продольному "клевку" кузова при разгоне — antisquat system система, препятствующая …
Русско-Aнглийский автомобильный словарь
СИСТЕМА — complex
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
СИСТЕМА — f system
Russian-English WinCept Glass dictionary
СИСТЕМА — см. автоколебательная система ; автоматическая система подготовки старта ; автоматическая система сближения ; автоматическая система управления ; автоматические системы корабля …
Русско-Английский словарь идиом по космонавтике
СИСТЕМА — system
Русско-Английский биологический словарь
СИСТЕМА — жен. system стать системой, войти в систему разг. – to become the rule потогонная система – sweating system налоговая система …
Большой Русско-Английский словарь
СИСТЕМА — система i system
Русско-Английский словарь Сократ
МАТЕМАТИКА — МАТЕМАТИКА Рождение математики. Около 2000 до н.э. было замечено, что в треугольнике со сторонами в 3, 4 и 5 единиц …
Русский словарь Colier
АРХИМЕД — (ок. 287-212 до н.э.), величайший древнегреческий математик и механик. Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Классическая Греция. С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, …
Русский словарь Colier
WEAK VERSION — мат. слабый вариант (теоремы)
Большой Англо-Русский словарь
THEOREMS — Теоремы
Большой Англо-Русский словарь
THEOREMATIC — излагаемый в виде теоремы
Большой Англо-Русский словарь
THEOREM PROVING — мат. доказательство теоремы
Большой Англо-Русский словарь
THEOREM IMPLYIES — мат. из теоремы следует, что
Большой Англо-Русский словарь
THEOREM-PROVING SYSTEM — мат. система доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING PROCESS — мат. процесс доказательства теоремы
Большой Англо-Русский словарь
THEOREM-PROVING HEURISTICS — мат. эвристика доказательства теоремы
Большой Англо-Русский словарь
THEOREM-FINDING HEURISTICS — мат. эвристика построения теоремы
Большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
SYSTEM — сущ. 1) а) система Syn : method б) система, устройство; метод adversary system ≈ система состязательности в суде (правда выясняется …
Большой Англо-Русский словарь
SCHEME — 1. сущ. 1) нечто задуманное, спланированное а) план, проект; программа to concoct, cook up, devise, think up a scheme ≈ …
Большой Англо-Русский словарь
RANK OF THEOREM — мат. ранг теоремы
Большой Англо-Русский словарь
QUEUE — 1. сущ. 1) коса (волос, парика) 2) очередь; хвост to form a queue ≈ организовать очередь to jump the queue …
Большой Англо-Русский словарь
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Большой Англо-Русский словарь
PROVE UP — амер. 1) доказать (преимущественное) право на приобретение государственной земли 2) приводить в качестве доказательства (американизм) доказать (преимущественное) право на приобретение …
Большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PROBABILITY — сущ. 1) возможное, осуществимое, правдоподобное His return to power was discussed openly as a probability. ≈ Его возвращение к власти …
Большой Англо-Русский словарь
POWERFUL — прил. 1) крепкий, могучий, мощный, сильный the powerful king ≈ могущественный король Syn : strong, mighty, vigorous, potent 2) влиятельный, …
Большой Англо-Русский словарь
HEARSAY — 1. сущ. молва, слух, толки Syn : talk, rumor 2. прил. основанный на слухах hearsay evidence юр. ≈ доказательства, основанные …
Большой Англо-Русский словарь
GOODS — сущ.; мн. 1) товар; товары durable goods ≈ товары длительного пользования manufactured goods ≈ фабрикаты, промышленные товары yard goods ≈ …
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
CASE
Большой Англо-Русский словарь
BURDEN — I 1. сущ. 1) ноша, груз, тяжесть to bear, carry, shoulder a burden ≈ нести груз to alleviate, lighten, relieve …
Большой Англо-Русский словарь
ARGUABLE — прил. 1) спорный, требующий доказательства; сомнительный It is arguable that some unemployment is necessary. ≈ Сомнительно, что небольшая безработица нужна. …
Большой Англо-Русский словарь
ADDUCE — гл. представлять, приводить (в качестве доказательства) The evidence she adduces to back up her arguments is usually authoritative. ≈ Доказательства, …
Большой Англо-Русский словарь
EVIDENCE — evidence.ogg 1. ʹevıd(ə)ns n 1. 1> основание; данные, факт(ы), признак(и); свидетельства archaeological evidence - археологические свидетельства /находки/ climatological evidence - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CASE — case.ogg _I 1. keıs n 1. случай; обстоятельство; положение (дел), обстоятельства the case in point - а) данный случай; случай, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
SYSTEM — 1) комплекс 2) множество 3) область 4) система 5) системный 6) совокупность 7) схемный 8) устройство • absolutely complete system — абсолютно полная система absolutely direct indecomposable system — абсолютно …
Англо-Русский научно-технический словарь
EVIDENCE — 1. [ʹevıd(ə)ns] n 1. 1) основание; данные, факт(ы), признак(и); свидетельства archaeological ~ - археологические свидетельства /находки/ climatological ~ - климатологические …
Новый большой Англо-Русский словарь - Апресян, Медникова

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

← СИСТЕМА ДИФФЕРЕНЦИАЛЬНОЙ ЗАЩИТЫ СИСТЕМА ДОКУМЕНТАЦИИ→