ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

Русско-английский перевод ИСЧИСЛЕНИЕ ПРЕДИКАТОВ

predicate calculus

Чибисова О.И., Смирнов Н.Н.. Новый Русско-Английский биологический словарь. New Russian-English biological dictionary . 2003

ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — лог. functional calculus, predicate calculus, predicative calculus
Большой Русско-Английский словарь
ИСЧИСЛЕНИЕ — Calculus
Русско-Американский Английский словарь
ИСЧИСЛЕНИЕ — calculation; мат. calculus
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ИСЧИСЛЕНИЕ — с. 1. (вычисление) calculation, computation; ~ налога фин. calculation of a tax, tax calculation; 2. мат. calculus
Русско-Английский словарь общей тематики
ИСЧИСЛЕНИЕ — calculus
Новый Русско-Английский биологический словарь
ИСЧИСЛЕНИЕ — Calculation
Russian Learner's Dictionary
ИСЧИСЛЕНИЕ — calculus
Russian Learner's Dictionary
ИСЧИСЛЕНИЕ — с. calculation; мат. calculus
Русско-Английский словарь
ИСЧИСЛЕНИЕ — с. calculation; мат. calculus
Russian-English Smirnitsky abbreviations dictionary
ИСЧИСЛЕНИЕ — calculus
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
Русско-Английский словарь Сократ
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
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 — …
Англо-Русский научно-технический словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь
ЧИП — abbrev (чистое исчисление предикатов), pure predicate calculus
Russian-English Dictionary of the Mathematical Sciences
УИП — abbrev (узкое исчисление предикатов), restricted predicate calculus
Russian-English Dictionary of the Mathematical Sciences
ПРЕДИКАТ — m. predicate; исчисление предикатов, predicate calculus
Russian-English Dictionary of the Mathematical Sciences
ПИП — abbrev (прикладное исчисление предикатов), applied predicate calculus
Russian-English Dictionary of the Mathematical Sciences
TWO-VALUED — двузначный property of being two-valued ≈ матем. двузначность two-valued predicate calculus ≈ двузначное [классическое] исчисление предикатов two-valued propositional calculus ≈ …
Большой Англо-Русский словарь
SET-THEORETIC — теоретико-множественный set-theoretic predicate logic ≈ теоретико-множественная логика предикатов - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog …
Большой Англо-Русский словарь
RESTRICTED PREDICATE CALCULUS — лог. узкое исчисление предикатов
Большой Англо-Русский словарь
QUANTIFICATIONAL LOGIC — мат. логика предикатов
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
PREDICATIVE CALCULUS — лог. исчисление предикатов
Большой Англо-Русский словарь
PREDICATIVE ARITHMETIC — арифметика предикатов
Большой Англо-Русский словарь
PREDICATE TRANSFORMER — преобразователь предикатов (функция, отображающая предикаты в предикаты)
Большой Англо-Русский словарь
PREDICATE OF PREDICATES — мат. предикат предикатов
Большой Англо-Русский словарь
PREDICATE LOGIC LANGUAGE — язык (программирования), основанный на логике предикатов
Большой Англо-Русский словарь
PREDICATE LOGIC-BASED LANGUAGE — язык (программирования), основанный на логике предикатов
Большой Англо-Русский словарь
PREDICATE LANGUAGE — язык предикатов
Большой Англо-Русский словарь
PREDICATE HIERARCHY — мат. иерархия предикатов
Большой Англо-Русский словарь
PREDICATE DOMAIN — мат. область предикатов
Большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Большой Англо-Русский словарь
NUMERATION — сущ. 1) исчисление, счет decimal numeration Syn : calculation, calculus 2) нумерация исчисление, счет - decimal * (математика) десятичная система …
Большой Англо-Русский словарь
MONADIC — компьют. одноместный monadic [monic] homomorphism ≈ инъективный гомоморфизм, мономорфизм monadic predicate calculus ≈ исчисление одноместных предикатов - monadic algebra - …
Большой Англо-Русский словарь
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
HIGHER PREDICATE CALCULUS — исчисление предикатов высших порядкоы
Большой Англо-Русский словарь
FUNCTIONAL — (математика) функционал функциональный - * architecture функционально-направленная архитектура - * style (архитектура) функциональный стиль - * modern furniture функциональная современная …
Большой Англо-Русский словарь
DERIVATION — сущ. 1) происхождение, источник, начало Why hast thou asked my derivation? ≈ Почему ты спросил меня о моем происхождении? Syn …
Большой Англо-Русский словарь
CAPITATION — сущ. исчисление, производимое из расчета на одного человека capitation tax capitation grant (историческое) подушный налог, подушная подять сбор, плата (за …
Большой Англо-Русский словарь
FUNCTIONAL — functional.ogg 1. ʹfʌŋkʃ(ə)nəl n мат. функционал 2. ʹfʌŋkʃ(ə)nəl a 1. функциональный functional architecture - функционально-направленная архитектура functional stile - архит. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
CALCULUS — calculus.ogg _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
IDENTITY — 1) всегда-истинность 2) всегда-истинный 3) единица 4) единичный 5) идентичность 6) индивидуальность 7) конгруэнтность 8) одинаковость 9) опознание 10) отождествление 11) природа 12) тождественность 13) тождество • adjunction of an identity element — присоединение …
Англо-Русский научно-технический словарь
CALCULUS — I [ʹkælkjʋləs] n ( pl тж. -li) 1. мат. исчисление the (differential) ~ - дифференциальное исчисление ~ of probabilities - …
Новый большой Англо-Русский словарь - Апресян, Медникова
CALCULUS — _I ʹkælkjʋləs n ( pl тж. -li) 1. мат. исчисление the (differential) calculus - дифференциальное исчисление calculus of probabilities - …
Большой новый Англо-Русский словарь
PROLOG — (programming in logic) Пролог. Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. Программа на Прологе предствляет …
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
КОНЕЧНЫЕ — Исчисление конечных разностей связано с изучением свойств и применений разностей между соседними членами какой-нибудь последовательности или между значениями функции в …
Русский словарь Colier
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Новый большой Англо-Русский словарь

Новый Русско-Английский биологический словарь

← ИСЧИСЛЕНИЕ ИТАГИН→