-
21 поправочная формула
Русско-английский новый политехнический словарь > поправочная формула
-
22 разностная формула
Русско-английский новый политехнический словарь > разностная формула
-
23 рекуррентная формула
Русско-английский новый политехнический словарь > рекуррентная формула
-
24 боковая формула
Русско-английский военно-политический словарь > боковая формула
-
25 исходная формула
Русско-английский военно-политический словарь > исходная формула
-
26 политическая формула
Русско-английский военно-политический словарь > политическая формула
-
27 рекуррентная формула
Русско-английский военно-политический словарь > рекуррентная формула
-
28 исходная формула
Русско-английский словарь по информационным технологиям > исходная формула
-
29 простая формула
Авиация и космонавтика. Русско-английский словарь > простая формула
-
30 расчетная формула
Авиация и космонавтика. Русско-английский словарь > расчетная формула
-
31 основная формула
Бизнес, юриспруденция. Русско-английский словарь > основная формула
-
32 рабочая формула
Бизнес, юриспруденция. Русско-английский словарь > рабочая формула
-
33 юридическая формула
Бизнес, юриспруденция. Русско-английский словарь > юридическая формула
-
34 конгруэнтная формула
Русско-английский новый политехнический словарь > конгруэнтная формула
-
35 конгруэнтная формула
Русско-английский словарь по информационным технологиям > конгруэнтная формула
-
36 опровержимая (логическая) формула
Information technology: refutable formulaУниверсальный русско-английский словарь > опровержимая (логическая) формула
-
37 формально опровержимая формула
Mathematics: formally refutable formulaУниверсальный русско-английский словарь > формально опровержимая формула
-
38 формально опровержимая формула
Русско-английский научно-технический словарь Масловского > формально опровержимая формула
- 1
- 2
См. также в других словарях:
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