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

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

Automated theorem proving

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

АВТОМАТИЧЕСКОЕ — С первых шагов цивилизации человек пытался механизировать труд. Он очень быстро нашел пути замены мускульной энергии механической; высшей точкой этого …
Русский словарь Colier
ДОКАЗАТЕЛЬСТВО — n. proof, demonstration, argument
Russian-English Dictionary of the Mathematical Sciences
ДОКАЗАТЕЛЬСТВО — Proof
Русско-Американский Английский словарь
АВТОМАТИЧЕСКОЕ — Automatic
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВО — 1. proof, evidence; ( довод ) argument в доказательство ( рд. ) — in witness (of) ещё одно яркое доказательство …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ДОКАЗАТЕЛЬСТВО — ср. proof, evidence; argument (довод); demonstration; мн. ч. case (доводы, аргументы) приводить доказательства - to adduce/furnish evidence, to give/show proofs …
Русско-Английский словарь общей тематики
АВТОМАТИЧЕСКОЕ — Automatic
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВО — 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
Русско-Английский словарь Сократ
МАЛО — I (from мал) adj. small II adv. little; slightly, in a small way; adj. (with genitive pi.), few; мало читать, …
Russian-English Dictionary of the Mathematical Sciences
WITNESS — 1. сущ. 1) а) свидетель (особ. в суде), очевидец to bear false witness ≈ давать ложные показания to cross-examine a …
Большой Англо-Русский словарь
SELFFIRER — n воен. автоматическое оружие selffirer воен. автоматическое оружие
Большой Англо-Русский словарь
SELF-PROGRAMMING — автоматическое программирование, автопрограммирование самопрограммирующийся self-programming вчт. автоматическое программирование
Большой Англо-Русский словарь
SELF-FIRER — сущ.; воен. автоматическое оружие (военное) автоматическое оружие
Большой Англо-Русский словарь
SELF-ACTION — сущ. самопроизвольное действие, автоматическое действие автоматическое действие (физическое) самодействие, самовоздействие
Большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PROGRAMMING — сущ. 1) планирование 2) программирование ∙ - automatic programming - mathematical programming programming of construction investment programming programming language programming …
Большой Англо-Русский словарь
MAIL MERGE — (автоматическое) составление стандартных писем (с использованием фиксированных форм, подлежащих заполнению) автоматическое составление писем
Большой Англо-Русский словарь
LOCK-ON — 1. рлк захват цели (на автоматическое сопровождение) 2. привязка (напр. к месту или по времени) automatic lock-on decoy lock-on false …
Большой Англо-Русский словарь
EXHIBIT — 1. сущ. 1) экспонат (на выставке) 2) показ, выставка to mount, organize an exhibit ≈ проводить выставку art exhibit ≈ …
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
DETECTION — сущ. 1) выявление, обнаружение, открытие; регистрация; расследование detection of nuclear explosions ≈ обнаружение ядерных взрывов auto detection ≈ автоматическое обнаружение …
Большой Англо-Русский словарь
AUTOSCORE — автоматическое подчеркивание autoscore вчт. автоматическое подчеркивание
Большой Англо-Русский словарь
AUTOMATICAL ENGAGEMENT — автоматическое зацепление; автоматическое сцепление
Большой Англо-Русский словарь
AUTOMATIC THEOREM PROVER — программа (для) автоматического доказательства теорем
Большой Англо-Русский словарь
AUTOMATIC RELEASE DEVICE — автоматическое спусковое устройство (затвора фото аппарата), автоспуск; автоматическое пусковое устройство (киносъемочного аппарата)
Большой Англо-Русский словарь
AUTOMATIC PLOTTING — автоматическое черчение; автоматическое рисование (с помощью графопостроителя)
Большой Англо-Русский словарь
AUTOMATIC LOAD TRANSFER — автоматическое включение [автоматический ввод] резерва; автоматическое переключение нагрузки на резервный источник питания
Большой Англо-Русский словарь
AUTOMATIC CODING — 1. автоматическое кодирование 2. автоматическое программирование
Большой Англо-Русский словарь
AUTOMATIC — 1. прил. 1) автоматический, автоматизированный automatic train stop ж.-д. ≈ автостоп automatic pistol ≈ пистолет automatic rifle ≈ автоматическая винтовка; …
Большой Англо-Русский словарь
AUTOINDEXING — автоматическое составление указателя; автоматическое индексирование Autoindexing
Большой Англо-Русский словарь
AUTOCONTROL — автоматическое управление; автоматическое регулирование
Большой Англо-Русский словарь
ARGUMENT — сущ. 1) довод, аргумент (for - в пользу чего-л.; against - против чего-л.) to drive home arguments, press arguments ≈ …
Большой Англо-Русский словарь
AFR — I [automatic format recognition] автоматическое распознавание формата II [automatic field recognition] автоматическое распознавание поля (в формате)
Большой Англо-Русский словарь
AFR — I [automatic format recognition] автоматическое распознавание формата II [automatic field recognition] автоматическое распознавание поля (в формате)
Большой Англо-Русский словарь
ADJUST — гл. 1) приводить в порядок Syn : arrange, settle 2) улаживать (спор и т. п.) Four were named on each …
Большой Англо-Русский словарь
ACR — I сокр. [approach-control radar] РЛС управления заходом на посадку II сокр. [automatic character recognition] автоматическое распознавание символов III сокр. [automatic …
Большой Англо-Русский словарь
AUTOMATED THEOREM PROVING — Автоматическое доказательство теорем
Американский Англо-Русский словарь
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
BACKWARD-CHAINING — вывод от цели к фактам в экспертных системах и автоматическом доказательстве теорем - способ рассуждений, при котором для доказательства истинности …
Англо-Русский словарь Tiger
AUTOMATIC COUPLING — автоматическое соединение, автоматическое подсоединение; автоматическое зацепление
Англо-Русский словарь по машиностроению и автоматизации производства 2
AUTOMATIC CENTERING — 1) автоматическое центрирование; автоматическое выставление; автоматическая выверка 2) автоматическое нахождение центра отверстия ( печатной платы при подготовке УП по фотошаблону …
Англо-Русский словарь по машиностроению и автоматизации производства 2
AUTOMATIC COUPLING — автоматическое соединение, автоматическое подсоединение; автоматическое зацепление
Англо-Русский словарь по машиностроению и автоматизации производства
AUTOMATIC CENTERING — 1) автоматическое центрирование; автоматическое выставление; автоматическая выверка 2) автоматическое нахождение центра отверстия (печатной платы при подготовке УП по фотошаблону)
Англо-Русский словарь по машиностроению и автоматизации производства
BACKWARD-CHAINING — вывод от цели к фактам в экспертных системах и автоматическом доказательстве теорем - способ рассуждений, при котором для доказательства истинности утверждения делается попытка …
Англо-Русский дополнительный словарь
RESOLUTION THEOREM PROVING — доказательство теорем методом резолюции.
Англо-Русский словарь по компьютерам
BACKWARD-CHAINING — вывод от цели к фактам. В экспертных системах и автоматическом доказательстве теорем - способ рассуждений, при котором для доказательства истинности …
Англо-Русский словарь по компьютерам
AUTOMATIC THEOREM PROVER — программа (для) автоматического доказательства теорем
Англо-Русский словарь по компьютерам
ARTIFICIAL INTELLIGENCE — искусственный интеллект. Часть информатики, занимающаяся разработкой методов решения задач, для которых не удается разработать формальных алгоритмов, таких как понимание естественного …
Англо-Русский словарь по компьютерам
AUTOMATIC THEOREM PROVER — программа (для) автоматического доказательства теорем
Англо-Русский словарь по вычислительной технике и программированию

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

← АВТОМАТИЧЕСКИЙ АВТОМАТИЧЕСКОЕ ОРУЖИЕ→