ПРОПОЗИЦИОНАЛЬНАЯ АЛГЕБРА

Русско-английский перевод ПРОПОЗИЦИОНАЛЬНАЯ АЛГЕБРА

propositional algebra

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

АЛГЕБРА — f. algebra; алгебра логики, Boolean algebra; алгебра Ли, Lie algebra; алгебра с делением, division algebra
Russian-English Dictionary of the Mathematical Sciences
АЛГЕБРА — Algebra
Русско-Американский Английский словарь
АЛГЕБРА — algebra
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
АЛГЕБРА — жен. algebra матричная алгебра — matrix algebra линейная алгебра — linear algebra матем. алгебра Ли — Lie algebra матем.
Русско-Английский словарь общей тематики
АЛГЕБРА — Algebra
Russian Learner's Dictionary
АЛГЕБРА — algebra
Russian Learner's Dictionary
АЛГЕБРА — ж. algebra
Русско-Английский словарь
АЛГЕБРА — ж. algebra
Russian-English Smirnitsky abbreviations dictionary
АЛГЕБРА — жен. algebra алгебра Ли — Lie algebra матем. линейная алгебра — linear algebra матем. матричная алгебра — matrix algebra
Русско-Английский краткий словарь по общей лексике
АЛГЕБРА — Algebra
Британский Русско-Английский словарь
АЛГЕБРА — algebra; ~ический algebraic(al)
Русско-Английский словарь - QD
АЛГЕБРА
Русский словарь Colier
АЛГЕБРА — (общая алгебра), раздел современной математики, выросший из исследования уравнений и теории чисел. Свою теперешнюю форму абстрактная алгебра начала приобретать лишь …
Русский словарь Colier
АЛГЕБРА — жен. algebra матричная алгебра – matrix algebra линейная алгебра – linear algebra мат. алгебра Ли – Lie algebra мат. ж. …
Большой Русско-Английский словарь
АЛГЕБРА — алгебра algebra
Русско-Английский словарь Сократ
СВЯЗКА — f. sheaf, bundle, bunch, connective, band (semigroup theory), idempotent semigroup, tangle, net; пропозициональная связка, propositional connective
Russian-English Dictionary of the Mathematical Sciences
ПРОПОЗИЦИОНАЛЬНЫЙ — adj. prepositional, proposition; пропозициональная связка, propositional connective
Russian-English Dictionary of the Mathematical Sciences
UNARY ALGEBRA — мат. унарная алгебра, алгебра с унарными операциями
Большой Англо-Русский словарь
SENTENTIAL VARIABLE — мат. пропозициональная переменная
Большой Англо-Русский словарь
SENTENTIAL LOGIC — мат. пропозициональная логика
Большой Англо-Русский словарь
PROPOSITIONAL TAUTOLOGY — мат. пропозициональная тавтология
Большой Англо-Русский словарь
PROPOSITIONAL NETWORK — пропозициональная сеть
Большой Англо-Русский словарь
PROPOSITIONAL LETTER — мат. пропозициональная буква
Большой Англо-Русский словарь
PROPOSITIONAL INTERPRETATION — мат. пропозициональная интерпретация
Большой Англо-Русский словарь
PROPOSITIONAL HIERARCHY — пропозициональная иерархия; иерархия высказываний
Большой Англо-Русский словарь
PROPOSITIONAL FORMULA — мат. пропозициональная формула
Большой Англо-Русский словарь
PROPOSITIONAL FORM — мат. пропозициональная форма
Большой Англо-Русский словарь
PROPOSITIONAL CONNECTIVE — пропозициональная связка
Большой Англо-Русский словарь
PROPOSITIONAL AXIOM — мат. пропозициональная аксиома
Большой Англо-Русский словарь
PROPOSITIONAL ALGEBRA — алгебра высказываний; пропозициональная алгебра
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
PROPORSITIONAL CONNECTION — мат. пропозициональная связка
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
LINEARLY — линейно, линейно зарегистрированный algebra of linearly bounded degree ≈ алгебра линейно ограниченной степени bisymmetric linearly ordered groupoid ≈ бисимметричный линейно …
Большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
INTERPROPOSITIONAL CONNECTION — лингв. пропозициональная связка
Большой Англо-Русский словарь
GENERATED — 1) генерированный 2) генерируемый 3) порождаемый 4) порожденный ∙ almost finitely generated module ≈ почти конечно порожденный модуль compactly generated …
Большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Большой Англо-Русский словарь
ALGEBRA — сущ. 1) алгебра Boolean algebra Lie algebra linear algebra matrix algebra 2) учебник алгебры алгебра учебник алгебры algebra алгебра boolean …
Большой Англо-Русский словарь
UNARY PROPOSITIONAL CONNECTIVE — логика унарная пропозициональная связка
Англо-Русский научно-технический словарь
UNARY — одинарный unary propositional connective — унарная пропозициональная связка - unary algebra - unary enlargement - unary formula - unary function - unary functor - unary object - unary …
Англо-Русский научно-технический словарь
TAUTOLOGY — тавтология intuitionistic propositional tautology — интуиционистская пропозициональная тавтология positive predicate tautology — позитивная предикатная тавтология positive propositional tautology — позитивная пропозициональная тавтология - classical …
Англо-Русский научно-технический словарь
STATEMENT FORM — матем. пропозициональная форма
Англо-Русский научно-технический словарь
SENTENTIAL VARIABLE — матем. пропозициональная переменная
Англо-Русский научно-технический словарь
SENTENTIAL LOGIC — матем. пропозициональная логика
Англо-Русский научно-технический словарь
SENTENTIAL CONNECTIVE — логика пропозициональная связка
Англо-Русский научно-технический словарь
SENTENCE CONNECTIVE — логика пропозициональная связка
Англо-Русский научно-технический словарь
SENTENCE — 1) высказывание 2) предложение 3) суждение 4) фраза • absolutely existential sentence — абсолютно экзистенциальное высказывание almost false sentence — почти ложное высказывание almost true sentence — …
Англо-Русский научно-технический словарь
PROPOSITIONAL TAUTOLOGY — матем. пропозициональная тавтология
Англо-Русский научно-технический словарь
PROPOSITIONAL LETTER — матем. пропозициональная буква
Англо-Русский научно-технический словарь
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 — алгебра с …
Англо-Русский научно-технический словарь
BOOLEAN ALGEBRA — Булева алгебра, алгебра логики. Алгебра, в которой переменные принимают значения "истина" (true) и "ложь" (false). Основные операции Булевой алгебры - …
Англо-Русский словарь по компьютерам
МАТЕМАТИКИ — МАТЕМАТИКИ ИСТОРИЯ Наступление 16 в. в Западной Европе ознаменовалось важными достижениями в алгебре и арифметике. Были введены в обращение десятичные …
Русский словарь Colier
ЧИСЛО — Понятие числа в математике может относиться к объектам различной природы: натуральным числам, используемым при счете (положительным целым числам 1, 2, …
Русский словарь Colier
ГЕОМЕТРИИ — Геометрия - раздел математики, тесно связанный с понятием пространства; в зависимости от форм описания этого понятия возникают различные виды геометрии. …
Русский словарь Colier
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 …
Новый большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Новый большой Англо-Русский словарь
ALGEBRA — сущ. 1) алгебра Boolean algebra Lie algebra linear algebra matrix algebra 2) учебник алгебры алгебра учебник алгебры algebra алгебра boolean …
Новый большой Англо-Русский словарь
BOOLEAN ALGEBRA — мат. булева алгебра, алгебра логики (компьютерное) булева алгебра, алгебра логики
Новый большой Англо-Русский словарь

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

← ПРОПОЗИЦИОНАЛЬНАЯ АКСИОМА ПРОПОЗИЦИОНАЛЬНАЯ БУКВА→