representability
11Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… …
12Ребекка (фильм, 1940) — У этого термина существуют и другие значения, см. Ребекка (фильм). Ребекка Rebecca …
13Diophantine set — In mathematics, a Diophantine equation is an equation of the form P(x1, ..., xj, y1, ..., yk)=0 (usually abbreviated P(x,y)=0 ) where P(x,y) is a polynomial with integer coefficients. A Diophantine set is a subset S of Nj [1] so that for some… …
14Emmy Noether — Amalie Emmy Noether Born 23 March 1882(1882 03 23) …
15Density functional theory — Electronic structure methods Tight binding Nearly free electron model Hartree–Fock method Modern valence bond Generalized valence bond Møller–Plesset perturbation theory …
16Matroid — In combinatorics, a branch of mathematics, a matroid (  /ˈmeɪ …
17List of algebraic topology topics — This is a list of algebraic topology topics, by Wikipedia page. See also: topology glossary List of topology topics List of general topology topics List of geometric topology topics Publications in topology Topological property Contents 1… …
18Diagonal lemma — In mathematical logic, the diagonal lemma or fixed point theorem establishes the existence of self referential sentences in certain formal theories of the natural numbers specifically those theories that are strong enough to represent all… …
19CW complex — In topology, a CW complex is a type of topological space introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still… …
20Weil restriction — In mathematics, restriction of scalars (also known as Weil restriction ) is a functor which, for any finite extension of fields L/k and any algebraic variety X over L , produces another variety Res L / k X , defined over k . It is useful for… …
