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

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

мат. theorem-proving process

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

ПРОЦЕСС — m. process
Russian-English Dictionary of the Mathematical Sciences
ТЕОРЕМЫ — Theorems
Русско-Американский Английский словарь
ПРОЦЕСС — Process
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Testimony
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Proofs
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Case
Русско-Американский Английский словарь
ПРОЦЕСС — 1. process процесс развития — development в процессе работы — in the process of work производственный процесс — work / …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ПРОЦЕСС — 1. (ход развития чего-л.) process; в ~е развития in the process of development; химический ~ chemical process; в ~е игры …
Русско-Английский словарь общей тематики
ПРОЦЕСС — process
Новый Русско-Английский биологический словарь
ПРОЦЕСС — Process
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВА — The proofs
Russian Learner's Dictionary
ПРОЦЕСС — process
Russian Learner's Dictionary
ПРОЦЕСС — м. 1. process процесс развития — development в процессе работы — in the process of work производственный процесс — work …
Русско-Английский словарь
ПРОЦЕСС — м. 1. process процесс развития — development в процессе работы — in the process of work производственный процесс — work …
Russian-English Smirnitsky abbreviations dictionary
ПРОЦЕСС — activity, action, making, process
Русско-Английский словарь по машиностроению и автоматизации производства
ПРОЦЕСС — муж. 1) process в процессе развития — as development progresses/continues, in the course of development в процессе (чего-л.) — during …
Русско-Английский краткий словарь по общей лексике
ПРОЦЕСС — making, process
Русско-Английский словарь по строительству и новым строительным технологиям
ПРОЦЕСС — Process
Британский Русско-Английский словарь
ПРОЦЕСС — process
Русско-Английский экономический словарь
ПРОЦЕСС — (блат.) гpупповое сожительство
Англо-Русско-Английский словарь сленга, жаргона, русских имен
ПРОЦЕСС
Англо-Русско-Английский словарь сленга, жаргона, русских имен
ПРОЦЕСС — 1. (ход развития чего-л.) process; в ~е развития in the process of development; химический ~ chemical process; в ~е игры in the course …
Русско-Английский словарь - QD
ПРОЦЕСС — procedure, matter of law
Русско-Английский юридический словарь
ДОКАЗАТЕЛЬСТВА — evidence, proof, identification evidence, identifying evidence, illegally obtained evidence, legally obtained evidence, out-of-court evidence
Русско-Английский юридический словарь
ПРОЦЕСС — см. тж. в ~е ; вести ~ ; головной ~ ; обратный ~ • Processes for conversion of liquid fossil …
Русско-Английский научно-технический словарь переводчика
ПРОЦЕСС — м.; в соч. - производственный процесс - процесс всасывания и выпуска - процесс горения - процесс охлаждения - процесс сгорания
Русско-Aнглийский автомобильный словарь
ПРОЦЕСС — 1) operation 2) process
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПРОЦЕСС — m process
Russian-English WinCept Glass dictionary
ПРОЦЕСС — см. в процессе ; в процессе всего полета ; жизненные процессы ; нормальное протекание всех жизненных процессов ; окислительный процесс …
Русско-Английский словарь идиом по космонавтике
ПРОЦЕСС — муж. 1) process бессемеровский процесс – Bessemer process 2) юр. trial legal proceedings мн. legal action cause, case lawsuit, suit …
Большой Русско-Английский словарь
ПРОЦЕСС — процесс process
Русско-Английский словарь Сократ
МАТЕМАТИКА — МАТЕМАТИКА Рождение математики. Около 2000 до н.э. было замечено, что в треугольнике со сторонами в 3, 4 и 5 единиц …
Русский словарь Colier
АРХИМЕД — (ок. 287-212 до н.э.), величайший древнегреческий математик и механик. Жизнь. Уроженец греческого города Сиракузы на острове Сицилия, Архимед был приближенным …
Русский словарь Colier
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Классическая Греция. С точки зрения 20 в. родоначальниками математики явились греки классического периода (6-4 вв. до н.э.). Математика, …
Русский словарь Colier
WEAK VERSION — мат. слабый вариант (теоремы)
Большой Англо-Русский словарь
TRIAL — 1. сущ. 1) испытание, проба I took the car out for a trial on the roads. ≈ Я вывел автомобиль, …
Большой Англо-Русский словарь
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 …
Большой Англо-Русский словарь
PROVE UP — амер. 1) доказать (преимущественное) право на приобретение государственной земли 2) приводить в качестве доказательства (американизм) доказать (преимущественное) право на приобретение …
Большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PROCESS — I 1. гл. 1) юр. возбуждать процесс; вызывать (кого-л.) в суд 2) подвергать (технологическому) процессу; обрабатывать; перерабатывать 3) а) обрабатывать, …
Большой Англо-Русский словарь
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 — теорема об аналитической …
Англо-Русский научно-технический словарь
STATIONARY — 1) недвижущийся 2) неизменный 3) неподвижный 4) постоянный 5) стационарный 6) установившийся 7) устойчивый • almost stationary series — почти стационарный ряд asymptotically stationary series — асимптотически стационарный ряд integral …
Англо-Русский научно-технический словарь
PROCESS — 1) вычислительный 2) движение 3) обрабатывать 4) обрабатывающий 5) обработать 6) перерабатывать 7) прием 8) процедура 9) процесс 10) способ 11) технологический 12) течение • absolutely random process — чисто случайный процесс absorbing barrier …
Англо-Русский научно-технический словарь

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

← ПРОЦЕСС ДИФФЕРЕНЦИРОВАНИЯ ПРОЦЕСС ДОМНАРВЕТ→