A genus–differentia definition is a type of intensional definition, and it is composed of two parts:
a genus (or family): An existing definition that serves as a portion of the new definition; all definitions with the same genus are considered members of that genus.
the differentia: The portion of the definition that is not provided by the genus.
For example, consider these two definitions:
a triangle: A plane figure that has 3 straight bounding sides.
a quadrilateral: A plane figure that has 4 straight bounding sides.
Those definitions can be expressed as one genus and two differentiae:
one genus:
the genus for both a triangle and a quadrilateral: "A plane figure"
two differentiae:
the differentia for a triangle: "that has 3 straight bounding sides."
the differentia for a quadrilateral: "that has 4 straight bounding sides."
The use of a genus (Greek: genos) and a differentia (Greek: diaphora) in constructing a definition goes back at least as far as Aristotle (384–322 BCE). Furthermore, a genus may fulfill certain characteristics (described below) that qualify it to be referred to as a species, a term derived from the Greek word eidos, which means "form" in Plato's dialogues but should be taken to mean "species" in Aristotle's corpus.
The process of producing new definitions by extending existing definitions is commonly known as differentiation (and also as derivation). The reverse process, by which just part of an existing definition is used itself as a new definition, is called abstraction; the new definition is called an abstraction and it is said to have been abstracted away from the existing definition.
For instance, consider the following:
a square: a quadrilateral that has interior angles which are all right angles, and that has bounding sides which all have the same length.
A part of that definition may be singled out (using parentheses here):
a square: (a quadrilateral that has interior angles which are all right angles), and that has bounding sides which all have the same length.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
A genus–differentia definition is a type of intensional definition, and it is composed of two parts: a genus (or family): An existing definition that serves as a portion of the new definition; all definitions with the same genus are considered members of that genus. the differentia: The portion of the definition that is not provided by the genus. For example, consider these two definitions: a triangle: A plane figure that has 3 straight bounding sides. a quadrilateral: A plane figure that has 4 straight bounding sides.
Une définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Le contenu de ce cours correspond à celui du cours d'Analyse I, comme il est enseigné pour les étudiantes et les étudiants de l'EPFL pendant leur premier semestre. Chaque chapitre du cours correspond
Concepts de base de l'analyse réelle et introduction aux nombres réels.
Singular cohomology is defined by dualizing the singular chain complex for spaces. We will study its basic properties, see how it acquires a multiplicative structure and becomes a graded commutative a
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
In this thesis we address the problem of safe substitutability in mobile component-oriented formalisms. We try to give a solution for different definitions of "safe" through a new notion of subtyping