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

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

мат. theorem proving

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

ДОКАЗАТЕЛЬСТВО — n. proof, demonstration, argument
Russian-English Dictionary of the Mathematical Sciences
ТЕОРЕМЫ — Theorems
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — Proof
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое доказательство …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence; argument (довод); demonstration; мн. ч. case (доводы, аргументы) приводить доказательства - to adduce/furnish evidence, to give/show proofs …
Русско-Английский словарь общей тематики
ДОКАЗАТЕЛЬСТВО — proof
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВО — с. 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое …
Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — с. 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое …
Russian-English Smirnitsky abbreviations dictionary
ДОКАЗАТЕЛЬСТВО — demonstration, argument, proof
Russian-English Edic
ДОКАЗАТЕЛЬСТВО — argument, proof
Русско-Английский словарь по машиностроению и автоматизации производства
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence; argument ( довод ) ; demonstration; мн. ч. case ( доводы, аргументы ) приводить доказательства — to …
Русско-Английский краткий словарь по общей лексике
ДОКАЗАТЕЛЬСТВО — proof, warrant
Русско-Английский словарь по строительству и новым строительным технологиям
ДОКАЗАТЕЛЬСТВО — Proof
Британский Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — argument, attest, demonstration, evidence, proof, witness
Русско-Английский экономический словарь
ДОКАЗАТЕЛЬСТВО — argument, astipulation, authority, probacy, probation, evidence, proof, testation, credible evidence, immaterial evidence, significant evidence
Русско-Английский юридический словарь
ДОКАЗАТЕЛЬСТВО — см. тж. косвенное ~ того, что ; указывать • The evidence for the presence of ... is not fully convincing. …
Русско-Английский научно-технический словарь переводчика
ДОКАЗАТЕЛЬСТВО — proof
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ДОКАЗАТЕЛЬСТВО — n proof evidence; argument
Russian-English WinCept Glass dictionary
ДОКАЗАТЕЛЬСТВО — proof
Русско-Английский биологический словарь
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence argument (довод) demonstration мн. case (доводы, аргументы) приводить доказательства – to adduce/furnish evidence, to give/show proofs представлять …
Большой Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — доказательство p proof
Русско-Английский словарь Сократ
WITNESS — 1. сущ. 1) а) свидетель (особ. в суде), очевидец to bear false witness ≈ давать ложные показания to cross-examine a …
Большой Англо-Русский словарь
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 …
Большой Англо-Русский словарь
RANK OF THEOREM — мат. ранг теоремы
Большой Англо-Русский словарь
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Большой Англо-Русский словарь
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. ≈ Его возвращение к власти …
Большой Англо-Русский словарь
EXHIBIT — 1. сущ. 1) экспонат (на выставке) 2) показ, выставка to mount, organize an exhibit ≈ проводить выставку art exhibit ≈ …
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
ARGUMENT — сущ. 1) довод, аргумент (for - в пользу чего-л.; against - против чего-л.) to drive home arguments, press arguments ≈ …
Большой Англо-Русский словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
EVIDENCE — 1) средство или средства доказывания; доказательство, доказательства; подтверждение; улика | служить доказательством, подтверждать, доказывать 2) свидетельское показание, свидетельские показания | свидетельствовать, …
Англо-Русский юридический словарь
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ В естественных науках. Аналитические функции широко используются в некоторых областях науки и техники просто потому, что дают в …
Русский словарь Colier
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ Теория меры и интегрирования является важным разделом общей теории математических функций, берущей начало с работ А.Лебега (1906) по …
Русский словарь Colier
ПИФАГОР — (6 в. до н.э.), древнегреческий философ и математик, прославившийся своим учением о космической гармонии и переселении душ. Предание приписывает Пифагору …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Создание дифференциального и интегрального исчислений ознаменовало начало "высшей математики". Методы математического анализа, в отличие от понятия предела, лежащего …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Несмотря на заявления о независимости математики, никто не станет отрицать, что математика и физический мир связаны друг с другом. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Рождение математики. Около 2000 до н.э. было замечено, что в треугольнике со сторонами в 3, 4 и 5 единиц …
Русский словарь Colier
ДИФФЕРЕНЦИАЛЬНЫЕ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. …
Русский словарь Colier
ГЕОМЕТРИЯ
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
АРХИМЕД — (ок. 287-212 до н.э.), величайший древнегреческий математик и механик. Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным …
Русский словарь Colier
ЭВКЛИД — (расцвет деятельности ок. 300 до н.э.), также Евклид, древнегреческий математик, известный прежде всего как автор Начал, самого знаменитого учебника в …
Русский словарь Colier
ЧИСЕЛ — раздел чистой математики, занимающийся изучением целых чисел 0, ?1, ?2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. …
Русский словарь Colier
ПРОЕКТИВНАЯ — раздел геометрии, изучающий проективные свойства фигур. Отличается от евклидовой геометрии тем, что в ней не используются понятия параллельности, перпендикулярности и …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Классическая Греция. С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, …
Русский словарь Colier
ГАУСС — (Gauss, Carl Friedrich) (1777-1855), немецкий математик, астроном и физик. Родился 30 апреля 1777 в Брауншвейге. Необыкновенные способности к математике и …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
WITNESS — 1. сущ. 1) а) свидетель (особ. в суде), очевидец to bear false witness ≈ давать ложные показания to cross-examine a …
Новый большой Англо-Русский словарь
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Новый большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Новый большой Англо-Русский словарь
EXHIBIT — 1. сущ. 1) экспонат (на выставке) 2) показ, выставка to mount, organize an exhibit ≈ проводить выставку art exhibit ≈ …
Новый большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Новый большой Англо-Русский словарь
ARGUMENT — сущ. 1) довод, аргумент (for - в пользу чего-л.; against - против чего-л.) to drive home arguments, press arguments ≈ …
Новый большой Англо-Русский словарь

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

← ДОКАЗАТЕЛЬСТВО СУЩЕСТВОВАНИЯ ДОКАЗАТЕЛЬСТВО ТОЖДЕСТВА→