АЛГЕБРА ВЫСКАЗЫВАНИЙ

Русско-английский перевод АЛГЕБРА ВЫСКАЗЫВАНИЙ

propositional algebra

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

АЛГЕБРА — f. algebra; алгебра логики, Boolean algebra; алгебра Ли, Lie algebra; алгебра с делением, division algebra
Russian-English Dictionary of the Mathematical Sciences
ВЫСКАЗЫВАНИЙ — Ana
Русско-Американский Английский словарь
АЛГЕБРА — Algebra
Русско-Американский Английский словарь
АЛГЕБРА — algebra
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
АЛГЕБРА — жен. algebra матричная алгебра — matrix algebra линейная алгебра — linear algebra матем. алгебра Ли — Lie algebra матем.
Русско-Английский словарь общей тематики
ВЫСКАЗЫВАНИЙ — The expressions
Russian Learner's Dictionary
АЛГЕБРА — Algebra
Russian Learner's Dictionary
АЛГЕБРА — algebra
Russian Learner's Dictionary
АЛГЕБРА — ж. algebra
Русско-Английский словарь
АЛГЕБРА — ж. algebra
Russian-English Smirnitsky abbreviations dictionary
ВЫСКАЗЫВАНИЙ — The expressions
Russian-English Edic
АЛГЕБРА — жен. algebra алгебра Ли — Lie algebra матем. линейная алгебра — linear algebra матем. матричная алгебра — matrix algebra
Русско-Английский краткий словарь по общей лексике
АЛГЕБРА — Algebra
Британский Русско-Английский словарь
АЛГЕБРА — algebra; ~ический algebraic(al)
Русско-Английский словарь - QD
АЛГЕБРА
Русский словарь Colier
АЛГЕБРА — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь …
Русский словарь Colier
АЛГЕБРА — жен. algebra матричная алгебра – matrix algebra линейная алгебра – linear algebra мат. алгебра Ли – Lie algebra мат. ж. …
Большой Русско-Английский словарь
АЛГЕБРА — алгебра algebra
Русско-Английский словарь Сократ
ВЫСКАЗЫВАНИЕ — n. expression, statement, proposition; исчисление высказываний, prepositional calculus
Russian-English Dictionary of the Mathematical Sciences
WISDOM — сущ. 1) мудрость to doubt smb's wisdom, to question smb's wisdom ≈ подвергать сомнению правильность/глубину некоторых высказываний to impart wisdom …
Большой Англо-Русский словарь
UNARY ALGEBRA — мат. унарная алгебра, алгебра с унарными операциями
Большой Англо-Русский словарь
TWO-VALUED — двузначный property of being two-valued ≈ матем. двузначность two-valued predicate calculus ≈ двузначное [классическое] исчисление предикатов two-valued propositional calculus ≈ …
Большой Англо-Русский словарь
TREE OF STATEMENTS — мат. дерево высказываний
Большой Англо-Русский словарь
SYMPOSIUM — сущ. 1) симпозиум, совещание по определенному научному вопросу to hold a symposium on ≈ проводить симпозиум (по каким-л. вопросам) 2) …
Большой Англо-Русский словарь
STRINGENCY — сущ. 1) строгость, суровость He insisted on the stringency of the received orders. ≈ Он настаивал на серьезности полученных приказов. …
Большой Англо-Русский словарь
SPONTANEOUS — прил. 1) самопроизвольный spontaneous combustion spontaneous generation Syn : self-acting 2) добровольный He made a spontaneous offer of help. ≈ …
Большой Англо-Русский словарь
SINGULAR PROSEQUENCE — мат. сингулярная последовательность высказываний, сингулярная просеквенция
Большой Англо-Русский словарь
SET OF SENTENCES — мат. множество высказываний
Большой Англо-Русский словарь
SENTENTIAL LANGUAGE — язык высказываний (в отличие от процедурного языка)
Большой Англо-Русский словарь
SENTENTIAL CALCULUS — исчисление высказываний
Большой Англо-Русский словарь
SENTENTIAL — I пропозициональный II сентенциальный сентенциозный, нравоучительный (математика) относящийся к высказываниям - * calculus исчисление высказываний
Большой Англо-Русский словарь
PROSEQUENCE — (логика) просеквенция, последовательность высказываний
Большой Англо-Русский словарь
PROPOSITIONAL LOGIC — логика высказываний
Большой Англо-Русский словарь
PROPOSITIONAL IMPLICATION — мат. импликация высказываний
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
LINEARLY — линейно, линейно зарегистрированный algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени bisymmetric linearly ordered groupoid ≈ бисимметричный линейно …
Большой Англо-Русский словарь
GENERATED — 1) генерированный 2) генерируемый 3) порождаемый 4) порожденный ∙ almost finitely generated module ≈ почти конечно порожденный модуль compactly generated …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Большой Англо-Русский словарь
ANA — сущ. 1) сборник анекдотов, высказываний, изречений 2) мн. анекдоты, рассказы о ком-л. (книжное) сборник изречений, анекдотов изречение, анекдот; рассказ ana …
Большой Англо-Русский словарь
ALGEBRA — сущ. 1) алгебра Boolean algebra Lie algebra linear algebra matrix algebra 2) учебник алгебры алгебра учебник алгебры algebra алгебра boolean …
Большой Англо-Русский словарь
SYMPOSIUM — symposium.ogg sımʹpəʋzıəm n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
LINEARLY — линейно, линейно зарегистрированный algebra of linearly bounded degree — алгебра линейно ограниченной степени bisymmetric linearly ordered groupoid — бисимметричный линейно упорядоченный группоид linearly …
Англо-Русский научно-технический словарь
ALGEBRA — алгебра algebra at infinity — алгебра на бесконечности algebra over a field — алгебра над полем algebra with unit element — алгебра с …
Англо-Русский научно-технический словарь
SYMPOSIUM — n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. 1) сборник …
Новый большой Англо-Русский словарь - Апресян, Медникова
SYMPOSIUM — n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. 1> сборник …
Большой новый Англо-Русский словарь
BOOLEAN ALGEBRA — Булева алгебра, алгебра логики. Алгебра, в которой переменные принимают значения "истина" (true) и "ложь" (false). Основные операции Булевой алгебры - …
Англо-Русский словарь по компьютерам
ATTITUDE SCALE — 1) соц. измерение установок, (предложение респонденту набора высказываний об исследуемом объекте (объекте, установка к которому измеряется), с которыми респондент соглашается …
Новый Англо-Русский толковый словарь по маркетингу и торговле
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Наступление 16 в. в Западной Европе ознаменовалось важными достижениями в алгебре и арифметике. Были введены в обращение десятичные …
Русский словарь Colier
ЧИСЛО — Понятие числа в математике может относиться к объектам различной природы: натуральным числам, используемым при счете (положительным целым числам 1, 2, …
Русский словарь Colier
РАЗУМ — РАЗУМ Дуалистические теории. Позицию субстанциального дуализма, хотя она и пользуется широкой популярностью, разделяют лишь немногие профессиональные философы и ученые. Отчасти …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
БУЛЬ — (Boole, George) (1815-1864), английский математик, создатель символической логики. Родился 2 ноября 1815 в Линкольне. Специального математического образования не получил. В …
Русский словарь Colier
SYMPOSIUM — сущ. 1) симпозиум, совещание по определенному научному вопросу to hold a symposium on ≈ проводить симпозиум (по каким-л. вопросам) 2) …
Новый большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
LINEARLY — линейно, линейно зарегистрированный algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени bisymmetric linearly ordered groupoid ≈ бисимметричный линейно …
Новый большой Англо-Русский словарь
GENERATED — 1) генерированный 2) генерируемый 3) порождаемый 4) порожденный ∙ almost finitely generated module ≈ почти конечно порожденный модуль compactly generated …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Новый большой Англо-Русский словарь
ANA — сущ. 1) сборник анекдотов, высказываний, изречений 2) мн. анекдоты, рассказы о ком-л. (книжное) сборник изречений, анекдотов изречение, анекдот; рассказ ana …
Новый большой Англо-Русский словарь
ALGEBRA — сущ. 1) алгебра Boolean algebra Lie algebra linear algebra matrix algebra 2) учебник алгебры алгебра учебник алгебры algebra алгебра boolean …
Новый большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Новый большой Англо-Русский словарь

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

← АЛГЕБРА ВУРФОВ АЛГЕБРА ВЫЧЕТОВ→