INTUITIONISTIC AXIOMS

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

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

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

INTUITIONISTIC AXIOMS — мат. интуиционистские аксиомы
Большой Англо-Русский словарь
INTUITIONISTIC AXIOMS — мат. интуиционистские аксиомы
Новый большой Англо-Русский словарь
INTUITIONISTIC — adjective see intuitionist II
Webster's New International English Dictionary
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Большой Англо-Русский словарь
AXIOMS — Аксиомы
Большой Англо-Русский словарь
AXIOMS — Аксиоматики
Американский Англо-Русский словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation — интуиционистская операция присоединения следствий intuitionistic propositional tautology — интуиционистская пропозициональная тавтология - intuitionistic algebra - intuitionistic analysis - intuitionistic …
Англо-Русский научно-технический словарь
INTUITIONISTIC — интуиционистский, интуиционистический intuitionistic consequence operation ≈ интуиционистская операция присоединения следствий intuitionistic propositional tautology ≈ интуиционистская пропозициональная тавтология - intuitionistic algebra …
Новый большой Англо-Русский словарь
AXIOMS — Аксиомы
Новый большой Англо-Русский словарь
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
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
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 — мат. интуиционистская математика
Большой Англо-Русский словарь
MODAL LOGIC — necessity , possibility, impossibility, contingency, strict implication , and certain other closely related concepts. The most straightforward way of constructing …
Английский словарь Британика
GÖDEL'S THEOREM — Principle of the foundations of mathematics . One of the most important discoveries of 20th-century mathematics, it states the impossibility …
Английский словарь Британика
FORMAL SYSTEM — In logic , a formal language together with a deductive apparatus by which some well-formed formulas can be derived from …
Английский словарь Британика
EUCLIDEAN GEOMETRY — Study of points, lines, angles, surfaces, and solids based on Euclid 's axioms . Its importance lies less in its …
Английский словарь Британика
AXIOMATICS — -d.iks, -tiks, -ēks noun plural but singular in construction 1. : a set of axioms : an axiomatized system 2. …
Webster's New International English Dictionary
AXIOM — ˈaksēəm noun ( -s ) Etymology: Latin axioma, from Greek axiōma, from axioun to think worthy, think fit, from axios …
Webster's New International English Dictionary
PEANO'S POSTULATES — Math. a collection of axioms concerning the properties of the set of all positive integers, including the principle of mathematical …
Random House Webster's Unabridged English Dictionary
AXIOMATIZATION — n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also …
Толковый словарь английского языка - Редакция bed
AXIOMATISATION — n. act of expressing a theory as a set of axioms; process of reducing to a system of axioms (also …
Толковый словарь английского языка - Редакция bed
AXIOMATICAL — adj. of or pertaining to axioms; derived from axioms; axiomatic, self-evident, certain, unquestioned
Толковый словарь английского языка - Редакция bed
THOUGHT, LAWS OF — traditionally, the three fundamental laws of logic: (1) the law of contradiction, (2) the law of excluded middle (or third), …
Britannica English vocabulary
SET THEORY — branch of mathematics that deals with the properties of well-defined collections of objects, which may be of a mathematical nature, …
Britannica English vocabulary
SCIENTIFIC THEORY — systematic ideational structure of broad scope, conceived by the human imagination, that encompasses a family of empirical (experiential) laws regarding …
Britannica English vocabulary
PROJECTIVE GEOMETRY — branch of mathematics that deals with the relationships between geometric figures and the images, or mappings, of them that result …
Britannica English vocabulary
NON-EUCLIDEAN GEOMETRY — study of points, lines, planes, and space through the use of assumptions other than those forming the basis of Euclidean …
Britannica English vocabulary
MATHEMATICS, FOUNDATIONS OF — the study of the logical and philosophical basis of mathematics, including whether the axioms of a given system ensure its …
Britannica English vocabulary
MATHEMATICS — the science of structure, order, and relation that has evolved from elemental practices of counting, measuring, and describing the shapes …
Britannica English vocabulary
INTUITION — in philosophy, the power of obtaining knowledge that cannot be acquired either by inference or observation, by reason or experience. …
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 SYSTEM — also called logistic system in logic and mathematics, abstract, theoretical organization of terms and implicit relationships that is used as …
Britannica English vocabulary
AXIOM — in logic, an indemonstrable first principle, rule, or maxim, that has found general acceptance or is thought worthy of common …
Britannica English vocabulary
ALGEBRA — branch of mathematics in which the procedures of arithmetic are generalized and applied to variable quantities, as well as to …
Britannica English vocabulary
HILBERT, DAVID
Britannica English vocabulary
GODEL, KURT — born April 28, 1906, Brnn, Austria-Hungary died Jan. 14, 1978, Princeton, N.J., U.S. Gdel also spelled Goedel Austrian-born U.S. mathematician, …
Britannica English vocabulary
EUCLIDEAN GEOMETRY — study of points, lines, angles, surfaces, and solids on the basis of the 10 axioms and postulates selected by the …
Britannica English vocabulary
EUCLIDEAN AND NON-EUCLIDEAN GEOMETRY — the study of points, lines, angles, surfaces, and solids, on the basis of either the 10 axioms and postulates selected …
Britannica English vocabulary
COHEN, PAUL JOSEPH — born April 2, 1934, Long Branch, N.J., U.S. American mathematician who was awarded the Fields Medal in 1966 for his …
Britannica English vocabulary
MODAL LOGIC — Formal system s incorporating modalities such as necessity , possibility, impossibility, contingency, strict implication , and certain other closely related …
Britannica Concise Encyclopedia
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 ARITHMETIC INTUITIONISTIC CALCULUS→