ЗАКЛЮЧЕНИЕ ТЕОРЕМЫ

Русско-английский перевод ЗАКЛЮЧЕНИЕ ТЕОРЕМЫ

conclusion of theorem

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

ЗАКЛЮЧЕНИЕ — n. conclusion, inference, inclusion, confinement
Russian-English Dictionary of the Mathematical Sciences
ТЕОРЕМЫ — Theorems
Русско-Американский Английский словарь
ЗАКЛЮЧЕНИЕ — Conclusion
Русско-Американский Английский словарь
ЗАКЛЮЧЕНИЕ — 1. с. 1. ( вывод ) conclusion, inference; ( суда и т. п. ) findings pl . заключение комиссии — …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ЗАКЛЮЧЕНИЕ — с. 1. (соглашения и т. п.) conclusion; ~ договора the conclusion of a treaty; ~ союза the forming of an …
Русско-Английский словарь общей тематики
ЗАКЛЮЧЕНИЕ — The conclusion
Russian Learner's Dictionary
ЗАКЛЮЧЕНИЕ — imprisonment
Russian Learner's Dictionary
ЗАКЛЮЧЕНИЕ — 1. с. 1. ( вывод ) conclusion, inference; ( суда и т. п. ) findings pl . заключение комиссии — …
Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — 1. с. 1. ( вывод ) conclusion, inference; ( суда и т. п. ) findings pl . заключение комиссии — …
Russian-English Smirnitsky abbreviations dictionary
ЗАКЛЮЧЕНИЕ — data-directed inference, goal-directed inference, inference
Русско-Английский словарь по машиностроению и автоматизации производства
ЗАКЛЮЧЕНИЕ — ср. 1) confinement, imprisonment, detention приговаривать к тюремному заключению — to sentence to imprisonment приговорить к двум годам заключения (кого-л.) …
Русско-Английский краткий словарь по общей лексике
ЗАКЛЮЧЕНИЕ — opinion, closing, conclusion, (эксперта) decision, finding, summary
Русско-Английский словарь по строительству и новым строительным технологиям
ЗАКЛЮЧЕНИЕ — Incarceration
Британский Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — Imprisonment
Британский Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — Finding
Британский Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — Committal
Британский Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — Close
Британский Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — close, conclusion, consequence, decision, (комиссии) finding, opinion, inference
Русско-Английский экономический словарь
ЗАКЛЮЧЕНИЕ — с. 1. (соглашения и т. п.) conclusion; ~ договора the conclusion of a treaty; ~ союза the forming of an alliance; ~ мира …
Русско-Английский словарь - QD
ЗАКЛЮЧЕНИЕ — (договора) formation, close, completion, (напр. договора) conclusion, (напр. займа, брака) contraction, deduction, finding, inference, opinion, pronouncement
Русско-Английский юридический словарь
ЗАКЛЮЧЕНИЕ — см. вывод ; выводить ~ ; приходить к выводу
Русско-Английский научно-технический словарь переводчика
ЗАКЛЮЧЕНИЕ — см. по … делают заключения о …from the character of emission and absorption lines conclusions can be drawn as to …
Русско-Английский словарь идиом по космонавтике
ЗАКЛЮЧЕНИЕ — ср. 1) confinement, imprisonment, detention приговаривать к тюремному заключению – to sentence to imprisonment приговорить к двум годам заключения (кого-л.) …
Большой Русско-Английский словарь
ЗАКЛЮЧЕНИЕ — заключение conclusion
Русско-Английский словарь Сократ
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 …
Большой Англо-Русский словарь
PROBABILITY — сущ. 1) возможное, осуществимое, правдоподобное His return to power was discussed openly as a probability. ≈ Его возвращение к власти …
Большой Англо-Русский словарь
OPINION — сущ. 1) взгляд, мнение, убеждение an opinion about, on ≈ мнение по поводу to act up to one's opinions ≈ …
Большой Англо-Русский словарь
LIFE — 1. сущ. 1) а) жизнь; существование to breathe (new) life into smth. ≈ вдохнуть (новую) жизнь во что-л. to restore …
Большой Англо-Русский словарь
IMPRISONMENT — сущ. заключение (в тюрьму); лишение свободы life imprisonment ≈ пожизненное заключение тюремное заключение; лишение свободы - * before trial (юридическое) …
Большой Англо-Русский словарь
DEDUCTION — сущ. 1) а) вычет; удержание (for; from); снижение, сокращение to make a deduction ≈ вычитать Our employer makes a deduction …
Большой Англо-Русский словарь
CONTRACTION — сущ. 1) заключение контракта; заключение брачного контракта 2) приобретение, получение This affair had let to the contraction of an immense …
Большой Англо-Русский словарь
CONCLUSION — сущ. 1) а) умозаключение, вывод, дедуктивный вывод (результат аргументированных логических рассуждений) to arrive at a conclusion ≈ прийти к заключению …
Большой Англо-Русский словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ В естественных науках. Аналитические функции широко используются в некоторых областях науки и техники просто потому, что дают в …
Русский словарь 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
PROVING — см. proof (юридическое) утверждение (завещания) доказывание (техническое) проба, испытание; опробование (кулинарное) расстойка (теста) (геология) разведка испытательный, пробный - * ground …
Новый большой Англо-Русский словарь
OPINION — сущ. 1) взгляд, мнение, убеждение an opinion about, on ≈ мнение по поводу to act up to one's opinions ≈ …
Новый большой Англо-Русский словарь
IMPRISONMENT — сущ. заключение (в тюрьму); лишение свободы life imprisonment ≈ пожизненное заключение тюремное заключение; лишение свободы - * before trial (юридическое) …
Новый большой Англо-Русский словарь
CONCLUSION — сущ. 1) а) умозаключение, вывод, дедуктивный вывод (результат аргументированных логических рассуждений) to arrive at a conclusion ≈ прийти к заключению …
Новый большой Англо-Русский словарь

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

← ЗАКЛЮЧЕНИЕ СЧЕТОВ ЗАКЛЮЧЕНИЕ ЭКСПЕРТИЗЫ→