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

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

лог. restricted predicate calculus

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

УЗКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — restricted predicate calculus
Новый Русско-Английский биологический словарь
УЗКОЕ — Uzkoye
Русско-Американский Английский словарь
ИСЧИСЛЕНИЕ — 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
Русско-Английский словарь Сократ
УИП — abbrev (узкое исчисление предикатов), restricted predicate calculus
Russian-English Dictionary of the Mathematical Sciences
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
ПРЕДИКАТ — m. predicate; исчисление предикатов, predicate calculus
Russian-English Dictionary of the Mathematical Sciences
ПИП — abbrev (прикладное исчисление предикатов), applied predicate calculus
Russian-English Dictionary of the Mathematical Sciences
SERPENTINE — Серпантин (узкое искусственное озеро в Гайд-Парке (Hyde Park) I] с лодочной станцией и пляжем) букв. змеевидное
Англо-Русский словарь Britain
VON NEUMANN BOTTLENECK — фон-неймановское узкое место (ограничение производительности из-за последовательного потока вычислений)
Большой Англо-Русский словарь
TWO-VALUED — двузначный property of being two-valued ≈ матем. двузначность two-valued predicate calculus ≈ двузначное [классическое] исчисление предикатов two-valued propositional calculus ≈ …
Большой Англо-Русский словарь
THROAT — 1. сущ. 1) горло, гортань; глотка a bone stuck in my throat ≈ у меня кость застряла в горле clear …
Большой Англо-Русский словарь
STENOPAEIC — спец. имеющий узкое отверстие, узкий просвет или вход (специальное) имеющий узкое отверстие, узкий просвет или вход
Большой Англо-Русский словарь
SHEATH
Большой Англо-Русский словарь
SET-THEORETIC — теоретико-множественный set-theoretic predicate logic ≈ теоретико-множественная логика предикатов - set-theoretic geometry - set-theoretic interpretation - set-theoretic intersection - set-theoretic jog …
Большой Англо-Русский словарь
RESTRICTED PREDICATE CALCULUS — лог. узкое исчисление предикатов
Большой Англо-Русский словарь
RESTRICTED — прил. ограниченный, узкий restricted application ≈ узкое применение restricted (publication) ≈ (издание) для служебного пользования restricted hotel ≈ гостиница для …
Большой Англо-Русский словарь
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 * (математика) десятичная система …
Большой Англо-Русский словарь
NARROW — 1. прил. 1) узкий narrow streets ≈ узкие улицы the narrow strip of land ≈ узкая полоска земли Ant : …
Большой Англо-Русский словарь
MONADIC — компьют. одноместный monadic [monic] homomorphism ≈ инъективный гомоморфизм, мономорфизм monadic predicate calculus ≈ исчисление одноместных предикатов - monadic algebra - …
Большой Англо-Русский словарь
LOOP-LIGHT — сущ. маленькое, узкое окно n маленькое, узкое окно loop-light маленькое, узкое окно
Большой Англо-Русский словарь
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
HIGHER PREDICATE CALCULUS — исчисление предикатов высших порядкоы
Большой Англо-Русский словарь
GULCH — сущ.; амер. узкое глубокое ущелье (особ. в золотоносных районах) (американизм) узкое глубокое ущелье (особенно в золотоносных районах) gulch амер. узкое …
Большой Англо-Русский словарь
GORGE — 1. сущ. 1) а) горло, глотка, пасть; зоб (у сокола) raise the gorge б) узкое ущелье, теснина в) перен. затор, …
Большой Англо-Русский словарь
FUNCTIONAL — (математика) функционал функциональный - * architecture функционально-направленная архитектура - * style (архитектура) функциональный стиль - * modern furniture функциональная современная …
Большой Англо-Русский словарь
DERIVATION — сущ. 1) происхождение, источник, начало Why hast thou asked my derivation? ≈ Почему ты спросил меня о моем происхождении? Syn …
Большой Англо-Русский словарь
CAPITATION — сущ. исчисление, производимое из расчета на одного человека capitation tax capitation grant (историческое) подушный налог, подушная подять сбор, плата (за …
Большой Англо-Русский словарь
BOTTLENECK — 1. сущ. 1) узкое место, препятствие, помеха 2) нехватка (ресурсов) bottleneck problem capacity bottlenecks 2. прил. дефицитный горлышко бутылки узкий …
Большой Англо-Русский словарь
BOTTLE-NECK — 1. сущ. 1) узкий проход Great ports then become the 'bottle-necks' of ocean traffic and congestion results. ≈ Большие порты, …
Большой Англо-Русский словарь
NARROW — 1. ʹnærəʋ n 1. редк. узкое место ( дороги, долины и т. п. ); узкий проход; теснина; улочка 2. обыкн. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей

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

← УЗКОГРУДЫЙ УЗКОЕ МЕСТО→