- transitive extension
- мат. транзитивное расширение
Большой англо-русский и русско-английский словарь. 2001.
transitive extension
Смотреть что такое "transitive extension" в других словарях:
Géostatistique transitive — La géostatistique transitive est la branche de la géostatistique qui étudie la variable régionalisée sans hypothèse supplémentaire. Sommaire 1 Notations 2 Covariogramme transitif 2.1 Positivité … Wikipédia en Français
foreshorten — transitive verb Date: 1606 1. to shorten by proportionately contracting in the direction of depth so that an illusion of projection or extension in space is obtained 2. to make more compact ; abridge, shorten … New Collegiate Dictionary
Mathieu group — Group theory Group theory … Wikipedia
Variable régionalisée — La VR comme phénomène physique : topographie de la ville de Binche … Wikipédia en Français
Admissible rule — In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).DefinitionsThe concept of admissibility, as… … Wikipedia
Partially ordered set — The Hasse diagram of the set of all subsets of a three element set {x, y, z}, ordered by inclusion. In mathematics, especially order theory, a partially ordered set (or poset) formalizes and generalizes the intuitive concept of an ordering,… … Wikipedia
Glossary of order theory — This is a glossary of some terms used in various branches of mathematics that are related to the fields of order, lattice, and domain theory. Note that there is a structured list of order topics available as well. Other helpful resources might be … Wikipedia
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Cosmology — • In our day cosmology is a branch of philosophical study, and therefore excludes from its investigation whatever forms the object of the natural sciences Catholic Encyclopedia. Kevin Knight. 2006. Cosmology Cosmology … Catholic encyclopedia
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
