ЛОГИЧЕСКАЯ ТЕОРЕМА

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

мат. logical theorem

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

ТЕОРЕМА — f. theorem
Russian-English Dictionary of the Mathematical Sciences
ТЕОРЕМА — Theorem
Русско-Американский Английский словарь
ТЕОРЕМА — theorem доказать теорему — prove a theorem
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ТЕОРЕМА — theorem
Русско-Английский словарь общей тематики
ЛОГИЧЕСКАЯ — Logic
Russian Learner's Dictionary
ТЕОРЕМА — theorem
Russian Learner's Dictionary
ТЕОРЕМА — ж. мат. theorem доказать теорему — prove a theorem
Русско-Английский словарь
ТЕОРЕМА — ж. мат. theorem доказать теорему — prove a theorem
Russian-English Smirnitsky abbreviations dictionary
ЛОГИЧЕСКАЯ — logical
Russian-English Edic
ТЕОРЕМА — law, theorem
Русско-Английский словарь по строительству и новым строительным технологиям
ТЕОРЕМА — Theorem
Британский Русско-Английский словарь
ТЕОРЕМА — theorem
Русско-Английский экономический словарь
ТЕОРЕМА — theorem
Русско-Английский словарь - QD
ТЕОРЕМА — см. доказывать теорему
Русско-Английский научно-технический словарь переводчика
ТЕОРЕМА — 1) proposition 2) Thm
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ТЕОРЕМА — жен. мат. theorem доказать теорему обратная теорема ж. theorem
Большой Русско-Английский словарь
ТЕОРЕМА — теорема theorem
Русско-Английский словарь Сократ
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
REFERENCE LOGIC — контрольная логическая схема; эталонная логическая схема
Большой Англо-Русский словарь
OPERATION — сущ. 1) а) деятельность, работа, приведение в действие б) действие, операция to conduct an operation ≈ вести какую-л. работу to …
Большой Англо-Русский словарь
MPLA — [mask programmable logic array] логическая матрица с масочным программированием, масочно-программируемая логическая матрица, МПЛМ
Большой Англо-Русский словарь
MPLA — [mask programmable logic array] логическая матрица с масочным программированием, масочно-программируемая логическая матрица, МПЛМ
Большой Англо-Русский словарь
MASK PROGRAMMABLE LOGIC ARRAY — логическая матрица с масочным программированием, масочно-программируемая логическая матрица, МПЛМ
Большой Англо-Русский словарь
LOGICAL STRUCTURE — 1. логическая структура 2. логическая схема
Большой Англо-Русский словарь
LOGICAL ORGANIZATION — логическая структура, логическая схема
Большой Англо-Русский словарь
LOGICAL ITEM — логическая единица, логическая элементарная группа
Большой Англо-Русский словарь
LOGICAL INTERDEPENDENCE — мат. логическая взаимосвязь; логическая зависимость
Большой Англо-Русский словарь
LOGICAL DESIGN — 1. логическое проектирование, проектирование на логическом уровне; составление логической схемы; логический синтез 2. разработка алгоритмов (функционирования системы) 3. логическая схема; …
Большой Англо-Русский словарь
LOGICAL CONNECTIVE — логическая функция; логическая связка
Большой Англо-Русский словарь
LOGIC DESIGN — 1. логическое проектирование, проектирование на логическом уровне; составление логической схемы; логический синтез 2. разработка алгоритмов (функционирования системы) 3. логическая схема; …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
I2L DEVICE — логическая ИС с инжекционным питанием, инжекционная логическая ИС, И2Л-схема
Большой Англо-Русский словарь
I2L DEVICE — логическая ИС с инжекционным питанием, инжекционная логическая ИС, И2Л-схема
Большой Англо-Русский словарь
FPLA — [field programmable logic array] логическая матрица с эксплуатационным программированием; программируемая пользователем логическая матрица
Большой Англо-Русский словарь
FPLA — [field programmable logic array] логическая матрица с эксплуатационным программированием; программируемая пользователем логическая матрица
Большой Англо-Русский словарь
FIELD PROGRAMMABLE LOGIC ARRAY — логическая матрица с эксплуатационным программированием, логическая матрица, программируемая пользователем
Большой Англо-Русский словарь
FIELD-PROGRAMMABLE LOGIC ARRAY — программируемая пользователем логическая матрица; логическая матрица, коммутируемая пользователем
Большой Англо-Русский словарь
ERGODIC — эргодический completely ergodic system ≈ вполне эргодическая система geometrically ergodic chain ≈ геометрически эргодическая цепь individual ergodic theorem ≈ индивидуальная …
Большой Англо-Русский словарь
CONSECUTION — сущ. 1) (логическая ) последовательность; цепь рассуждений Syn : logical sequence, inference, a train of reasoning 2) следование (событий, явлений); …
Большой Англо-Русский словарь
ULA — I сокр. от uncommitted logic array нескоммутированная логическая матрица II сокр. от universal logic array универсальная логическая матрица
Большой Англо-Русский политехнический словарь
LOGICAL DESIGN — 1) логическое проектирование; логический синтез 2) разработка логической схемы 3) разработка алгоритмов (функционирования) 4) логическая схема; логическая структура
Большой Англо-Русский политехнический словарь
LOGIC DESIGN — 1) логическое проектирование; логический синтез 2) разработка логической схемы 3) разработка алгоритмов (функционирования) 4) логическая схема; логическая структура
Большой Англо-Русский политехнический словарь
I2L DEVICE — логическая ИС с инжекционным питанием, инжекционная логическая ИС, И2Л-схема
Большой Англо-Русский политехнический словарь
FPLA — сокр. от field-programmable logic array программируемая пользователем логическая матрица; логическая матрица, коммутируемая пользователем
Большой Англо-Русский политехнический словарь
FIELD-PROGRAMMABLE LOGIC ARRAY — программируемая пользователем логическая матрица; логическая матрица, коммутируемая пользователем
Большой Англо-Русский политехнический словарь
ULA — I сокр. от uncommitted logic array нескоммутированная логическая матрица II сокр. от universal logic array универсальная логическая матрица
Большой Англо-Русский политехнический словарь - РУССО
VALUE — 1) величина 2) значение 3) нормировать 4) оценивать 5) показатель 6) расценивать 7) стоимость 8) цена 9) ценить 10) ценностный 11) ценность 12) число • absolute value of a vector — матем. величина …
Англо-Русский научно-технический словарь
UNIFORM — 1) всесторонний 2) единообразный 3) мундир 4) однообразный 5) машиностр. однородный 6) постоянный 7) равномерный 8) равностепенный 9) сплошной 10) униформный • algebra of uniform index — алгебра постоянного индекса almost uniform …
Англо-Русский научно-технический словарь
THEOREM — теорема absolute geometrical theorem — абсолютная геометрическая теорема analytical enumeration theorem — теорема об аналитическом перечислении analytical hierarchy theorem — теорема об аналитической …
Англо-Русский научно-технический словарь
SECOND
Англо-Русский научно-технический словарь
MEAN — 1) значить 2) иметь в виду 3) иметь значение 4) означать 5) подразумевать 6) приспособление 7) середина 8) способ 9) срединный 10) матем. среднее 11) среднее значение 12) средний 13) средний член 14) …
Англо-Русский научно-технический словарь
LIMIT — 1) граница 2) допредельный 3) допуск 4) лимитировать 5) лимитный 6) ограничивать • absolute limit of error — предел абсолютной погрешности absolutely translative limit — абсолютно транслятивный предел almost …
Англо-Русский научно-технический словарь
LAW
Англо-Русский научно-технический словарь
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ Теория меры и интегрирования является важным разделом общей теории математических функций, берущей начало с работ А.Лебега (1906) по …
Русский словарь Colier
ТОПОЛОГИЯ — раздел математики, занимающийся изучением свойств фигур (или пространств), которые сохраняются при непрерывных деформациях, таких, например, как растяжение, сжатие или изгибание. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Несмотря на заявления о независимости математики, никто не станет отрицать, что математика и физический мир связаны друг с другом. …
Русский словарь Colier
ВИТГЕНШТЕЙН — (Wittgenstein, Ludwig Josef Johann) (1889-1951), австрийский философ, один из наиболее влиятельных мыслителей 20 в. Витгенштейн родился в Вене 26 апреля …
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
ЭЛЕКТРОННЫЕ — ЭЛЕКТРОННЫЕ СХЕМЫ Хотя в аналоговых и цифровых электронных схемах используются одни и те же основные схемные элементы, такие, как резисторы, …
Русский словарь Colier
ЧИСЕЛ — раздел чистой математики, занимающийся изучением целых чисел 0, ?1, ?2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Новый большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
ERGODIC — эргодический completely ergodic system ≈ вполне эргодическая система geometrically ergodic chain ≈ геометрически эргодическая цепь individual ergodic theorem ≈ индивидуальная …
Новый большой Англо-Русский словарь

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

← ЛОГИЧЕСКАЯ СХЕМА ЛОГИЧЕСКАЯ ТЕОРИЯ→