HUZITA-HATORI AXIOMS

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

Правила Худзита

American English-Russian dictionary. Американский Англо-Русский словарь. 2012

AXIOMS — Аксиомы
Большой Англо-Русский словарь
AXIOMS — Аксиоматики
Американский Англо-Русский словарь
AXIOMS — Аксиомы
Новый большой Англо-Русский словарь
ПРАВИЛА ХУДЗИТА — Huzita-Hatori axioms
Русско-Американский Английский словарь
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
METALOGIC — the study and analysis of the semantics (relations between expressions and meanings) and syntax (relations among expressions) of formal languages …
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
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
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
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

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

← HUYGENS–FRESNEL PRINCIPLE HUZZIYA I→