INTUITIONISTIC ALGEBRA

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

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

English-Russian scientific and technological dictionary . Англо-Русский научно-технический словарь. 2005

INTUITIONISTIC ALGEBRA — мат. интуиционистская алгебра
Большой Англо-Русский словарь
INTUITIONISTIC ALGEBRA — мат. интуиционистская алгебра
Новый большой Англо-Русский словарь
ALGEBRA — (ál-) n algebra
Interlingua English vocab
ALGEBRA — algebra
English interlingue dictionary
ALGEBRA — [c mediumvioletred] (as used in expressions) algebra and algebraic structures Boolean algebra fundamental theorem of algebra linear algebra
Английский словарь Британика
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
ALGEBRA — I. ˈaljəbrə noun ( -s ) Etymology: Medieval Latin, algebra, bonesetting, fracture (whence Middle English, bonesetting, fracture), from Arabic al-jabr …
Webster's New International English Dictionary
ALGEBRA — /al"jeuh breuh/ , n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other …
Random House Webster's Unabridged English Dictionary
ALGEBRA — noun Etymology: Medieval Latin, from Arabic al-jabr, literally, the reduction Date: 1551 1. : a generalization of arithmetic in which …
Merriam-Webster's Collegiate English vocabulary
ALGEBRA — noun a treatise on this science. 2. algebra ·noun that branch of mathematics which treats of the relations and properties …
Webster English vocab
ALGEBRA — [al.ge.bra] n [ML, fr. Ar al-jabr, lit., the reduction] (1551) 1: a generalization of arithmetic in which letters representing numbers …
Merriam-Webster English vocab
ALGEBRA — branch of mathematics in which the procedures of arithmetic are generalized and applied to variable quantities, as well as to …
Britannica English vocabulary
ALGEBRA — algebra BrE AmE ˈældʒ ɪb rə -əb- ▷ algebra|s z
Longman Pronunciation English Dictionary
ALGEBRA — n. 1 the branch of mathematics that uses letters and other general symbols to represent numbers and quantities in formulae …
Английский основной разговорный словарь
ALGEBRA — n. 1 the branch of mathematics that uses letters and other general symbols to represent numbers and quantities in formulae …
Concise Oxford English Dictionary
ALGEBRA — n.1 the branch of mathematics that uses letters and other general symbols to represent numbers and quantities in formulae and …
Oxford English vocab
ALGEBRA — Algebra is a type of mathematics in which letters are used to represent possible quantities. N-UNCOUNT
Collins COBUILD Advanced Learner's English Dictionary
ALGEBRA — Algebra is a type of mathematics in which letters are used to represent possible quantities. N-UNCOUNT
Collins COBUILD - Толковый словарь английского языка для изучающих язык
ALGEBRA — noun EXAMPLES FROM CORPUS ▪ Computer graphics is, among other things, just what the mathematician needed: an appropriate mechanism for …
Longman DOCE5 Extras English vocabulary
ALGEBRA — n. algebra and algebraic structures Boolean algebra fundamental theorem of algebra linear algebra
Britannica Concise Encyclopedia
ALGEBRA — < mathematics , logic > 1. A loose term for an algebraic structure . 2. A vector space that is …
FOLDOC Computer English Dictionary
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
ALGEBRA — сущ. 1) алгебра Boolean algebra Lie algebra linear algebra matrix algebra 2) учебник алгебры алгебра учебник алгебры algebra алгебра boolean …
Большой Англо-Русский словарь
ALGEBRA — algebra.ogg ˈældʒɪbrə _n. алгебра
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
ALGEBRA — алгебра - algebra of logic - Boolean algebra - circuit algebra - matrix algebra - relational algebra - switching algebra
Большой Англо-Русский политехнический словарь
ALGEBRA — алгебра - algebra of logic - Boolean algebra - circuit algebra - matrix algebra - relational algebra - switching algebra
Большой Англо-Русский политехнический словарь - РУССО
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
ALGEBRA — алгебра algebra at infinity — алгебра на бесконечности algebra over a field — алгебра над полем algebra with unit element — алгебра с …
Англо-Русский научно-технический словарь
ALGEBRA — сущ. 1) алгебра - Boolean algebra - Lie algebra - linear algebra - matrix algebra 2) учебник алгебры
Англо-Русский словарь по общей лексике
ALGEBRA — сущ. 1) алгебра - Boolean algebra - Lie algebra - linear algebra - matrix algebra 2) учебник алгебры
Англо-Русский словарь общей лексики
ALGEBRA — в соч. - switching algebra
Англо-Русский словарь по машиностроению и автоматизации производства 2
ALGEBRA — _n. 1> алгебра - Boolean algebra - Lie algebra - linear algebra - matrix algebra 2> учебник алгебры
Англо-Русский словарь Мюллера - 24 редакция
ALGEBRA — n. 1. алгебра - Boolean algebra - Lie algebra - linear algebra - matrix algebra 2. учебник алгебры
Англо-Русский словарь Мюллера - редакция bed
ALGEBRA — алгебра - 3-value algebra - Boolean algebra - cardinal algebra - circuit algebra - cubical algebra - image algebra - …
Англо-Русский словарь по компьютерам
ALGEBRA — алгебра - 3-value algebra - algebra of logic - algebra of residue classes - Boolean algebra - cardinal algebra - circuit algebra - cubical algebra - image algebra - …
Англо-Русский словарь по вычислительной технике и программированию
ALGEBRA — алгебра см. abstract algebra см. Boolean algebra см. linear algebra см. matrix algebra см. relational algebra см. set algebra см. …
Англо-Русский словарь компьютерной безопасности
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
ALGEBRA — сущ. 1) алгебра Boolean algebra Lie algebra linear algebra matrix algebra 2) учебник алгебры алгебра учебник алгебры algebra алгебра boolean …
Новый большой Англо-Русский словарь
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 PROOF — мат. интуционистский вывод
Большой Англо-Русский словарь
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 ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь

Англо-Русский научно-технический словарь

← INTUITIONISTIC INTUITIONISTIC ANALYSIS→