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

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

мат. consistency proof

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

ДОКАЗАТЕЛЬСТВО — n. proof, demonstration, argument
Russian-English Dictionary of the Mathematical Sciences
ДОКАЗАТЕЛЬСТВО — 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
Русско-Английский биологический словарь
НЕПРОТИВОРЕЧИВОСТИ — ACID property
Большой Русско-Английский словарь
ДОКАЗАТЕЛЬСТВО — ср. 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 …
Большой Англо-Русский словарь
SOUNDNESS THEOREM — мат. теорема о семантической непротиворечивости
Большой Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
PRINCIPLE OF NONCONTRADICTION — мат. принцип непротиворечивости
Большой Англо-Русский словарь
EXHIBIT — 1. сущ. 1) экспонат (на выставке) 2) показ, выставка to mount, organize an exhibit ≈ проводить выставку art exhibit ≈ …
Большой Англо-Русский словарь
EVIDENCE — 1. сущ. 1) ясность, наглядность, очевидность Evidence cannot be hidden. ≈ Очевидность нельзя спрятать. in evidence Syn : clearness, evidentness …
Большой Англо-Русский словарь
DBCC — сокр. от database consistency checker модуль контроля непротиворечивости базы данных
Большой Англо-Русский словарь
DBCC — сокр. от database consistency checker модуль контроля непротиворечивости базы данных
Большой Англо-Русский словарь
DATABASE CONSISTENCY CHECKER — модуль контроля непротиворечивости базы данных
Большой Англо-Русский словарь
DATA COHERENCY CONTROL — обеспечение непротиворечивости данных
Большой Англо-Русский словарь
CONTROL — 1. сущ. 1) а) надзор, сдерживание, контроль; регулирование; контроль, проверка She was in full control of the situation. ≈ Она …
Большой Англо-Русский словарь
CONTINUITY CONTROLS — средства обеспечения единства и непротиворечивости частей (напр., документации)
Большой Англо-Русский словарь
CONSISTENSY PROPERTY — мат. свойство непротиворечивости
Большой Англо-Русский словарь
CONSISTENCY THEOREM — мат. теорема о непротиворечивости
Большой Англо-Русский словарь
CONSISTENCY RELATION — мат. условие совместимости, условие непротиворечивости
Большой Англо-Русский словарь
CONSISTENCY PROOF — мат. доказательство непротиворечивости
Большой Англо-Русский словарь
CONSISTENCY CRITERION — мат. критерий непротиворечивости
Большой Англо-Русский словарь
CONSISTENCY CONDITION — условие непротиворечивости; условие совместности
Большой Англо-Русский словарь
ARGUMENT — сущ. 1) довод, аргумент (for - в пользу чего-л.; against - против чего-л.) to drive home arguments, press arguments ≈ …
Большой Англо-Русский словарь
ACID PROPERTY — свойства атомарности, непротиворечивости, изолированности и продолжаемости (транзакций)
Большой Англо-Русский словарь
ACID PROPERTY — свойства атомарности, непротиворечивости, изолированности и продолжаемости (транзакций)
Большой Англо-Русский словарь
CONSISTENCY CONDITION — условие непротиворечивости; условие совместности
Большой Англо-Русский политехнический словарь
CONSISTENCY CONDITION — условие непротиворечивости; условие совместности
Большой Англо-Русский политехнический словарь - РУССО
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
SOUNDNESS THEOREM — матем. теорема о семантической непротиворечивости
Англо-Русский научно-технический словарь
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
PRINCIPLE OF NONCONTRADICTION — матем. принцип непротиворечивости
Англо-Русский научно-технический словарь
JOINT — 1) закрутка анаши 2) мастырка 3) муфта соединительная 4) общий 5) объединенный 6) планчик 7) прифуговка 8) пустошовка 9) разъем 10) сварной 11) связать 12) связывать 13) связь 14) смык 15) смыкание 16) смыкать 17) смычка 18) …
Англо-Русский научно-технический словарь
CONSISTENSY PROPERTY — матем. свойство непротиворечивости
Англо-Русский научно-технический словарь
CONSISTENCY THEOREM — матем. теорема о непротиворечивости
Англо-Русский научно-технический словарь
CONSISTENCY RELATION — матем. условие совместимости, условие непротиворечивости
Англо-Русский научно-технический словарь
CONSISTENCY PROOF — матем. доказательство непротиворечивости
Англо-Русский научно-технический словарь
CONSISTENCY CRITERION — матем. критерий непротиворечивости
Англо-Русский научно-технический словарь
CONDITION OF CONSISTENCY — условие непротиворечивости, условие совместимости
Англо-Русский физический словарь
DATABASE CONSISTENCY CHECKER — модуль контроля непротиворечивости базы данных
Англо-Русский словарь по компьютерам
DATA COHERENCY CONTROL — обеспечение непротиворечивости данных
Англо-Русский словарь по компьютерам
EVIDENCE — 1) средство или средства доказывания; доказательство, доказательства; подтверждение; улика | служить доказательством, подтверждать, доказывать 2) свидетельское показание, свидетельские показания | свидетельствовать, …
Англо-Русский юридический словарь
МАТЕМАТИКА — МАТЕМАТИКА Еще древние греки отчетливо понимали, что математическая теория должна быть свободна от противоречий. Это означает, что невозможно вывести как …
Русский словарь Colier
WITNESS — 1. сущ. 1) а) свидетель (особ. в суде), очевидец to bear false witness ≈ давать ложные показания to cross-examine a …
Новый большой Англо-Русский словарь
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 ≈ …
Новый большой Англо-Русский словарь

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

← ДОКАЗАТЕЛЬСТВО НЕОБХОДИМОСТИ

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