- distinguished subset
- мат. отмеченное подмножество
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Distinguished Encoding Rules — (DER), is a message transfer syntax specified by the ITU in X.690. The Distinguished Encoding Rules of ASN.1 is an International Standard drawn from the constraints placed on basic encoding rules (BER) encodings by X.509. DER encodings are valid… … Wikipedia
Method of distinguished element — Distinguished element redirects here. For sets with pre defined distinguished elements, see Pointed set. In enumerative combinatorial mathematics, identities are sometimes established by arguments that rely on singling out one distinguished… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Matroid — In combinatorics, a branch of mathematics, a matroid ( /ˈmeɪ … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
combinatorics — /keuhm buy neuh tawr iks, tor , kom beuh /, n. (used with singular v.) See combinatorial analysis. * * * Branch of mathematics concerned with the selection, arrangement, and combination of objects chosen from a finite set. The number of possible… … Universalium
Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Polish space — In mathematics, a Polish space is a separable completely metrizable topological space; that is, a space homeomorphic to a complete metric space that has a countable dense subset. Polish spaces are so named because they were first extensively… … Wikipedia
Triangulated category — A triangulated category is a mathematical category satisfying some axioms that are based on the properties of the homotopy category of spectra, and the derived category of an abelian category. A t category is a triangulated category with a t… … Wikipedia
Borel algebra — In mathematics, the Borel algebra (or Borel sigma; algebra) on a topological space X is a sigma; algebra of subsets of X associated with the topology of X . In the mathematics literature, there are at least two nonequivalent definitions of this… … Wikipedia