ТЕОРЕМА ИСТИННОСТИ

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

мат. validity theorem

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

ТЕОРЕМА — f. theorem
Russian-English Dictionary of the Mathematical Sciences
ТЕОРЕМА — Theorem
Русско-Американский Английский словарь
ТЕОРЕМА — theorem доказать теорему — prove a theorem
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ТЕОРЕМА — theorem
Русско-Английский словарь общей тематики
ТЕОРЕМА — theorem
Russian Learner's Dictionary
ТЕОРЕМА — ж. мат. theorem доказать теорему — prove a theorem
Русско-Английский словарь
ТЕОРЕМА — ж. мат. theorem доказать теорему — prove a theorem
Russian-English Smirnitsky abbreviations dictionary
ТЕОРЕМА — law, theorem
Русско-Английский словарь по строительству и новым строительным технологиям
ТЕОРЕМА — Theorem
Британский Русско-Английский словарь
ТЕОРЕМА — theorem
Русско-Английский экономический словарь
ТЕОРЕМА — theorem
Русско-Английский словарь - QD
ТЕОРЕМА — см. доказывать теорему
Русско-Английский научно-технический словарь переводчика
ТЕОРЕМА — 1) proposition 2) Thm
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ТЕОРЕМА — жен. мат. theorem доказать теорему обратная теорема ж. theorem
Большой Русско-Английский словарь
ТЕОРЕМА — теорема theorem
Русско-Английский словарь Сократ
ИСТИННОСТЬ — f. truth; таблица истинности, truth table; значение истинности, truth value
Russian-English Dictionary of the Mathematical Sciences
VALIDITY THEOREM — мат. теорема истинности
Большой Англо-Русский словарь
TRUTH VALUE — истинностное значение; значение истинности
Большой Англо-Русский словарь
TRUTH THEOREM — мат. теорема об истинности
Большой Англо-Русский словарь
TRUTH TABLE — лог. истинностная таблица, таблица истинности (логика) таблица истинности
Большой Англо-Русский словарь
TRUTH SET — мат. множество истинности (математика) условие истинности уравнения
Большой Англо-Русский словарь
TRUTH LEMMA — мат. лемма об истинности
Большой Англо-Русский словарь
TRUTH FUNCTION — функция истинности
Большой Англо-Русский словарь
TRUTH ELEMENT — мат. элемент истинности
Большой Англо-Русский словарь
TRUTH DIAGRAM — диаграмма [таблица] истинности
Большой Англо-Русский словарь
TRUTH DEGREE — мат. степень истинности
Большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Большой Англо-Русский словарь
SUSPECT — 1. сущ. подозреваемый или подозрительный человек 2. прил.; предик. подозрительный; подозреваемый, сомнительный 3. гл. 1) подозревать 2) сомневаться в истинности, …
Большой Англо-Русский словарь
STAND ON — 1) зависеть от чего-л. 2) мор. идти прежним курсом We stood on for the next hour while the wind was …
Большой Англо-Русский словарь
ERGODIC — эргодический completely ergodic system ≈ вполне эргодическая система geometrically ergodic chain ≈ геометрически эргодическая цепь individual ergodic theorem ≈ индивидуальная …
Большой Англо-Русский словарь
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
Англо-Русский научно-технический словарь
STAND ON — 1) зависеть от чего-л. 2) мор. идти прежним курсом We stood on for the next hour while the wind was …
Англо-Русский словарь Tiger
STAND ON — 1) зависеть от чего-л. 2) мор. идти прежним курсом We stood on for the next hour while the wind was …
Англо-Русский словарь по общей лексике
STAND ON — 1) зависеть от чего-л. 2) мор. идти прежним курсом We stood on for the next hour while the wind was in our …
Англо-Русский словарь общей лексики
RULE-ORIENTED PROGRAMMING — продукционное программирование, логическое программирование. Подход к программированию, при котором программа задается совокупностью правил, последовательность применения которых в явном виде не …
Англо-Русский словарь по компьютерам
ФУНКЦИЙ — ФУНКЦИЙ ТЕОРИЯ Теория меры и интегрирования является важным разделом общей теории математических функций, берущей начало с работ А.Лебега (1906) по …
Русский словарь Colier
ТОПОЛОГИЯ — раздел математики, занимающийся изучением свойств фигур (или пространств), которые сохраняются при непрерывных деформациях, таких, например, как растяжение, сжатие или изгибание. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Несмотря на заявления о независимости математики, никто не станет отрицать, что математика и физический мир связаны друг с другом. …
Русский словарь Colier
МАТЕМАТИКА — МАТЕМАТИКА Рождение математики. Около 2000 до н.э. было замечено, что в треугольнике со сторонами в 3, 4 и 5 единиц …
Русский словарь Colier
ДЭВИДСОН — (Davidson, Donald) (р. 1917), американский философ. Родился 6 марта 1917 в Спрингфилде (шт. Массачусетс). Окончил Гарвардский университет. Преподавал в Станфордском, …
Русский словарь Colier
ВЕРОЯТНОСТЕЙ — ВЕРОЯТНОСТЕЙ ТЕОРИЯ Современная теория вероятностей, подобно другим разделам математики, например геометрии, состоит из результатов, выводимых логическим путем из некоторых основных …
Русский словарь Colier
БРЭДЛИ — (Bradley, Francis Herbert) (1846-1924), английский философ, в течение почти полувека признанный лидер британского неогегельянства. Родился 30 января 1846 в Клапеме …
Русский словарь Colier
АРАБСКАЯ — АРАБСКАЯ ФИЛОСОФИЯ Что касается собственно теоретического знания, то наиболее близкими к философии оказываются филология и фикх. Классическая арабская филология представляет …
Русский словарь Colier
АПОЛОГЕТИКА — раздел теологии, посвященный рациональной защите истинности христианского вероучения. Греческим словом apologia (защита) первоначально называли речь защитника на суде в ответ …
Русский словарь Colier
АЙЕР — (Ayer, Alfred Jules) (1910-1989), английский философ, представитель логического эмпиризма (британской версии логического позитивизма). Родился в Лондоне 29 октября 1910. Получил …
Русский словарь Colier
ЭЛЕКТРОННЫЕ — ЭЛЕКТРОННЫЕ СХЕМЫ Хотя в аналоговых и цифровых электронных схемах используются одни и те же основные схемные элементы, такие, как резисторы, …
Русский словарь Colier
ЧИСЕЛ — раздел чистой математики, занимающийся изучением целых чисел 0, ?1, ?2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. …
Русский словарь Colier
ПЕРИПАТЕТИЗМ — одно из направлений средневековой арабо-исламской философии. Основные представители -ал-Кинд (800-879), ал-Фрб (870-950), Ибн Сн (Авиценна 980-1037), Ибн уфайл (1110-1185), Ибн …
Русский словарь Colier
ДЕКАРТ — (Descartes, Ren, латинизированное имя - Картезий, Renatus Cartesius) (1596-1650), французский философ, математик и естествоиспытатель, более других ответственный за идеи и …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
БИБЛИЯ
Русский словарь Colier
АРАБСКАЯ — АРАБСКАЯ ФИЛОСОФИЯ В мутазилизме Первоначало понимается как совершенно простое и единое. Одной из главных проблем здесь оказывается самотождественность начала, рассматриваемого …
Русский словарь Colier
TRUTH TABLE — лог. истинностная таблица, таблица истинности (логика) таблица истинности
Новый большой Англо-Русский словарь
TRUTH SET — мат. множество истинности (математика) условие истинности уравнения
Новый большой Англо-Русский словарь
THEOREM — сущ. теорема to deduce a theorem ≈ выводить теорему to formulate a theorem ≈ формулировать теорему to prove a theorem …
Новый большой Англо-Русский словарь
SUSPECT — 1. сущ. подозреваемый или подозрительный человек 2. прил.; предик. подозрительный; подозреваемый, сомнительный 3. гл. 1) подозревать 2) сомневаться в истинности, …
Новый большой Англо-Русский словарь
STAND ON — 1) зависеть от чего-л. 2) мор. идти прежним курсом We stood on for the next hour while the wind was …
Новый большой Англо-Русский словарь
ERGODIC — эргодический completely ergodic system ≈ вполне эргодическая система geometrically ergodic chain ≈ геометрически эргодическая цепь individual ergodic theorem ≈ индивидуальная …
Новый большой Англо-Русский словарь

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

← ТЕОРЕМА ИСКАЖЕНИЯ ТЕОРЕМА КАРУНЕНА-ЛОЭВЕ→