ПРЕДИКАТ ПЕРВОГО ПОРЯДКА

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

мат. first-order predicate

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

ПРЕДИКАТ — m. predicate; исчисление предикатов, predicate calculus
Russian-English Dictionary of the Mathematical Sciences
ПРЕДИКАТ — Predicate
Русско-Американский Английский словарь
ПРЕДИКАТ — predicate
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ПРЕДИКАТ — predicate; ~ивный predicative; ~ивное прилагательное predicative adjective филос. грам. predicate
Русско-Английский словарь общей тематики
ПОРЯДКА — The order
Russian Learner's Dictionary
ПЕРВОГО — First
Russian Learner's Dictionary
ПРЕДИКАТ — м. филос. , грам. predicate
Русско-Английский словарь
ПРЕДИКАТ — м. филос. , грам. predicate
Russian-English Smirnitsky abbreviations dictionary
ПРЕДИКАТ — Predicate
Британский Русско-Английский словарь
ПРЕДИКАТ — predicate; ~ивный predicative; ~ивное прилагательное predicative adjective
Русско-Английский словарь - QD
ПОРЯДКА — см. тж. около ; приблизительно • If A and B are square matrices of order n ( or of the …
Русско-Английский научно-технический словарь переводчика
ПРЕДИКАТ — predicate
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПОРЯДКА — см. перегрузки порядка ; син. около 1 ; примерно …the Soyuz spacecraft orbited the Earth at an altitude of about …
Русско-Английский словарь идиом по космонавтике
ПРЕДИКАТ — муж. филос. грам. predicate м. predicate ~ивный predicative ~ивное прилагательное predicative adjective
Большой Русско-Английский словарь
ПРЕДИКАТ — предикат predicate
Русско-Английский словарь Сократ
ORDER — 1) доупорядочивать 2) заказ 3) заказывать 4) команда 5) кратность 6) наряд 7) ордер 8) очередность 9) порядковый 10) порядок 11) последовательность 12) приказ 13) ранговый 14) располагать по порядку 15) распоряжаться 16) расстановка 17) упорядоченность 18) …
Англо-Русский научно-технический словарь
ДИФФЕРЕНЦИАЛЬНЫЕ — Многие физические законы, которым подчиняются те или иные явления, записываются в виде математического уравнения, выражающего определенную зависимость между какими-то величинами. …
Русский словарь Colier
ХИМИЧЕСКАЯ — ХИМИЧЕСКАЯ КИНЕТИКА И ХИМИЧЕСКОЕ РАВНОВЕСИЕ В одном кинетическом эксперименте нередко участвуют одновременно две или несколько реакций, при этом их скорости …
Русский словарь Colier
VARIABLE PREDICATE — мат. переменный предикат
Большой Англо-Русский словарь
UNIVERSAL PREDICATE — мат. универсальный предикат
Большой Англо-Русский словарь
UNITARY PREDICATE — мат. одноместный предикат
Большой Англо-Русский словарь
UNDECIDABLE PREDICATE — мат. неразрешимый предикат
Большой Англо-Русский словарь
UNARY PREDICATE — мат. унарный предикат
Большой Англо-Русский словарь
TWO-PLACE PREDICATE — мат. двуместный предикат
Большой Англо-Русский словарь
TRUTH PREDICATE — мат. смысловой предикат
Большой Англо-Русский словарь
TRIADIC PREDICATE — мат. трехместный предикат
Большой Англо-Русский словарь
TOTAL PREDICATE — мат. всюду определенный предикат
Большой Англо-Русский словарь
THEORETIC PREDICATE — мат. теоретический предикат
Большой Англо-Русский словарь
TEE — I 1. сущ. 1) название буквы Т 2) вещь, имеющая форму буквы Т; тройник 2. прил.; тех. тавровый; Т-образный Syn …
Большой Англо-Русский словарь
SYMMETRIC PREDICATE — мат. симметрический предикат
Большой Англо-Русский словарь
STRONG PREDICATE — мат. сильный предикат
Большой Англо-Русский словарь
SIGHT — 1. сущ. 1) зрение near sight ≈ близорукость long sight ≈ дальнозоркость loss of sight ≈ потеря зрения, слепота short …
Большой Англо-Русский словарь
RIOT — 1. сущ. 1) бунт; восстание, мятеж to cause, foment, incite a riot ≈ вызвать бунт to crush, put down, quell …
Большой Англо-Русский словарь
REPRESENTABLE — представимый, изобразимый analytically representable function ≈ аналитически представимая функция completely representable predicate ≈ полностью представимый предикат numeralwise [numerically] representable ≈ …
Большой Англо-Русский словарь
REFUSAL — сущ. 1) отказ, непринятие to meet with a refusal ≈ столкнуться с отказом, встретить отказ I could not comprehend her …
Большой Англо-Русский словарь
RATER — сущ. ругатель; ворчун Syn : swearer, habitual user of bad language оценщик; тарификатор ворчун; ругатель; сварливая женщина rater в сложных …
Большой Англо-Русский словарь
QUADRIC — 1) квадрика 2) второй степени 3) квадратичный ∙ confocal quadric surfaces ≈ софокусные поверхности второго порядка polar of quadric surface …
Большой Англо-Русский словарь
PREDICATE — 1. сущ. 1) грам. предикат, сказуемое 2) лог. утверждение 2. гл. 1) утверждать тж. лог. (of, about) Syn : affirm, …
Большой Англо-Русский словарь
POLICE — 1. сущ. 1) а) полиция city police municipal police local police mounted police secret police security police state police police …
Большой Англо-Русский словарь
ORDER — 1. сущ. 1) порядок, расположение в определенном порядке in order ≈ по порядку out of order ≈ не по порядку …
Большой Англо-Русский словарь
NUISANCE — сущ. 1) досада; неприятность to cause, create a nuisance ≈ доставлять неприятности confounded, damned, perpetual nuisance ≈ вечные неприятности It …
Большой Англо-Русский словарь
FIRST — 1. числ. поряд. первый а) первый по счету; следующий раньше всех по порядку б) занимающий ведущее положение, главный, лучший first …
Большой Англо-Русский словарь
DISORDERLY — 1. прил. 1) беспорядочный, неорганизованный a disorderly pile of clothes ≈ беспорядочная куча одежды The disorderly state of Peru was …
Большой Англо-Русский словарь
DECIDABLE — разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно …
Большой Англо-Русский словарь
BREACH — 1. сущ. 1) мор. волны, разбивающиеся о берег или о судно clean breach clear breach 2) перен. нарушение (закона, моральных …
Большой Англо-Русский словарь
ПЕРВЫЙ — first; ( о странице газеты ) front; ( из упомянутых выше ) former; ( самый ранний ) earliest первое января, …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ORDER — order.ogg 1. ʹɔ:də n _I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical chronological order - алфавитный …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FIRST — 1. fɜ:st n 1. (the first) первое (число) on the first of May - первого мая 2. первый (человек) ( …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TIME — 1) времена 2) временной 3) время 4) измерять 5) момент 6) отмечать время 7) отсчитывать 8) период 9) пора 10) продолжительность 11) раз 12) синхронизировать 13) срок 14) такт 15) хронировать 16) хронометрировать • accessible stopping time …
Англо-Русский научно-технический словарь
SURFACE
Англо-Русский научно-технический словарь
STABLE — 1) конюшенный 2) конюшня 3) насыщенный 4) постоянный 5) прочный 6) стабильный 7) стационарный 8) стойкий 9) устойчивый • asymptotically stable equilibrium — асимптотически устойчивое равновесие asymptotically stable manifold — асимптотически …
Англо-Русский научно-технический словарь
SECOND
Англо-Русский научно-технический словарь
REPRESENTABLE — представимый, изобразимый analytically representable function — аналитически представимая функция completely representable predicate — полностью представимый предикат numeralwise [numerically] representable — нумерически представимый numeralwise representable …
Англо-Русский научно-технический словарь
PREDICATE — 1) предикат 2) предикатный 3) сказуемое 4) утверждать • classical predicate calculus — классическое исчисление предикатов completely defined predicate — полностью определенный предикат completely representable predicate — …
Англо-Русский научно-технический словарь
KIND — 1) вид 2) класс 3) разновидность 4) разряд 5) род 6) семейство 7) сорт • cusp of the first kind — точка возврата [точка заострения] первого рода cusp of …
Англо-Русский научно-технический словарь
ORDINARY LEVEL — брит.; тж. O Level1) экзамен по программе средней школы первого уровня сложности (на обычном уровне) (сдавался по окончании пятого класса; …
Англо-Русский словарь Tiger
ORDER — 1. [ʹɔ:də] n I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical [chronological] ~ - алфавитный [хронологический] …
Новый большой Англо-Русский словарь - Апресян, Медникова
FIRST — 1. [fɜ:st] n 1. (the ~) первое (число) on the ~ of May - первого мая 2. первый (человек) ( …
Новый большой Англо-Русский словарь - Апресян, Медникова
ORDER — 1. ʹɔ:də n I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical chronological order - алфавитный хронологический …
Большой новый Англо-Русский словарь
FIRST — 1. fɜ:st n 1. (the first) первое (число) on the first of May - первого мая 2. первый (человек) ( …
Большой новый Англо-Русский словарь
ORDINARY LEVEL — брит. ; тж. O Level 1) экзамен по программе средней школы первого уровня сложности (на обычном уровне) ( сдавался по …
Англо-Русский словарь по общей лексике
ORDINARY LEVEL — брит.; тж. O Level 1) экзамен по программе средней школы первого уровня сложности (на обычном уровне) (сдавался по окончании пятого класса; …
Англо-Русский словарь общей лексики
ПЕРВЫЙ — first; ( о странице газеты ) front; ( из упомянутых выше ) former; ( самый ранний ) earliest первое января, …
Русско-Английский словарь
ПЕРВЫЙ — first; ( о странице газеты ) front; ( из упомянутых выше ) former; ( самый ранний ) earliest первое января, …
Russian-English Smirnitsky abbreviations dictionary

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

← ПРЕДИКАТ ВЫЧИСЛИМОСТИ ПРЕДИКАТ ПРЕДИКАТОВ→