-
1 refutable formula
-
2 refutable formula
The English-Russian dictionary general scientific > refutable formula
-
3 refutable formula
опровержимая (логическая) формулаБольшой англо-русский и русско-английский словарь > refutable formula
-
4 refutable formula
1) Математика: опровержимая формула2) Вычислительная техника: опровержимая (логическая) формула -
5 refutable formula
English-Russian dictionary of computer science and programming > refutable formula
-
6 refutable formula
мат. -
7 refutable formula
-
8 formally refutable formula
Математика: формально опровержимая формулаУниверсальный англо-русский словарь > formally refutable formula
-
9 formally refutable formula
English-Russian scientific dictionary > formally refutable formula
-
10 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
11 formula
формула; аналитическое выражение- assumption formulaformula holds when… — формула справедлива, когда…
- atomic formula
- Bayes' formula
- compound interest formula
- congruous formulas
- design formula
- duplication formula
- end formula
- forward interpolation formula
- fundamental formula
- interdeducible formulas
- interpolation formula
- inversion formula
- irrefutable formula
- matrix formula
- null formula
- prime formula
- recurrence formula
- refutable formula
- regressed formula
- simple interest formula
- starter formula
- summation formula
- well-formed formulaEnglish-Russian dictionary of computer science and programming > formula
-
12 formula
1. n формулаthey sought a formula that would allow settling of the dispute — они искали формулировку для разрешения спора
2. n рецепт3. n молочная смесь; детская смесь4. n догмат5. n шаблон, стереотипformula paintings — стандартные, шаблонные картины
6. n формула или классСинонимический ряд:1. established mode of speech (noun) code; credo; creed; custom; established mode of speech; protocol; ritual; ritualized speech; rote2. exact method (noun) blueprint; description; direction; exact method; guidelines; method; prescription; specifications3. symbolic representation (noun) chemical formula; empirical formula; equation; graphic formula; logarithm; ratio; recipe; symbolic representation; theorem -
13 formula
-
14 assumption formula
-
15 compound interest formula
-
16 derivation of a formula
-
17 interpolation formula
-
18 prime formula
-
19 summation formula
-
20 closed 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