HOARE LOGIC

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

хоаровская логика ( формализм для частичного доказательства правильности программ )

Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012

HOARE LOGIC — хоаровская логика (формализм для частичного доказательства правильности программ)
Большой Англо-Русский словарь
HOARE LOGIC — хоаровская логика (формализм для частичного доказательства правильности программ)
Большой Англо-Русский словарь
HOARE LOGIC — хоаровская логика (формализм для частичного доказательства правильности программ )
Англо-Русский словарь по компьютерам
HOARE LOGIC — хоаровская логика (формализм для частичного доказательства правильности программ)
Англо-Русский словарь по вычислительной технике и программированию
HOARE LOGIC — хоаровская логика (формализм для частичного доказательства правильности программ)
Новый большой Англо-Русский словарь
HOARE LOGIC — хоаровская логика (формализм для частичного доказательства правильности программ)
Новый большой Англо-Русский словарь
HOARE — biographical name Sir Samuel John Gurney 1880-1959 Viscount Templewood English statesman
Толковый словарь английского языка - Merriam Webster
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
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
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
HOARE — /hawr, hohr/ , n. Sir Samuel John Gurney /gerr"nee/ , 1st Viscount Templewood /tem"peuhl wood'/ , 1880-1959, British statesman.
Random House Webster's Unabridged English Dictionary
HOARE — n. Sir Samuel John Gurney Hoare (1880-1959), British statesman
Толковый словарь английского языка - Редакция bed
HOARE — biographical name Sir Samuel John Gurney 1880-1959 Viscount Templewood English statesman
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
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
HOARE — Hoare BrE AmE hɔː AmE \ hɔːr hoʊr
Longman Pronunciation 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
LOGIC — lo ‧ gic /ˈlɒdʒɪk $ ˈlɑː-/ BrE AmE noun [ Word Family: noun : ↑ logic ; adverb : ↑ …
Longman Dictionary of Contemporary English
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Английский основной разговорный словарь
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
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
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
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
Longman DOCE5 Extras English vocabulary
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
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
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air …
Большой Англо-Русский политехнический словарь
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air logic - arbitration logic - array logic - …
Большой Англо-Русский политехнический словарь - РУССО
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел ( ЭВМ ) , логическая часть • - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел (ЭВМ), логическая часть • - check surface logic - diode logic - direction logic - …
Англо-Русский словарь по машиностроению и автоматизации производства
LOGIC — 1) логика 2) логическая часть, логический узел (ЭВМ) 3) логическая схема; логические схемы, логика • - action logic - adaptive logic - address-comparison logic - address-recognition logic - …
Англо-Русский словарь по вычислительной технике и программированию
LOGIC — логика; логическая схема - diode logic - diode-capacitor-transistor logic - diode-transistor logic - emitter-coupled logic - RCT logic - Schottky transistor-transistor logic - Schottky-diode FET logic - transistor-transistor …
Англо-Русский словарь по телекоммуникациям
LOGIC — логика логические схемы (устройства) см. algorithm logic см. encryption logic см. fuzzy logic см. malicious logic см. non-linear logic см. …
Англо-Русский словарь компьютерной безопасности
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
HOARE, SIR SAMUEL (JOHN GURNEY), 2ND BARONET — also called (from 1944) Viscount Templewood (of Chelsea) born Feb. 24, 1880, London, Eng. died May 7, 1959, London British …
Английский словарь Британика
HOARE-LAVAL PACT — (1935) Secret plan to offer Benito Mussolini most of Ethiopia (then called Abyssinia) in return for a truce in the …
Английский словарь Британика
HOARE, SIR SAMUEL (JOHN GURNEY), 2ND BARONET — born Feb. 24, 1880, London died May 7, 1959, London also called (from 1944) Viscount Templewood Of Chelsea British statesman …
Britannica English vocabulary
HOARE-LAVAL PACT — (1935) Secret plan to offer Benito Mussolini most of Ethiopia (then called Abyssinia) in return for a truce in the …
Britannica Concise Encyclopedia
HOARE, SIR SAMUEL JOHN GURNEY, 2ND BARONET — also called (from 1944) Viscount Templewood (of Chelsea) born Feb. 24, 1880, London, Eng. died May 7, 1959, London British …
Britannica Concise Encyclopedia
HOARE, SIR SAMUEL , 2ND BARONET — also called (from 1944) Viscount Templewood (of Chelsea) born Feb. 24, 1880, London, Eng. died May 7, 1959, London British …
Britannica Concise Encyclopedia
TONY HOARE — Anthony Hoare
FOLDOC Computer English Dictionary
ANTHONY HOARE — < person > (C. Anthony R. Hoare, Tony) A computer scientist working on programming languages, especially parallel ones. Hoare was …
FOLDOC Computer English Dictionary
SIR — [c mediumvioletred] (as used in expressions) Abbott Sir John Joseph Caldwell Ahmad Khan Sir Sayyid Allbutt Sir Thomas Clifford Alma …
Английский словарь Британика
SAMUEL — I (с 11th century BC) Old Testament prophet, the first after Moses and the last of the judges of ancient …
Английский словарь Британика
PACT
Английский словарь Британика
ND — [c mediumvioletred] (as used in expressions) Buckingham 2nd duke of Cornwallis Charles Cornwallis 1st Marquess and 2nd Earl Dilke Sir …
Английский словарь Британика
LAVAL, PIERRE — born June 28, 1883, Châteldon, France died Oct. 15, 1945, Paris French politician. A member of the Chamber of Deputies …
Английский словарь Британика
LAVAL — I City (pop., 2001: 343,005), southern Quebec, Canada. It occupies the whole of Jesus Island, 20 mi (32 km) long …
Английский словарь Британика
JOHN
Английский словарь Британика
BARONET — I British hereditary rank of honor, first created by James I in 1611 to raise money, ostensibly for support of …
Английский словарь Британика
TEMPLEWOOD — Viscount — see Hoare
Merriam-Webster's Collegiate English vocabulary
IDEOLOGY — a systematic body of beliefs about the structure and working of society that includes a program of practical politics based …
Britannica English vocabulary
CABINET — in furniture design, originally a small room for displaying precious objects and later a piece of furniture composed of a …
Britannica English vocabulary
GRENVILLE, GEORGE — born Oct. 14, 1712 died Nov. 13, 1770, London, Eng. George Grenville, detail of an engraving by James Watson after …
Britannica English vocabulary
EAST ASIAN PEOPLE
Britannica English vocabulary
BALDWIN, STANLEY, 1ST EARL BALDWIN OF BEWDLEY, ... — born Aug. 3, 1867, Bewdley, Worcestershire, Eng. died Dec. 14, 1947, Astley Hall, near Stourport-on-Severn, Worcestershire [now in Hereford and …
Britannica English vocabulary

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

← HO HOBBY COMPUTER→