- generic subset
- мат. генерическое подмножество
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Generic programming — is a style of computer programming in which algorithms are written in terms of to be specified later types that are then instantiated when needed for specific types provided as parameters and was pioneered by Ada which appeared in 1983. This… … Wikipedia
Generic — means pertaining or appropriate to large classes or groups as opposed to specific members of the group. It may refer to:* Generic mood, a grammatical mood used to make generalized statements like Snow is white * Generic antecedents, referents in… … Wikipedia
Generic property — In mathematics, properties that hold for typical examples are called generic properties. For instance, a generic property of a class of functions is one that is true of almost all of those functions, as in the statements, A generic polynomial… … Wikipedia
Generic filter — In the mathematical field of set theory, a generic filter is a kind of object used in the theory of forcing, a technology used for many purposes, but especially to establish the independence of certain propositions from certain formal theories,… … Wikipedia
GENERIC — In the GNU Compiler Collection, GENERIC is an intermediate representation common to all the front ends of GCC. The middle end of GCC, starting with the GENERIC representation and ending after the expansion to RTL, contains all the optimizers and… … Wikipedia
Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… … Wikipedia
List of forcing notions — In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the extension ); to force a… … Wikipedia
Axiom A — In mathematics, Smale s axiom A defines a class of dynamical systems which have been extensively studied and whose dynamics is relatively well understood. A prominent example is the Smale horseshoe map. The term axiom A originates with Stephen… … Wikipedia
Ramified forcing — In mathematics, ramified forcing is the original form of forcing introduced by harvtxt|Cohen|1963. Ramified forcing starts with a model M of V = L, and builds up larger model M [ G ] of ZF by adding a generic subset G of a poset to M , by… … Wikipedia
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia
Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts … Wikipedia