INTUITIONISTIC PROOF

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

мат. интуционистский вывод

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

INTUITIONISTIC PROOF — матем. интуционистский вывод
Англо-Русский научно-технический словарь
INTUITIONISTIC PROOF — мат. интуционистский вывод
Новый большой Англо-Русский словарь
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
PROOF — I. ˈprüf noun ( -s ) Etymology: Middle English proof, prove, alteration (influenced by proven to prove) of preef, preve, …
Webster's New International English Dictionary
PROOF — /proohf/ , n. 1. evidence sufficient to establish a thing as true, or to produce belief in its truth. 2. …
Random House Webster's Unabridged English Dictionary
PROOF — I. ˈprüf noun Etymology: Middle English prof, prove, alteration of preve, from Anglo-French preove, from Late Latin proba, from Latin …
Merriam-Webster's Collegiate English vocabulary
PROOF — noun firmness of mind; stability not to be shaken. 2. proof ·adj used in proving or testing; as, a proof …
Webster English vocab
PROOF — [proof] n [ME, alter. of preove, fr. OF preuve, fr. LL proba, fr. L probare to prove--more at prove] (13c) …
Merriam-Webster English vocab
PROOF — in liquor distilling, a measure of the absolute alcohol content of a distilled liquor, which is a mixture of alcohol …
Britannica English vocabulary
PROOF — / pruːf; NAmE / noun , adjective , verb ■ noun 1. [ U , C ] proof (of sth …
Oxford Advanced Learner's English Dictionary
PROOF — I. proof 1 S3 W3 /pruːf/ BrE AmE noun [ Word Family: verb : ↑ prove ≠ ↑ disprove ; …
Longman Dictionary of Contemporary English
PROOF — n., adj., & v. --n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Английский основной разговорный словарь
PROOF — n., adj., & v. n. 1 facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Concise Oxford English Dictionary
PROOF — n., adj., & v. --n. 1. facts, evidence, argument, etc. establishing or helping to establish a fact (proof of their …
Oxford English vocab
-PROOF — ( -proofs, -proofing, -proofed) 1. -proof combines with nouns and verbs to form adjectives which indicate that something cannot be …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — ( proofs) Frequency: The word is one of the 3000 most common words in English. 1. Proof is a fact, …
Collins COBUILD Advanced Learner's English Dictionary
PROOF — I. noun COLLOCATIONS FROM OTHER ENTRIES conclusive proof/evidence/findings etc ▪ The investigation failed to provide any conclusive evidence. documentary evidence/proof …
Longman DOCE5 Extras English vocabulary
PROOF — Synonyms and related words : Christophany, Ditto copy, Photostat, Satanophany, Xerox, Xerox copy, absolute indication, account, acid test, acquaintance, affirmation, …
Moby Thesaurus English vocabulary
PROOF — n. 1 evidence, verification, corroboration, confirmation, validation, authentication, ratification, substantiation; documentation, document, facts, data, certification, testimony, Colloq ammunition Is there …
Oxford Thesaurus English vocab
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
PROOF — proof.ogg 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) …
Большой Англо-Русский политехнический словарь
PROOF — 1) проверка; проба 2) матем. доказательство 3) корректурный оттиск, корректура 4) полигр. пробный оттиск; пробное изображение; кфт. пробный отпечаток 5) крепость (спирта и спиртных …
Большой Англо-Русский политехнический словарь - РУССО
PROOF — 1) безопасный 2) герметизировать 3) доказательство 4) защищенный 5) испытание 6) непроницаемый 7) нормативный 8) обоснование 9) проба 10) пробный отпечаток 11) проверка 12) рашкетный 13) стандартный • axiom needs no proof — аксиома …
Англо-Русский научно-технический словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
PROOF — 1. pru:f n 1. доказательство; подтверждение proof positive - неопровержимое доказательство /подтверждение/ documentary proof, proof by documentary evidence - документальное …
Большой новый Англо-Русский словарь
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof — представить доказательство These suspicions are …
Англо-Русский словарь по общей лексике
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof — представить доказательство These suspicions are confirmed by the most …
Англо-Русский словарь общей лексики
PROOF — 1. сущ.; мн. ч. - proofs доказательство - admission of proof - afford proofs - burden of proof lies with - judgement proof - proof beyond …
Англо-Русский словарь по экономике
PROOF — 1) доказательство || доказывать 2) проверка 3) обеспечивать сопротивляемость (напр., против неумелого использования) • - formal program proof - formal proof - indirect proof - irreducible proof - …
Англо-Русский словарь по вычислительной технике и программированию
PROOF — 1) доказательство 2) испытание, проверка - proof in bankruptcy - proof of deposits - proof of indebtedness - proof of …
Англо-Русский словарь по экономике и финансам
PROOF — 1) доказательство, доказательства 2) доказывание 3) доказанность 4) судебное следствие; шотл. рассмотрение дела судьёй вместо суда присяжных 5) пробный оттиск, корректура • proof and hearing — …
Англо-Русский юридический словарь
PROOF — 1) испытание; проба; проверка 2) корректура, корректурный оттиск; гранка; пробный оттиск 3) контрольный отпечаток (пробный отпечаток текста, полученный на печатающем …
Англо-Русский словарь по полиграфии и издательскому делу
PROOF — 1) доказательство; доказывание 2) проба, пробный оттиск • - accessory proof - additional proof - documentary proof - failing proof - proof of evidence - proof of novelty - …
Англо-Русский словарь по патентам и товарным знакам
PROOF — 1. сущ. 1) а) подтверждение, доказательство to furnish, give, offer, present, produce, provide proof ≈ представить доказательство These suspicions are …
Новый большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
INTUITIONISTIC PROBABILITY — < logic > Florentin Smarandache's representation of the probability of an event occuring, given by T, I, F which are …
FOLDOC Computer English Dictionary
INTUITIONISTIC LOGIC — < logic , mathematics > Brouwer's foundational theory of mathematics which says that you should not count a proof of …
FOLDOC Computer English Dictionary
INTUITIONISTIC UNPROVABLE — мат. интуиционистская недоказуемость
Большой Англо-Русский словарь
INTUITIONISTIC THEOR — мат. интуиционистская теория
Большой Англо-Русский словарь
INTUITIONISTIC TAUTOLOGY — мат. интуиционистская тавтология
Большой Англо-Русский словарь
INTUITIONISTIC SYSTEM — мат. интуиционистская система
Большой Англо-Русский словарь
INTUITIONISTIC MATHEMATICS — мат. интуиционистская математика
Большой Англо-Русский словарь
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
Britannica English vocabulary
IMPLICATION — in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most …
Britannica English vocabulary
FORMAL LOGIC — the abstract study of propositions, statements, or assertively used sentences and of deductive arguments. The discipline abstracts from the content …
Britannica English vocabulary
NEUTROSOPHIC SET — < logic > A generalisation of the intuitionistic set , classical set, fuzzy set , paraconsistent set , dialetheist set …
FOLDOC Computer English Dictionary
NEUTROSOPHIC LOGIC — < logic > (Or "Smarandache logic") A generalisation of fuzzy logic based on Neutrosophy . A proposition is t true, …
FOLDOC Computer English Dictionary
MATHEMATICS — infinity inner product algebra logic prime number theorem Rayleigh distribution set theory Mandelbrot set fractal logarithmus dualis characteristic function sine …
FOLDOC Computer English Dictionary
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
INTUITIONIST LOGIC — < spelling > Incorrect term for " intuitionistic logic ". (1999-11-24)
FOLDOC Computer English Dictionary
INTUITIONISM — intuitionistic logic
FOLDOC Computer English Dictionary
CONSTRUCTIVE — < mathematics > A proof that something exists is "constructive" if it provides a method for actually constructing it. Cantor …
FOLDOC Computer English Dictionary
CLASSICAL LOGIC — < logic > Non- intuitionistic logic . (1995-04-13)
FOLDOC Computer English Dictionary
LOLLI — < language > (Named after the "lollipop" operator "-o") An interpreter for logic programming based on linear logic , written …
FOLDOC Computer English Dictionary
BINPROLOG — < language > Probably the fastest freely available C -emulated Prolog . BinProlog features: logical and permanent global variable s; …
FOLDOC Computer English Dictionary
ИНТУИЦИОНИСТИЧЕСКИЙ — adj. intuitionistic
Russian-English Dictionary of the Mathematical Sciences
INTUITIVE — of intuition, intuitionistic, means something can be seen or perceived directly
Sean Woo's Finance, GIS and Real Estate English Glossary
UNPROVABLE — недоказуемый - intuitionistic unprovable - unprovable formula - unprovable statement недоказуемый
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
TAUTOLOGY — тавтология intuitionistic propositional tautology — интуиционистская пропозициональная тавтология positive predicate tautology — позитивная предикатная тавтология positive propositional tautology — позитивная пропозициональная тавтология - classical …
Англо-Русский научно-технический словарь

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

← INTUITIONISTIC MATHEMATICS INTUITIONISTIC SYSTEM→