ЯЗЫК ПРЕДИКАТОВ

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

predicate language

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

ЯЗЫК ПРЕДИКАТОВ — predicate language
Русско-Английский словарь по машиностроению и автоматизации производства
ЯЗЫК — m. language, tongue; язык программирования, programming language
Russian-English Dictionary of the Mathematical Sciences
ЯЗЫК — Language
Русско-Американский Английский словарь
ЯЗЫК — 1. м. 1. анат. ( тж. перен. ) tongue обложенный язык мед. — coated / furred tongue воспаление языка мед. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ЯЗЫК — 1. tongue; показать ~ кому-л. 1) (врачу) show* smb. one`s tongue; 2) (дразня) put* out one`s tongue at smb. злой …
Русско-Английский словарь общей тематики
ЯЗЫК — 1) glossa 2) lingua 3) tongue
Новый Русско-Английский биологический словарь
ЯЗЫК — Language
Russian Learner's Dictionary
ЯЗЫК — language
Russian Learner's Dictionary
ЯЗЫК — 1. м. 1. анат. ( тж. перен. ) tongue обложенный язык мед. — coated / furred tongue воспаление языка мед. …
Русско-Английский словарь
ЯЗЫК — 1. м. 1. анат. ( тж. перен. ) tongue обложенный язык мед. — coated / furred tongue воспаление языка мед. …
Russian-English Smirnitsky abbreviations dictionary
ЯЗЫК — (напр. цеховой) jargon проф., language
Русско-Английский словарь по машиностроению и автоматизации производства
ЯЗЫК — I муж. 1) tongue прям. и перен. языки пламени — tongues of flame воспаление языка — мед. glossitis обложенный язык …
Русско-Английский краткий словарь по общей лексике
ЯЗЫК — Language
Британский Русско-Английский словарь
ЯЗЫК — ЯЗЫК , -а, ЯЗЫЧНИК , -а, м. Студент факультета иностранных языков или языкового вуза. Языки-переводчики . Из студ.
Англо-Русско-Английский словарь сленга, жаргона, русских имен
ЯЗЫК — Оперативный работник, следователь
Англо-Русско-Английский словарь сленга, жаргона, русских имен
ЯЗЫК — 1. tongue; показать ~ кому-л. 1) (врачу) show* smb. one`s tongue; 2) (дразня) put* out one`s tongue at smb. злой ~ wicked/bitter tongue; 2. …
Русско-Английский словарь - QD
ЯЗЫК — language, parlance
Русско-Английский юридический словарь
ЯЗЫК — language
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ЯЗЫК — ЯЗЫК см.также ИНОСТРАННЫЕ ЯЗЫКИ , ФИЛОЛОГИЯ Язык - слишком важная вещь, чтобы доверять его языковедам. Ольгерд Терлецкий Язык - это …
English-Russian aphorisms, русские афоризмы
ЯЗЫК — I муж. 1) tongue прям. и перен. языки пламени – tongues of flame обложенный язык – coated/ furred tongue воспаление …
Большой Русско-Английский словарь
ЯЗЫК — язык lang language;tongue;parlance
Русско-Английский словарь Сократ
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Большой Англо-Русский словарь
ЧИП — 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 ≈ …
Большой Англо-Русский словарь
TONGUE — сущ. 1) а) язык furred/dirty/foul/coated tongue ≈ обложенный язык (у больного) б) язык (еда) 2) что-л., имеющее форму языка, напоминающее …
Большой Англо-Русский словарь
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 — исчисление предикатов лог. исчисление предикатов
Большой Англо-Русский словарь
MONADIC — компьют. одноместный monadic [monic] homomorphism ≈ инъективный гомоморфизм, мономорфизм monadic predicate calculus ≈ исчисление одноместных предикатов - monadic algebra - …
Большой Англо-Русский словарь
HIGHER PREDICATE CALCULUS — исчисление предикатов высших порядкоы
Большой Англо-Русский словарь
FUNCTIONAL — (математика) функционал функциональный - * architecture функционально-направленная архитектура - * style (архитектура) функциональный стиль - * modern furniture функциональная современная …
Большой Англо-Русский словарь
DUTCH — 1. прил. 1) а) нидерландский; голландский (о языке, культуре) Dutch school ≈ фламандская школа живописи the collections of pictures of …
Большой Англо-Русский словарь
DERIVATION — сущ. 1) происхождение, источник, начало Why hast thou asked my derivation? ≈ Почему ты спросил меня о моем происхождении? Syn …
Большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Большой Англо-Русский словарь
TONGUE — tongue.ogg 1. tʌŋ n 1. 1> язык furred /dirty, foul, coated/ tongue - обложенный язык ( больного ) to put …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FUNCTIONAL — functional.ogg 1. ʹfʌŋkʃ(ə)nəl n мат. функционал 2. ʹfʌŋkʃ(ə)nəl a 1. функциональный functional architecture - функционально-направленная архитектура functional stile - архит. …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
LANGUAGE — язык absolutely adequate language — абсолютно адекватный язык absolutely homogeneous language — абсолютно однородный язык absolutely inadequate language — абсолютно неадекватный язык absolutely nonhomogeneous …
Англо-Русский научно-технический словарь
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 — …
Англо-Русский научно-технический словарь
LANGUAGE — language сущ.языка) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language …
Англо-Русский словарь Tiger
TONGUE — 1. [tʌŋ] n 1. 1) язык furred /dirty, foul, coated/ ~ - обложенный язык ( больного ) to put out …
Новый большой Англо-Русский словарь - Апресян, Медникова
TONGUE — 1. tʌŋ n 1. 1> язык furred /dirty, foul, coated/ tongue - обложенный язык ( больного ) to put out …
Большой новый Англо-Русский словарь
LANGUAGE — сущ. язык а) ( как способ и средство общения ) речь to butcher, murder a language — искажать язык to …
Англо-Русский словарь по общей лексике
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language — искажать язык to enrich a language — обогащать язык to …
Англо-Русский словарь общей лексики
PROLOG — (programming in logic) Пролог. Язык программирования, основанный на исчислении предикатов и используемый в задачах искусственного интеллекта. Программа на Прологе предствляет …
Англо-Русский словарь по компьютерам
N-ORDER LOGIC — исчисление предикатов N-ного порядка. Исчисление предикатов, в котором в качестве аргументов предикатов и кванторов могут выступать предикаты порядка от нуля …
Англо-Русский словарь по компьютерам
TONGUE — сущ. 1) а) язык furred/dirty/foul/coated tongue ≈ обложенный язык (у больного) б) язык (еда) 2) что-л., имеющее форму языка, напоминающее …
Новый большой Англо-Русский словарь
PREDICATE CALCULUS — исчисление предикатов лог. исчисление предикатов
Новый большой Англо-Русский словарь
LANGUAGE — сущ. язык а) (как способ и средство общения) речь to butcher, murder a language ≈ искажать язык to enrich a …
Новый большой Англо-Русский словарь
CALCULUS — I сущ.; мн. -li; мед. камень bladder calculi ≈ камни в мочевом пузыре Syn : stone II сущ.; мн. -es …
Новый большой Англо-Русский словарь

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

← ЯЗЫК ПРАВИЛ ЯЗЫК ПРЕДСТАВЛЕНИЙ→