ЛОГИКА ВЫСКАЗЫВАНИЙ

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

propositional logic

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

ЛОГИКА — f. logic; математическая логика, mathematical logic; функции алгебры логики, Boolean functions
Russian-English Dictionary of the Mathematical Sciences
ЛОГИКА — Logic
Русско-Американский Английский словарь
ВЫСКАЗЫВАНИЙ — Ana
Русско-Американский Английский словарь
ЛОГИКА — logic нарушение логики — paralogism
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ЛОГИКА — logic; ~ вещей the logic of things; ~ событий the logic of events; у него своя ~ he acts according …
Русско-Английский словарь общей тематики
ЛОГИКА — The logician
Russian Learner's Dictionary
ВЫСКАЗЫВАНИЙ — The expressions
Russian Learner's Dictionary
ЛОГИКА — logic
Russian Learner's Dictionary
ЛОГИКА — ж. logic нарушение логики — paralogism
Русско-Английский словарь
ЛОГИКА — ж. logic нарушение логики — paralogism
Russian-English Smirnitsky abbreviations dictionary
ЛОГИКА — logic
Russian-English Edic
ВЫСКАЗЫВАНИЙ — The expressions
Russian-English Edic
ЛОГИКА — logic
Русско-Английский словарь по машиностроению и автоматизации производства
ЛОГИКА — жен. logic четкая логика — clear logic дедуктивная логика — deductive logic индуктивная логика — inductive logic нарушение логики — …
Русско-Английский краткий словарь по общей лексике
ЛОГИКА — Logical
Британский Русско-Английский словарь
ЛОГИКА — logic; ~ вещей the logic of things; ~ событий the logic of events; у него своя ~ he acts according to a logic …
Русско-Английский словарь - QD
ЛОГИКА — logic
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ЛОГИКА — ЛОГИКА Логика есть анатомия мышления. Джон Локк Логика - это нравственность мысли и речи. Ян Лукасевич Логика - это искусство …
English-Russian aphorisms, русские афоризмы
ЛОГИКА — жен. logic четкая логика – clear logic индуктивная логика – inductive logic дедуктивная логика – deductive logic нарушение логики – …
Большой Русско-Английский словарь
ЛОГИКА — логика p logic
Русско-Английский словарь Сократ
ВЫСКАЗЫВАНИЕ — 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 …
Большой Англо-Русский словарь
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 ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
COMBINATIONAL LOGIC — 1. комбинаторная логика 2. комбинационная логика, комбинационные логические схемы 1. комбинаторная логика 2. комбинационные логические схемы
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
ARITHMETIC LOGIC — 1. логика арифметических операций, арифметическая логика 2. логика схемы арифметического устройства
Большой Англо-Русский словарь
ANA — сущ. 1) сборник анекдотов, высказываний, изречений 2) мн. анекдоты, рассказы о ком-л. (книжное) сборник изречений, анекдотов изречение, анекдот; рассказ ana …
Большой Англо-Русский словарь
SYMPOSIUM — symposium.ogg sımʹpəʋzıəm n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VARIABLE — 1) машиностр. варьируемый 2) величина 3) изменчивый 4) изменяемый 5) переменная 6) переменный 7) регулируемый • absolutely continuous random variable — абсолютно непрерывная случайная величина absolutely integrable variable — …
Англо-Русский научно-технический словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
SYMPOSIUM — n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. 1) сборник …
Новый большой Англо-Русский словарь - Апресян, Медникова
LOGIC — n 1. 1) логика ( наука ) 2) логика, логичность ( аргументации и т. п. ); разумность; закономерность to argue …
Новый большой Англо-Русский словарь - Апресян, Медникова
SYMPOSIUM — n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. 1> сборник …
Большой новый Англо-Русский словарь
LOGIC — n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность to argue …
Большой новый Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
ATTITUDE SCALE — 1) соц. измерение установок, (предложение респонденту набора высказываний об исследуемом объекте (объекте, установка к которому измеряется), с которыми респондент соглашается …
Новый Англо-Русский толковый словарь по маркетингу и торговле
КИТАЙСКАЯ
Русский словарь Colier
РАЗУМ — РАЗУМ Дуалистические теории. Позицию субстанциального дуализма, хотя она и пользуется широкой популярностью, разделяют лишь немногие профессиональные философы и ученые. Отчасти …
Русский словарь Colier
БУЛЬ — (Boole, George) (1815-1864), английский математик, создатель символической логики. Родился 2 ноября 1815 в Линкольне. Специального математического образования не получил. В …
Русский словарь Colier
АНАЛИТИЧЕСКАЯ — преобладающее течение мысли в англоязычных странах 20 в.; способ философствования, ориентирующийся на идеалы ясности, точности и логической строгости. Последние были …
Русский словарь Colier
SYMPOSIUM — сущ. 1) симпозиум, совещание по определенному научному вопросу to hold a symposium on ≈ проводить симпозиум (по каким-л. вопросам) 2) …
Новый большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь
ANA — сущ. 1) сборник анекдотов, высказываний, изречений 2) мн. анекдоты, рассказы о ком-л. (книжное) сборник изречений, анекдотов изречение, анекдот; рассказ ana …
Новый большой Англо-Русский словарь

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

← ЛОГИКА ВЫВОДОВ ЛОГИКА ВЫЧИСЛИТЕЛЬНОЙ МАШИНЫ→