- system of transitivity
- мат. система транзитивности, область транзитивности
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Value system — A value system is a set of consistent ethic values (more specifically the personal and cultural values) and measures used for the purpose of ethical or ideological integrity. A well defined value system is a moral code. Personal and communal One… … Wikipedia
CC system — In computational geometry, a CC system or counterclockwise system is a ternary relation pqr that satisfies the axioms: Cyclic symmetry: If pqr then qrp. Antisymmetry: If pqr then not prq. Nondegeneracy: Either pqr or prq. Interiority: If tqr and… … Wikipedia
POPLmark challenge — In type theory and programming languages, the POPLmark challenge is a set of benchmarks designed to evaluate the state of mechanization in the metatheory of programming languages, and to stimulate discussion and collaboration among a diverse… … Wikipedia
Cyclic order — In mathematics, a cyclic order is a way to arrange a set of objects in a circle.[nb] Unlike most structures in order theory, a cyclic order cannot be modeled as a binary relation a < b . One does not say that east is more clockwise than west.… … Wikipedia
Arrow's impossibility theorem — In social choice theory, Arrow’s impossibility theorem, the General Possibility Theorem, or Arrow’s paradox, states that, when voters have three or more distinct alternatives (options), no voting system can convert the ranked preferences of… … Wikipedia
Hurrian language — Hurrian Spoken in Mitanni Region Mesopotamia Extinct … Wikipedia
Mathieu group — Group theory Group theory … Wikipedia
Chaos theory — This article is about chaos theory in Mathematics. For other uses of Chaos theory, see Chaos Theory (disambiguation). For other uses of Chaos, see Chaos (disambiguation). A plot of the Lorenz attractor for values r = 28, σ = 10, b = 8/3 … Wikipedia
Potentially all pairwise rankings of all possible alternatives — (PAPRIKA) is a method for multi criteria decision making (MCDM) or conjoint analysis based on decision makers’ preferences as expressed using pairwise rankings of alternatives.[1][2] The PAPRIKA method – implemented via a specific type of… … Wikipedia
Navajo language — Navajo Diné bizaad Spoken in USA Region Arizona, New Mexico, Utah, Colorado Native speakers 171,000 … Wikipedia
Gödel numbering for sequences — A Gödel numbering for sequences provides us an effective way to represent each finite sequence of natural numbers as a single natural number. Of course, the embedding is surely possible set theoretically, but the emphasis is on the effectiveness… … Wikipedia