Définition | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

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. Se pose la question de la différence entre une définition et un axiome. Pour exemple, dans l'arithmétique de Peano, l'addition et la multiplication sont des symboles du langage et leur fonctionnement est régi par des axiomes. Mais on pourrait tout à fait réduire le langage de l’arithmétique en supprimant les symboles « + » et « * » et les définir à partir de 0 et de la fonction successeur d'une manière similaire. Cela nous donnerait une autre théorie arithmétique, mais essentiellement équivalente sur toutes ses propriétés élémentaires. Une définition est une formule qui indique la signification d'un terme. Une définition pose une équivalence entre un terme (signifiant) et un sens (signifié). Elle autorise à remplacer le second par le premier et revêt ainsi une utilité pratique. Elle est également le résultat d'une opération et introduit donc le temps (le sens défini est fini, passé, en-soi), ainsi qu'un acteur (souvent implicite). La définition s'inscrit dans l'ordre de la dénotation, mais un terme connote également des sens, et ce sans faire explicitement appel au temps ou à un acteur. Il le fait grâce à une structure externe de l'espace des signifiants, mais il existe également une structure interne qui s'exprime à travers l'étymologie. Le concept de définition ne s’impose pas de lui-même, c'est un outil utile, mais pas indifférent : il s'inscrit dans une totalité structurée.

À propos de ce résultat

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.

Publications associées (11)

Adaptive analysis-aware defeaturing

Ondine Gabrielle Chanon

Removing geometrical details from a complex domain is a classical operation in computer aided design for simulation and manufacturing. This procedure simplifies the meshing process, and it enables fas

EPFL2022

In this thesis, we investigate the inverse problem of trees and barcodes from a combinatorial, geometric, probabilistic and statistical point of view.Computing the persistent homology of a merge tree

EPFL2022

We study the phenomenon of intransitivity in models of dice and voting. First, we follow a recent thread of research for n-sided dice with pairwise ordering induced by the probability, relative to 1/2

2020

Afficher plus

Personnes associées (4)

Michaël Unser, Fabio Nobile, Alfio Quarteroni, Eleonora Musharbash

Concepts associés (16)

Cours associés (247)

MATH-506: Topology IV.b - cohomology rings

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

CS-101: Advanced information, computation, communication I

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

MATH-111(e): Linear Algebra

L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et ses applications.

Afficher plus

Séances de cours associées (1 000)

MOOCs associés (26)

Analyse I

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

Analyse I (partie 1) : Prélude, notions de base, les nombres réels

Concepts de base de l'analyse réelle et introduction aux nombres réels.

Analyse I (partie 2) : Introduction aux nombres complexes

Introduction aux nombres complexes

Afficher plus

Circular definition

A circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.

Définition

Genus–differentia definition

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.

Explore la dérivation des diagrammes de Dynkin à partir des singularités du Val.

Couvre la définition et les propriétés du plasma, y compris l'ionisation et les effets collectifs.

Couvre cycliquement les ensembles monotones dans la théorie du transport optimal et leurs propriétés.