constructive method
21Modus ponens — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) …
22El Lissitzky — Infobox Person name =El Lissitzky image size =200px caption = El Lissitzky in a 1924 self portrait birth date = November 23, 1890 birth place = Pochinok death date = December 30, 1941 death place = Moscow occupation = ArtistAudio|ru El… …
23Independent Media Center — Infobox Newspaper name = Independent Media Center (Indymedia) caption = Indymedia logo type = Open publishing format = Online owners = None foundation = November 24, 1999 language = English, Spanish, French, Italian, German, Portuguese, Dutch,… …
24Banach fixed point theorem — The Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of certain self maps… …
25Great Lakes refugee crisis — The Great Lakes refugee crisis is the common name for the situation beginning with the exodus in April 1994 of over two million Rwandans to neighboring countries of the Great Lakes region of Africa in the aftermath of the Rwandan Genocide. Many… …
26A-b-c-darian — A B C darians, ABC darians, or abecedarians were the youngest students (then called scholars) in the typical one room school of 19th century America, so called because they were just learning their “a b cs.” Early referencesIn his… …
27Banach fixed-point theorem — In mathematics, the Banach fixed point theorem (also known as the contraction mapping theorem or contraction mapping principle) is an important tool in the theory of metric spaces; it guarantees the existence and uniqueness of fixed points of… …
28COCOMO — COnstructive COst MOdel (COCOMO – модель издержек разработки) – это алгоритмическая модель оценки стоимости разработки программного обеспечения, разработанная Барри Боэмом (Barry Boehm). Модель использует простую формулу регрессии с параметрами,… …
29analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… …
30Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …
