АРИФМЕТИКА ПРЕДИКАТОВ

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

predicative arithmetic

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

АРИФМЕТИКА — f. arithmetic; number theory
Russian-English Dictionary of the Mathematical Sciences
АРИФМЕТИКА — Arithmetic
Русско-Американский Английский словарь
АРИФМЕТИКА ?? — Arithmetical
Русско-Американский Английский словарь
АРИФМЕТИКА ?? — Arithmetic
Русско-Американский Английский словарь
АРИФМЕТИКА — arithmetic
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
АРИФМЕТИКА — arithmetic; учебник ~ики arithmetic-book; ~ический arithmetical; ~ическая задача problem, sum arithmetic
Русско-Английский словарь общей тематики
АРИФМЕТИКА — Arithmetics
Russian Learner's Dictionary
АРИФМЕТИКА — arithmetic
Russian Learner's Dictionary
АРИФМЕТИКА — ж. arithmetic
Русско-Английский словарь
АРИФМЕТИКА — ж. arithmetic
Russian-English Smirnitsky abbreviations dictionary
АРИФМЕТИКА — десятичная арифметика: decimal arithmetic
Russian-English Edic
АРИФМЕТИКА — жен. arithmetic
Русско-Английский краткий словарь по общей лексике
АРИФМЕТИКА — Arithmetic
Британский Русско-Английский словарь
АРИФМЕТИКА — arithmetic; учебник ~ики arithmetic-book; ~ический arithmetical; ~ическая задача problem, sum
Русско-Английский словарь - QD
АРИФМЕТИКА — искусство вычислений, производимых с положительными действительными числами. Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные …
Русский словарь Colier
АРИФМЕТИКА — жен. arithmetic арифмет|ика - ж. arithmetic учебник ~ики arithmetic-book ~ический arithmetical ~ическая задача problem, sum
Большой Русско-Английский словарь
АРИФМЕТИКА — арифметика arithmetic
Русско-Английский словарь Сократ
ЧИП — 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 ≈ …
Большой Англо-Русский словарь
TWO'S COMPLEMENT ARITHMETIC — арифметика дополнительных кодов, арифметика кодов с дополнением до двух
Большой Англо-Русский словарь
THREE R'S — разг. чтение, письмо и арифметика (reading, (w)riting, (а)rithmetic) сокр. от reading, 'riting, 'rithmetic) (школьное) (разговорное) чтение, письмо, арифметика
Большой Англо-Русский словарь
SUM — 1. сущ. 1) сумма, количество; величина, итог, совокупность to raise a sum (of money) ≈ достать сумму денег considerable sum, …
Большой Англо-Русский словарь
SET-THEORETIC — теоретико-множественный set-theoretic predicate logic ≈ теоретико-множественная логика предикатов - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog …
Большой Англо-Русский словарь
RESTRICTED PREDICATE CALCULUS — лог. узкое исчисление предикатов
Большой Англо-Русский словарь
QUANTIFICATIONAL LOGIC — мат. логика предикатов
Большой Англо-Русский словарь
PREDICATIVE CALCULUS — лог. исчисление предикатов
Большой Англо-Русский словарь
PREDICATIVE ARITHMETIC — арифметика предикатов
Большой Англо-Русский словарь
PREDICATE TRANSFORMER — преобразователь предикатов (функция, отображающая предикаты в предикаты)
Большой Англо-Русский словарь
PREDICATE OF PREDICATES — мат. предикат предикатов
Большой Англо-Русский словарь
PREDICATE LOGIC LANGUAGE — язык (программирования), основанный на логике предикатов
Большой Англо-Русский словарь
PREDICATE LOGIC-BASED LANGUAGE — язык (программирования), основанный на логике предикатов
Большой Англо-Русский словарь
PREDICATE LANGUAGE — язык предикатов
Большой Англо-Русский словарь
PREDICATE HIERARCHY — мат. иерархия предикатов
Большой Англо-Русский словарь
PREDICATE DOMAIN — мат. область предикатов
Большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Большой Англо-Русский словарь
NUMBER — 1. сущ. 1) а) мат. число; сумма, цифра; австрал. арифметика high number ≈ большое число low number ≈ небольшое число …
Большой Англо-Русский словарь
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 функциональная современная …
Большой Англо-Русский словарь
FIGURE — 1. сущ. 1) а) фигура (физический облик человека); телосложение; внешние очертания, форма тела The gown showed off her lovely figure. …
Большой Англо-Русский словарь
DERIVATION — сущ. 1) происхождение, источник, начало Why hast thou asked my derivation? ≈ Почему ты спросил меня о моем происхождении? Syn …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
ARITHMETIC — 1. сущ. арифметика; счет 2. прил.; = arithmetical арифметика - four operations of * четыре действия арифметики (разговорное) арифметика, знание …
Большой Англо-Русский словарь
FUNCTIONAL — functional.ogg 1. ʹfʌŋkʃ(ə)nəl n мат. функционал 2. ʹfʌŋkʃ(ə)nəl a 1. функциональный functional architecture - функционально-направленная архитектура functional stile - архит. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ARITHMETIC — arithmetic.ogg 1. əʹrıθmətık n 1. 1> арифметика four operations of arithmetic - четыре действия арифметики 2> разг. арифметика, знание арифметики …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
IDENTITY — 1) всегда-истинность 2) всегда-истинный 3) единица 4) единичный 5) идентичность 6) индивидуальность 7) конгруэнтность 8) одинаковость 9) опознание 10) отождествление 11) природа 12) тождественность 13) тождество • adjunction of an identity element — присоединение …
Англо-Русский научно-технический словарь
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь
ARITHMETIC — 1. [əʹrıθmətık] n 1. 1) арифметика four operations of ~ - четыре действия арифметики 2) разг. арифметика, знание арифметики his …
Новый большой Англо-Русский словарь - Апресян, Медникова
ARITHMETIC — 1. əʹrıθmətık n 1. 1> арифметика four operations of arithmetic - четыре действия арифметики 2> разг. арифметика, знание арифметики his …
Большой новый Англо-Русский словарь
PROLOG — (programming in logic) Пролог. Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. Программа на Прологе предствляет …
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
MODULAR ARITHMETIC — арифметика в остаточных классах, модулярная (модульная) арифметика, арифметика вычетов
Англо-Русский словарь компьютерной безопасности
CLOCK ARITHMETIC — (modular arithmetic) арифметика в остаточных классах, модулярная (модульная) арифметика, арифметика вычетов
Англо-Русский словарь компьютерной безопасности
SUM — 1. сущ. 1) сумма, количество; величина, итог, совокупность to raise a sum (of money) ≈ достать сумму денег considerable sum, …
Новый большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Новый большой Англо-Русский словарь
NUMBER — 1. сущ. 1) а) мат. число; сумма, цифра; австрал. арифметика high number ≈ большое число low number ≈ небольшое число …
Новый большой Англо-Русский словарь
FIGURE — 1. сущ. 1) а) фигура (физический облик человека); телосложение; внешние очертания, форма тела The gown showed off her lovely figure. …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь
ARITHMETIC — 1. сущ. арифметика; счет 2. прил.; = arithmetical арифметика - four operations of * четыре действия арифметики (разговорное) арифметика, знание …
Новый большой Англо-Русский словарь

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

← АРИФМЕТИКА ПОРЯДКОВ АРИФМЕТИКА С НАСЫЩЕНИЕМ→