ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

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

Propositional calculus

Русско-Американский Английский словарь. Russian-American English dictionary . 2012

ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — sentential calculus
Большой Русско-Английский словарь
ИСЧИСЛЕНИЕ — Calculus
Русско-Американский Английский словарь
ВЫСКАЗЫВАНИЙ — Ana
Русско-Американский Английский словарь
ИСЧИСЛЕНИЕ — calculation; мат. calculus
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ИСЧИСЛЕНИЕ — с. 1. (вычисление) calculation, computation; ~ налога фин. calculation of a tax, tax calculation; 2. мат. calculus
Русско-Английский словарь общей тематики
ИСЧИСЛЕНИЕ — calculus
Новый Русско-Английский биологический словарь
ИСЧИСЛЕНИЕ — Calculation
Russian Learner's Dictionary
ВЫСКАЗЫВАНИЙ — The expressions
Russian Learner's Dictionary
ИСЧИСЛЕНИЕ — calculus
Russian Learner's Dictionary
ИСЧИСЛЕНИЕ — с. calculation; мат. calculus
Русско-Английский словарь
ИСЧИСЛЕНИЕ — с. calculation; мат. calculus
Russian-English Smirnitsky abbreviations dictionary
ИСЧИСЛЕНИЕ — calculus
Russian-English Edic
ВЫСКАЗЫВАНИЙ — The expressions
Russian-English Edic
ИСЧИСЛЕНИЕ — calculus, computation
Русско-Английский словарь по машиностроению и автоматизации производства
ИСЧИСЛЕНИЕ — ср. calculation; calculus матем. вести исчисление — ( от какой-л. даты ) to date - в долларовом исчислении - в …
Русско-Английский краткий словарь по общей лексике
ИСЧИСЛЕНИЕ — calculus матем., estimate, rating, numbering, numeration
Русско-Английский словарь по строительству и новым строительным технологиям
ИСЧИСЛЕНИЕ — Stone
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — Computing
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — Calculation
Британский Русско-Английский словарь
ИСЧИСЛЕНИЕ — numeration
Русско-Английский экономический словарь
ИСЧИСЛЕНИЕ — с. 1. (вычисление) calculation, computation; ~ налога фин. calculation of a tax, tax calculation; 2. мат. calculus
Русско-Английский словарь - QD
ИСЧИСЛЕНИЕ — ср. calculation calculus мат. вести исчисление – (от какой-л. Даты) to date дифференциальное исчисление вариационное исчисление интегральное исчисление с. 1. …
Большой Русско-Английский словарь
ИСЧИСЛЕНИЕ — исчисление calculus
Русско-Английский словарь Сократ
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь
ВЫСКАЗЫВАНИЕ — 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 — мат. импликация высказываний
Большой Англо-Русский словарь
NUMERATION — сущ. 1) исчисление, счет decimal numeration Syn : calculation, calculus 2) нумерация исчисление, счет - decimal * (математика) десятичная система …
Большой Англо-Русский словарь
CAPITATION — сущ. исчисление, производимое из расчета на одного человека capitation tax capitation grant (историческое) подушный налог, подушная подять сбор, плата (за …
Большой Англо-Русский словарь
ANA — сущ. 1) сборник анекдотов, высказываний, изречений 2) мн. анекдоты, рассказы о ком-л. (книжное) сборник изречений, анекдотов изречение, анекдот; рассказ ana …
Большой Англо-Русский словарь
SYMPOSIUM — symposium.ogg sımʹpəʋzıəm n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
SYMPOSIUM — n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. 1) сборник …
Новый большой Англо-Русский словарь - Апресян, Медникова
CALCULUS — I [ʹkælkjʋləs] n ( pl тж. -li) 1. мат. исчисление the (differential) ~ - дифференциальное исчисление ~ of probabilities - …
Новый большой Англо-Русский словарь - Апресян, Медникова
SYMPOSIUM — n ( pl -ia) 1. симпозиум, совещание по какому-л. специальному вопросу 2. философская или иная дружеская беседа 3. 1> сборник …
Большой новый Англо-Русский словарь
CALCULUS — _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities - …
Большой новый Англо-Русский словарь
ATTITUDE SCALE — 1) соц. измерение установок, (предложение респонденту набора высказываний об исследуемом объекте (объекте, установка к которому измеряется), с которыми респондент соглашается …
Новый Англо-Русский толковый словарь по маркетингу и торговле
РАЗУМ — РАЗУМ Дуалистические теории. Позицию субстанциального дуализма, хотя она и пользуется широкой популярностью, разделяют лишь немногие профессиональные философы и ученые. Отчасти …
Русский словарь Colier
КОНЕЧНЫЕ — Исчисление конечных разностей связано с изучением свойств и применений разностей между соседними членами какой-нибудь последовательности или между значениями функции в …
Русский словарь Colier
БУЛЬ — (Boole, George) (1815-1864), английский математик, создатель символической логики. Родился 2 ноября 1815 в Линкольне. Специального математического образования не получил. В …
Русский словарь Colier
SYMPOSIUM — сущ. 1) симпозиум, совещание по определенному научному вопросу to hold a symposium on ≈ проводить симпозиум (по каким-л. вопросам) 2) …
Новый большой Англо-Русский словарь
ANA — сущ. 1) сборник анекдотов, высказываний, изречений 2) мн. анекдоты, рассказы о ком-л. (книжное) сборник изречений, анекдотов изречение, анекдот; рассказ ana …
Новый большой Англо-Русский словарь

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

← ИСЧИСЛЕН ИСЧИСЛЕНИЕ КОРТЕЖЕЙ→