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

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

мат. case method

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

МЕТОД — m. method, means, approach, process; practice, technique, tool; метод перевала, saddle point method; метод проб, cut-and-try method; метод пространства состояний, …
Russian-English Dictionary of the Mathematical Sciences
МЕТОД — Method
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Testimony
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Proofs
Русско-Американский Английский словарь
ДОКАЗАТЕЛЬСТВА — Case
Русско-Американский Английский словарь
МЕТОД — method диалектический метод — dialectical method аналитический метод — analytical method методы работы — methods of work методы хозяйствования и …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
МЕТОД — method method, procedure, tool, means; practice, techinque ускоренный метод — shortcut method по методу аналогий — in/with the analog method …
Русско-Английский словарь общей тематики
МЕТОД — 1) method 2) mode 3) technique 4) technology
Новый Русско-Английский биологический словарь
МЕТОД — Method
Russian Learner's Dictionary
ДОКАЗАТЕЛЬСТВА — The proofs
Russian Learner's Dictionary
МЕТОД — method
Russian Learner's Dictionary
МЕТОД — м. method диалектический метод — dialectical method аналитический метод — analytical method методы работы — methods of work методы хозяйствования …
Русско-Английский словарь
МЕТОД — м. method диалектический метод — dialectical method аналитический метод — analytical method методы работы — methods of work методы хозяйствования …
Russian-English Smirnitsky abbreviations dictionary
МЕТОД — method, approach, device, mode, ( функция, объявленная в классе без описателя friend ) member function, hook, ( класса ) instance …
Russian-English Edic
МЕТОД — fashion, approach, course, method, mode, procedure, process
Русско-Английский словарь по машиностроению и автоматизации производства
МЕТОД — муж. method, procedure, tool, means; practice, techinque ускоренный метод — shortcut method по методу аналогий — in/with the analog method …
Русско-Английский краткий словарь по общей лексике
МЕТОД — approach, device, manner, method, modality, mode, way, technique
Русско-Английский словарь по строительству и новым строительным технологиям
МЕТОД — Method
Британский Русско-Английский словарь
МЕТОД — approach, manner, method, mode, system, way
Русско-Английский экономический словарь
МЕТОД — method
Русско-Английский словарь - QD
МЕТОД — technique
Русско-Английский юридический словарь
ДОКАЗАТЕЛЬСТВА — evidence, proof, identification evidence, identifying evidence, illegally obtained evidence, legally obtained evidence, out-of-court evidence
Русско-Английский юридический словарь
МЕТОД — см. тж. изящный ~ ; испытанный ~ ; ~ом ; осуществляться по ~у ; по ~у ; подход ; придерживаться …
Русско-Английский научно-технический словарь переводчика
МЕТОД — м. method; process метод определения токсичности отработавших газов при отборе проб постоянного объема — constant volume sampling test - метод измерения - метод конечных …
Русско-Aнглийский автомобильный словарь
МЕТОД — 1) algorithm, ALG 2) approach 3) method 4) mode 5) procedure, PROC 6) technique 7) workaround
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
МЕТОД — см. астрономическим методом ; методы …: ; по методу исследования ; разрабатывать методы ; таким же методом ; см. тж. …
Русско-Английский словарь идиом по космонавтике
МЕТОД — муж. method лекционный метод преподавания – teaching method based on lectures слепой метод (машинописи) – touch-typing устаревший метод – antiquated …
Большой Русско-Английский словарь
МЕТОД — метод method
Русско-Английский словарь Сократ
SUPER INFERENCE MACHINE — (вычислительная) супермашина логического вывода, супер-ЭВМ логического вывода
Большой Англо-Русский словарь
PROVE UP — амер. 1) доказать (преимущественное) право на приобретение государственной земли 2) приводить в качестве доказательства (американизм) доказать (преимущественное) право на приобретение …
Большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
POWERFUL — прил. 1) крепкий, могучий, мощный, сильный the powerful king ≈ могущественный король Syn : strong, mighty, vigorous, potent 2) влиятельный, …
Большой Англо-Русский словарь
OPERATION — сущ. 1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation ≈ вести какую-л. работу to …
Большой Англо-Русский словарь
METHOD — сущ. 1) а) метод, способ; методика, прием, средство б) мн. методика (как направление научной деятельности) to apply, employ, use a …
Большой Англо-Русский словарь
LOW-LEVEL VOLTAGE — напряжение низкого логического уровня; напряжение логического нуля
Большой Англо-Русский словарь
INFERENCING — формирование [получение] (логического) вывода; процесс (логического) вывода, (логический) вывод
Большой Англо-Русский словарь
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. ≈ Сомнительно, что небольшая безработица нужна. …
Большой Англо-Русский словарь
APPROACH — 1. сущ. 1) приближение; наступление too near approaches to fire ≈ слишком близкое приближение к огню the approach of summer …
Большой Англо-Русский словарь
ANALYTICS — сущ. 1) искусство анализа, использование метода анализа 2) аналитика; техника логического анализа искусство анализа (логика) техника логического анализа; аналитика (математика) …
Большой Англо-Русский словарь
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 - а) данный случай; случай, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ZERO STATE — состояние (логического) нуля; уровень (логического) нуля
Большой Англо-Русский политехнический словарь
LOW-LEVEL VOLTAGE — напряжение низкого логического уровня; напряжение логического нуля
Большой Англо-Русский политехнический словарь
ZERO STATE — состояние (логического) нуля; уровень (логического) нуля
Большой Англо-Русский политехнический словарь - РУССО
LOW-LEVEL VOLTAGE — напряжение низкого логического уровня; напряжение логического нуля
Большой Англо-Русский политехнический словарь - РУССО
TECHNIQUE — 1) метод 2) методика 3) прием 4) процедура 5) способ 6) техника 7) технология • adaptive prediction technique — методика адаптивного прогнозирования adaptive search technique — метод адаптивного поиска artificial …
Англо-Русский научно-технический словарь
METHOD — 1) метод 2) процедура 3) способ • adaptive smoothing method — метод адаптивного сглаживания alternating-variable descent method — матем. метод покоординатного спуска antithetic variate method — …
Англо-Русский научно-технический словарь
LOGICAL — логический, логичный diode logical circuit — диодная логическая схема logical addition function — функция логического сложения logical conversion matrix — матрица логического преобразования logical …
Англо-Русский научно-технический словарь
METHOD — method сущ.1) а) метод, способ; методика, прием, средство б) мн. ч. методика (как направление научной деятельности) to apply, employ, use …
Англо-Русский словарь Tiger
EVIDENCE — 1. [ʹevıd(ə)ns] n 1. 1) основание; данные, факт(ы), признак(и); свидетельства archaeological ~ - археологические свидетельства /находки/ climatological ~ - климатологические …
Новый большой Англо-Русский словарь - Апресян, Медникова
CASE — I 1. [keıs] n 1. случай; обстоятельство; положение (дел), обстоятельства the ~ in point - а) данный случай; случай, относящийся …
Новый большой Англо-Русский словарь - Апресян, Медникова
EVIDENCE — 1. ʹevıd(ə)ns n 1. 1> основание; данные, факт(ы), признак(и); свидетельства archaeological evidence - археологические свидетельства /находки/ climatological evidence - климатологические …
Большой новый Англо-Русский словарь
METHOD — сущ. 1) а) метод, способ; методика, прием, средство б) мн. методика ( как направление научной деятельности ) to apply, employ, …
Англо-Русский словарь по общей лексике
METHOD — сущ. 1) а) метод, способ; методика, прием, средство б) мн. методика (как направление научной деятельности) to apply, employ, use a method — применять, использовать …
Англо-Русский словарь общей лексики
LUN — сокр. от logical unit number номер логического устройства, порядковый номер логического устройства ( системы управления )
Англо-Русский словарь по машиностроению и автоматизации производства 2
INFERENCING — процесс умозаключения, процесс логического умозаключения ( в искусственном интеллекте ) ; формирование вывода, формирование логического вывода; умозаключение - backward inferencing …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LUN — сокр. от logical unit number номер логического устройства, порядковый номер логического устройства (системы управления)
Англо-Русский словарь по машиностроению и автоматизации производства
INFERENCING — процесс умозаключения, процесс логического умозаключения (в искусственном интеллекте); формирование вывода, формирование логического вывода; умозаключение - backward inferencing - data-driven inferencing - forward inferencing - …
Англо-Русский словарь по машиностроению и автоматизации производства

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

← МЕТОД ЛИТОГРАФИИ МЕТОД ЛОЖНОГО ПОЛОЖЕНИЯ→