FIRST-ORDER LOGIC

Англо-русский перевод FIRST-ORDER LOGIC

исчисление предикатов первого порядка.

English-Russian dictionary of computers . Англо-Русский словарь по компьютерам. 2012

FIRST-ORDER LOGIC — < language , logic > The language describing the truth of mathematical formula s. Formulas describe properties of terms and …
FOLDOC Computer English Dictionary
FIRST-ORDER LOGIC — мат. логика первого порядка
Большой Англо-Русский словарь
FIRST-ORDER LOGIC — Логика первого порядка
Американский Англо-Русский словарь
FIRST-ORDER LOGIC — матем. логика первого порядка
Англо-Русский научно-технический словарь
FIRST-ORDER LOGIC — мат. логика первого порядка
Новый большой Англо-Русский словарь
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
ORDER — I. ˈȯrdər, ˈȯ(ə)də(r noun ( -s ) Etymology: Middle French ordre, order, from Old French ordene, ordne, ordre, from Medieval …
Webster's New International English Dictionary
LOGIC — I. ˈläjik, -jēk noun ( -s ) Etymology: Middle English logik, from Middle French logique, from Latin logica, from Greek …
Webster's New International English Dictionary
FIRST — I. ˈfərst, ˈfə̄st, ˈfəist adjective Etymology: Middle English, from Old English fyrst; akin to Old High German & Old Saxon …
Webster's New International English Dictionary
ORDER — — orderable , adj. — orderer , n. — orderless , adj. /awr"deuhr/ , n. 1. an authoritative direction or …
Random House Webster's Unabridged English Dictionary
LOGIC — — logicless , adj. /loj"ik/ , n. 1. the science that investigates the principles governing correct or reliable inference. 2. …
Random House Webster's Unabridged English Dictionary
FIRST — — firstness , adj. /ferrst/ , adj. 1. being before all others with respect to time, order, rank, importance, etc., …
Random House Webster's Unabridged English Dictionary
ORDER — I. ˈȯr-dər verb ( or·dered ; or·der·ing ˈȯr-d(ə-)riŋ) Etymology: Middle English, from ordre, noun Date: 13th century transitive verb 1. …
Merriam-Webster's Collegiate English vocabulary
FIRST — I. ˈfərst adjective Etymology: Middle English, from Old English fyrst; akin to Old High German furist first, Old English faran …
Merriam-Webster's Collegiate English vocabulary
LOGIC — noun Etymology: Middle English logik, from Anglo-French, from Latin logica, from Greek logikē, from feminine of logikos of reason, from …
Merriam-Webster's Collegiate English vocabulary
ORDER — vi to give orders; to issue commands. 2. order ·noun a command; a mandate; a precept; a direction. 3. order …
Webster English vocab
FIRST — [first] adj [ME, fr. OE fyrst; akin to OHG furist first, OE faran to go--more at fare] (bef. 12c): preceding …
Merriam-Webster English vocab
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
FIRST — first BrE AmE fɜːst AmE fɝːst ▷ firsts fɜːsts AmE fɝːsts ▶ ˌ first ˈ aid BrE AmE ▶ ˌ …
Longman Pronunciation English Dictionary
ORDER — / ˈɔːdə(r); NAmE ˈɔːrd-/ noun , verb ■ noun ARRANGEMENT 1. [ U , C ] the way in which …
Oxford Advanced Learner's English Dictionary
LOGIC — / ˈlɒdʒɪk; NAmE ˈlɑːdʒɪk/ noun 1. [ U ] a way of thinking or explaining sth : I fail to …
Oxford Advanced Learner's English Dictionary
FIRST — / fɜːst; NAmE fɜːrst/ determiner , ordinal number , adverb , noun ■ determiner , ordinal number 1. happening or …
Oxford Advanced Learner's English Dictionary
ORDER — I. or ‧ der 1 S1 W1 /ˈɔːdə $ ˈɔːrdər/ BrE AmE noun [ Word Family: noun : ↑ order …
Longman Dictionary of Contemporary English
LOGIC — lo ‧ gic /ˈlɒdʒɪk $ ˈlɑː-/ BrE AmE noun [ Word Family: noun : ↑ logic ; adverb : ↑ …
Longman Dictionary of Contemporary English
FIRST — I. first 1 S1 W1 /fɜːst $ fɜːrst/ BrE AmE adjective [ Language: Old English ; Origin: fyrst ] 1 …
Longman Dictionary of Contemporary English
ORDER — n. & v. --n. 1 a the condition in which every part, unit, etc. is in its right place; tidiness …
Английский основной разговорный словарь
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Английский основной разговорный словарь
FIRST — adj., n., & adv. --adj. 1 a earliest in time or order. b coming next after a specified or implied …
Английский основной разговорный словарь
ORDER — n. & v. n. 1 a the condition in which every part, unit, etc. is in its right place; tidiness …
Concise Oxford English Dictionary
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Concise Oxford English Dictionary
FIRST — adj., n., & adv. adj. 1 a earliest in time or order. b coming next after a specified or implied …
Concise Oxford English Dictionary
ORDER — n. & v. --n. 1. a the condition in which every part, unit, etc. is in its right place; tidiness …
Oxford English vocab
LOGIC — n.1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. 2 …
Oxford English vocab
FIRST — adj., n., & adv. --adj. 1. a earliest in time or order. b coming next after a specified or implied …
Oxford English vocab
ORDER — I. SUBORDINATING CONJUNCTION USES /ɔ:(r)də(r)/ Frequency: The word is one of the 1500 most common words in English. 1. If …
Collins COBUILD Advanced Learner's English Dictionary
LOGIC — 1. Logic is a method of reasoning that involves a series of statements, each of which must be true if …
Collins COBUILD Advanced Learner's English Dictionary
FIRST — ( firsts) Frequency: The word is one of the 700 most common words in English. 1. The first thing, person, …
Collins COBUILD Advanced Learner's English Dictionary
FIRST — (~s) Frequency: The word is one of the 700 most common words in English. 1. The ~ thing, person, event, …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
ORDER — I. noun COLLOCATIONS FROM OTHER ENTRIES a court order (= an instruction that someone must do something ) ▪ A …
Longman DOCE5 Extras English vocabulary
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
Longman DOCE5 Extras English vocabulary
FIRST — I. adjective COLLOCATIONS FROM OTHER ENTRIES a first offence ▪ Because it was a first offence, she was not sent …
Longman DOCE5 Extras English vocabulary
FIRST — [adjective], [adverb] [not gradable], [noun], [pronoun] - (a person or thing) coming before all others in order, time, amount, quality …
Cambridge English vocab
LOGIC — n. deontic logic fuzzy logic logic design logic many valued logic philosophy of modal logic
Britannica Concise Encyclopedia
LOGIC — n. Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Britannica Concise Encyclopedia
LOGIC — Synonyms and related words : Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, …
Moby Thesaurus English vocabulary
FIRST — Synonyms and related words : ab initio, ab ovo, aborigine, ahead, alpha, antecedent, anterior, anticipatory, arch, at first, at the …
Moby Thesaurus English vocabulary
ORDER — INDEX: 1. order 2. in the correct order 3. in the wrong order 4. doing things one after the other …
Longman Activator English vocab
FIRST — See ↑ BEFORE 1, ↑ FIRST 1,1 ◆◆◆ • ↑ a first • ↑ at first/initially • ↑ be first/come …
Longman Activator English vocab
FIRST
Longman Activator English vocab
FIRST — n. 25B6; adjective the first chapter : EARLIEST, initial, opening, introductory. first principles : FUNDAMENTAL, basic, rudimentary, primary; key, cardinal, …
Concise Oxford Thesaurus English vocabulary
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
FIRST — adverb BAD : At first, I would like to introduce myself. GOOD : First of all, I would like to …
Longman Common Errors English vocabulary
ORDER — 1. сущ. 1) порядок, расположение в определенном порядке in order ≈ по порядку out of order ≈ не по порядку …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
FIRST — 1. числ. поряд. первый а) первый по счету; следующий раньше всех по порядку б) занимающий ведущее положение, главный, лучший first …
Большой Англо-Русский словарь
ORDER — order.ogg 1. ʹɔ:də n _I 1. порядок, последовательность; расположение, размещение ( в определённом порядке ) alphabetical chronological order - алфавитный …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FIRST — 1. fɜ:st n 1. (the first) первое (число) on the first of May - первого мая 2. первый (человек) ( …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ORDER — 1) порядок; упорядоченность || упорядочивать 2) последовательность 3) заказ 4) распоряжение; приказ; директива 5) архит. стиль; ордер 6) индекс ( …
Большой Англо-Русский политехнический словарь
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air …
Большой Англо-Русский политехнический словарь
ORDER — 1) порядок; упорядоченность || упорядочивать 2) последовательность 3) заказ 4) распоряжение; приказ; директива 5) архит. стиль; ордер 6) индекс (моды); порядок (моды) 7) матем. степень, порядок; …
Большой Англо-Русский политехнический словарь - РУССО
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air logic - arbitration logic - array logic - …
Большой Англо-Русский политехнический словарь - РУССО
ORDER — 1) доупорядочивать 2) заказ 3) заказывать 4) команда 5) кратность 6) наряд 7) ордер 8) очередность 9) порядковый 10) порядок 11) последовательность 12) приказ 13) ранговый 14) располагать по порядку 15) распоряжаться 16) расстановка 17) упорядоченность 18) …
Англо-Русский научно-технический словарь

Англо-Русский словарь по компьютерам

← FIRST-ORDER LAG FIRST-ORDER SUBPROGRAM→