-
21 irrefutable formula
English-Russian big polytechnic dictionary > irrefutable formula
-
22 newton-euler formula
English-Russian big polytechnic dictionary > newton-euler formula
-
23 structural formula
English-Russian big polytechnic dictionary > structural formula
-
24 approximation formula
English-Russian dictionary on nuclear energy > approximation formula
-
25 assumption formula
English-Russian dictionary on nuclear energy > assumption formula
-
26 chemical formula
English-Russian dictionary on nuclear energy > chemical formula
-
27 absorption formula
The English-Russian dictionary general scientific > absorption formula
-
28 assumption formula
The English-Russian dictionary general scientific > assumption formula
-
29 Cauchy's dispersion formula
The English-Russian dictionary general scientific > Cauchy's dispersion formula
-
30 correction formula
The English-Russian dictionary general scientific > correction formula
-
31 dimensional formula
The English-Russian dictionary general scientific > dimensional formula
-
32 even-numbered formula
The English-Russian dictionary general scientific > even-numbered formula
-
33 flower formula
The English-Russian dictionary general scientific > flower formula
-
34 graphic formula
The English-Russian dictionary general scientific > graphic formula
-
35 inversion formula
The English-Russian dictionary general scientific > inversion formula
-
36 polarity formula
The English-Russian dictionary general scientific > polarity formula
-
37 quadrature formula
The English-Russian dictionary general scientific > quadrature formula
-
38 recurrence formula
The English-Russian dictionary general scientific > recurrence formula
-
39 simple interest formula
The English-Russian dictionary general scientific > simple interest formula
-
40 stereochemical formula
The English-Russian dictionary general scientific > stereochemical formula
См. также в других словарях:
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon … Encyclopedia of Judaism
Intuitionism — This article is about Intuitionism in mathematics and philosophical logic. For other uses, see Ethical intuitionism. In the philosophy of mathematics, intuitionism, or neointuitionism (opposed to preintuitionism), is an approach to mathematics as … Wikipedia
Mathematical proof — In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true.[1][2] Proofs are obtained from deductive reasoning, rather than from inductive or empirical… … Wikipedia
Maximal consistent set — In mathematics, a maximal consistent set is a set of formulae belonging to some formal language that satisfies the following constraints: * The set is consistent, that is, no formula is both provable and refutable. * The set is maximal , which… … Wikipedia
Drunk driving (United States) — Drunk driving is the act of operating and/or driving a motor vehicle while under the influence of alcohol and/or drugs to the degree that mental and motor skills are impaired. It is illegal in all jurisdictions within the U.S. The specific… … Wikipedia
Hypothese du continu — Hypothèse du continu En théorie des ensembles, l hypothèse du continu, due à Georg Cantor, affirme qu il n existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l ensemble des entiers naturels et celui de l ensemble… … Wikipédia en Français
Hypothèse Du Continu — En théorie des ensembles, l hypothèse du continu, due à Georg Cantor, affirme qu il n existe aucun ensemble dont le cardinal est strictement compris entre le cardinal de l ensemble des entiers naturels et celui de l ensemble des nombres réels. En … Wikipédia en Français