- extensional model
- мат. экстенсиональная модель
Большой англо-русский и русско-английский словарь. 2001.
extensional model
Смотреть что такое "extensional model" в других словарях:
Entity-relationship model — A sample Entity relationship diagram using Chen s notation In software engineering, an entity relationship model (ERM) is an abstract and conceptual representation of data. Entity relationship modeling is a database modeling method, used to… … 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
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Oldroyd-B model — The Oldroyd B model is a constitutive model used to describe the flow of viscoelastic fluids. This model can be regarded as an extension of the Upper Convected Maxwell model and is equivalent to a fluid filled with elastic bead and spring… … Wikipedia
solids, mechanics of — ▪ physics Introduction science concerned with the stressing (stress), deformation (deformation and flow), and failure of solid materials and structures. What, then, is a solid? Any material, fluid or solid, can support normal forces.… … Universalium
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
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different … Wikipedia
Mostowski collapse lemma — In mathematical logic, the Mostowski collapse lemma is a statement in set theory named for Andrzej Mostowski. Contents 1 Statement 2 Generalizations 3 Application 4 Referenc … Wikipedia
Décollement — Fig. 1 Imbricate fan in a thrust system with a basal décollement[1][2] Décollement (dé collé ment) is a gliding plane between two rock masses. In French, décoller means to detach from or to rip of … Wikipedia
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
