- formal simplification
- мат. формальное упрощение
Большой англо-русский и русско-английский словарь. 2001.
formal simplification
Смотреть что такое "formal simplification" в других словарях:
Simplification — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
Chinese characters — Unless otherwise specified Chinese text in this article is written in the format (Simplified Chinese / Traditional Chinese; Pinyin). In cases where the Simplified and Traditional Chinese characters are identical, the Chinese term is written only… … Wikipedia
Chinese character — Chinese pic=Hanzi.svg!200px picc Traditional Chinese (hanzi, kanji, hanja, and hán tự) Right: Chinese character in Simplified Chinese s=汉字 t=漢字 kanji=漢字 p=Audio|zh han4zi4.ogg|Hànzì j=hon3 zi6 poj=Hàn jī teo=hang3 ri7 lmz=IPA| [høz] hiragana=かんじ… … Wikipedia
Laws of Form — (hereinafter LoF ) is a book by G. Spencer Brown, published in 1969, that straddles the boundary between mathematics and of philosophy. LoF describes three distinct logical systems: * The primary arithmetic (described in Chapter 4), whose models… … Wikipedia
PROSODY, HEBREW — This article is a survey of the history of Hebrew poetic forms from the Bible to the present time. The entry is arranged according to the following outline: introduction the variety of formal systems the specific nature of hebrew literary history … Encyclopedia of Judaism
American and British English spelling differences — Spelling differences redirects here. For other uses, see Category:Language comparison. For guidelines on dialects and spelling in the English language version of Wikipedia, see Wikipedia:Manual of Style#National varieties of English. Differences… … Wikipedia
Simplified Chinese characters — Simplified Chinese Type Logographic Languages Chinese Time period Since 1956 Parent systems … Wikipedia
Sheffer stroke — This article is about the logical NAND operator. For the electronic NAND gate, see Negated AND gate. For other uses, see Nand (disambiguation). Venn diagram of In Boolean functions and propositional calculus, the Sheffer stroke, named after … Wikipedia
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Composition (visual arts) — The Art of Painting by Jan Vermeer, noted for his subtle compositions In the visual arts – in particular painting, graphic design, photography and sculpture – composition is the placement or arrangement of visual elements or ingredients in a work … Wikipedia
Germany — /jerr meuh nee/, n. a republic in central Europe: after World War II divided into four zones, British, French, U.S., and Soviet, and in 1949 into East Germany and West Germany; East and West Germany were reunited in 1990. 84,068,216; 137,852 sq.… … Universalium
