INTUITIONISTIC THEOR

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

мат. интуиционистская теория

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

INTUITIONISTIC THEOR — мат. интуиционистская теория
Новый большой Англо-Русский словарь
THEOR — theor- v [occurring in derivatives]
Interlingua English vocab
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
THEOR — abbreviation theorem
Webster's New International English Dictionary
THEOR. — theorem.
Random House Webster's Unabridged English Dictionary
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
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 TAUTOLOGY — мат. интуиционистская тавтология
Большой Англо-Русский словарь
INTUITIONISTIC SYSTEM — мат. интуиционистская система
Большой Англо-Русский словарь
INTUITIONISTIC PROOF — мат. интуционистский вывод
Большой Англо-Русский словарь
INTUITIONISTIC MATHEMATICS — мат. интуиционистская математика
Большой Англо-Русский словарь
THEORO — (-óro) n [Gr. Hist.] theor
Interlingua English vocab
-IZE — ˌīz sometimes, as in “baptize”, |īz verb suffix ( -ed/-ing/-s ) Usage: see -ize Etymology: Middle English -isen, from Old …
Webster's New International English Dictionary
THEORY — /thee"euh ree, thear"ee/ , n. , pl. theories . 1. a coherent group of general propositions used as principles of …
Random House Webster's Unabridged English Dictionary
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
THEORY — theor|y BrE AmE ˈθɪər |i ˈθiː ər |i AmE \ ˈθiː ər |i ˈθɪr |i ▷ theor|ies iz
Longman Pronunciation English Dictionary
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 недоказуемый
Большой Англо-Русский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Большой Англо-Русский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Большой Англо-Русский словарь
TAUTOLOGY — тавтология intuitionistic propositional tautology — интуиционистская пропозициональная тавтология positive predicate tautology — позитивная предикатная тавтология positive propositional tautology — позитивная пропозициональная тавтология - classical …
Англо-Русский научно-технический словарь
ТЕОРИЯ РЕШЕТОК — мат. lattice theor, trellis theor
Большой Русско-Английский словарь
ТЕОРИЯ РАЗМЕРНОСТИ — мат. dimension theor, theor of dimension
Большой Русско-Английский словарь
ТЕОРИЯ ПОРЯДКА — мат. theor of order, theor of ordering
Большой Русско-Английский словарь
ТЕОРИЯ ОПРЕДЕЛИТЕЛЕЙ — мат. determinant theor, theor of determinants
Большой Русско-Английский словарь
ТЕОРИЯ ИЕРАРХИЙ — мат. hierarchy theor, theor of hierarchies
Большой Русско-Английский словарь
ТЕОРИЯ ИДЕАЛОВ — мат. ideal theor, ideal theory, theor of ideals
Большой Русско-Английский словарь
ТЕОРИЯ ГОМОЛОГИЙ — мат. homology theor, theor of homologies
Большой Русско-Английский словарь
ТЕОРИЯ ВЫЧИСЛИМОСТИ — мат. theor of calculability, theor of computability
Большой Русско-Английский словарь
ТЕОРИЯ ВЕТВЛЕНИЯ — мат. bifurcation theor, ramification theor
Большой Русско-Английский словарь
ПРИБЛИЖЕННАЯ ТЕОРИЯ — мат. approximate theor, crude theor
Большой Русско-Английский словарь
ОБОБЩЕННАЯ ТЕОРИЯ — мат. extended theor, generalized theor
Большой Русско-Английский словарь
UNDECIDABLE — неразрешимый essentially undecidable system ≈ существенно неразрешимая система essentially undecidable theor ≈ существенно неразрешимая теория hereditarily undecidable theor ≈ наследственно …
Новый большой Англо-Русский словарь
RELATIVIZED — релятивизированный partially relativized theor ≈ частично релятивизированная теория relativized equality sign ≈ релятивизированный знак равенства - relativized statement - relativized …
Новый большой Англо-Русский словарь
RECURSIVELY — 1) рекурсно 2) рекурсивно 3) рекуррентно ∙ completely recursively enumerable class ≈ вполне рекурсивно перечислимый класс general recursively inequal numbers …
Новый большой Англо-Русский словарь
MATRICES — матрицы absolutely matrices matrix ≈ абсолютно эквивалентные матрицы adjoint matrices matrix ≈ сопряженные матрицы biorthogonal matrices matrix ≈ биортогональные матрицы …
Новый большой Англо-Русский словарь
COHOMOLOGY — 1) верхний 2) верхняя гомология 3) когомология 4) когомологический ∙ absolute cohomology group ≈ абсолютная когомологическая группа adjusted cohomology sequence …
Новый большой Англо-Русский словарь
AXIOMATIZABLE — аксиоматизируемый finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно …
Новый большой Англо-Русский словарь
AUTOMATA — автоматы experiment with automata ≈ эксперимент с автоматами isomorphic automata automaton ≈ изоморфные автоматы related automata automaton ≈ связанные автоматы …
Новый большой Англо-Русский словарь

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

← INTUITIONISTIC TAUTOLOGY INTUITIONISTIC UNPROVABLE→