Accès plus rapide que le navigateur!
54 relations: Algorithmique, András Hajnal, André Warusfel, Appartenance (mathématiques), Arbre (mathématiques), Arbre binaire, Axiome d'anti-fondation, Axiome d'extensionnalité, Axiome de fondation, Axiome du choix, Axiome du choix dépendant, Axiomes de Peano, Éditions Dunod, Bel ordre, Birkhäuser Verlag, Cambridge University Press, Chaîne de caractères, Classe (mathématiques), Complémentaire (théorie des ensembles), Conditions de chaîne, Couple (mathématiques), Définition par récurrence, Ensemble bien ordonné, Ensemble de définition, Entier naturel, Entier relatif, Fermeture transitive, Fonction (mathématiques), Graphe d'une fonction, Image d'une application, Induction structurelle, Jean-Pierre Ramis, Lemme de Higman, Mathématiques, Méthode de descente infinie, MIT Press, Nombre ordinal, Ordre lexicographique, Ordre total, Prédicat (logique mathématique), Programme informatique, Proposition contraposée, Raisonnement par récurrence, Récurrence transfinie, Relation acyclique, Relation binaire, Relation d'ordre, Relation réflexive, Schéma d'axiomes de remplacement, Suite (mathématiques), ..., Terminaison d'un algorithme, Terminaison d'un système de réécriture, Théorie des ensembles, Théorie des ensembles de Zermelo-Fraenkel. Développer l'indice (4 plus) »
Algorithmique
Organigramme de programmation représentant l'algorithme d'Euclide. Lalgorithmique est l'étude et la production de règles et techniques qui sont impliquées dans la définition et la conception d'algorithmes, c'est-à-dire de processus systématiques de résolution d'un problème permettant de décrire précisément des étapes pour résoudre un problème algorithmique.
Nouveau!!: Relation bien fondée et Algorithmique · Voir plus »
András Hajnal
András Hajnal, né le à Budapest en Hongrie et mort le à Budapest, est un mathématicien hongrois, spécialiste de théorie des ensembles et de combinatoire, notamment de théorie des graphes.
Nouveau!!: Relation bien fondée et András Hajnal · Voir plus »
André Warusfel
André Warusfel, né le à Douai et décédé le à Paris 15e, ancien élève de l'École normale supérieure (promotion 1956), fut successivement professeur, inspecteur général et historien des mathématiques.
Nouveau!!: Relation bien fondée et André Warusfel · Voir plus »
Appartenance (mathématiques)
Le symbole de l'appartenance. En mathématique ensembliste, l’ est une relation entre un élément et un ensemble, et également par abus de notations une relation entre un objet et une classe.
Nouveau!!: Relation bien fondée et Appartenance (mathématiques) · Voir plus »
Arbre (mathématiques)
En mathématiques, un arbre est la donnée d'un ensemble E et d'une relation symétrique R sur E telle que deux points distincts quelconques x et y de E soient reliés par un seul chemin injectif fini, ie n+1 points z0,...,zn de E distincts vérifiant x.
Nouveau!!: Relation bien fondée et Arbre (mathématiques) · Voir plus »
Arbre binaire
En informatique, un arbre binaire est une structure de données qui peut se représenter sous la forme d'une hiérarchie dont chaque élément est appelé nœud, le nœud initial étant appelé racine.
Nouveau!!: Relation bien fondée et Arbre binaire · Voir plus »
Axiome d'anti-fondation
L’axiome d’anti-fondation (en anglais, anti-foundation axiom ou AFA) est un axiome alternatif à l'axiome de fondation de la théorie des ensembles qui permet des chaînes infinies descendantes pour la relation d'appartenance sur les ensembles.
Nouveau!!: Relation bien fondée et Axiome d'anti-fondation · Voir plus »
Axiome d'extensionnalité
L’axiome d’extensionnalité est l’un des axiomes-clés de la plupart des théories des ensembles, en particulier, des théories des ensembles de Zermelo, et de Zermelo-Fraenkel (ZF).
Nouveau!!: Relation bien fondée et Axiome d'extensionnalité · Voir plus »
Axiome de fondation
L'axiome de fondation, encore appelé axiome de régularité, est l'un des axiomes de la théorie des ensembles.
Nouveau!!: Relation bien fondée et Axiome de fondation · Voir plus »
Axiome du choix
Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo.
Nouveau!!: Relation bien fondée et Axiome du choix · Voir plus »
Axiome du choix dépendant
En mathématiques, l'axiome du choix dépendant, noté DC, est une forme faible de l'axiome du choix (AC), suffisante pour développer une majeure partie de l'analyse réelle.
Nouveau!!: Relation bien fondée et Axiome du choix dépendant · Voir plus »
Axiomes de Peano
Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre.
Nouveau!!: Relation bien fondée et Axiomes de Peano · Voir plus »
Éditions Dunod
Dunod est une maison d'édition du groupe Hachette Livre, spécialisée dans les ouvrages de formation universitaire et professionnelle et regroupe les marques Dunod, Armand Colin, InterÉditions, Ediscience, ETSF.
Nouveau!!: Relation bien fondée et Éditions Dunod · Voir plus »
Bel ordre
En mathématiques, plus précisément en théorie des ordres, un beau préordre est un préordre ≤ sur un ensemble X tel que pour toute suite (x) d'éléments de X, il existe i et j tels que i (\N, |), l'ensemble des entiers naturels muni de la relation de divisibilité, est un ordre bien fondé mais n'est pas un bel ordre: la suite des nombres premiers est infinie mais ne contient aucune paire de nombres dont l'un divise l'autre.
Nouveau!!: Relation bien fondée et Bel ordre · Voir plus »
Birkhäuser Verlag
est une maison d'édition suisse fondée en 1879 et spécialisée dans l'architecture, le paysage et le design.
Nouveau!!: Relation bien fondée et Birkhäuser Verlag · Voir plus »
Cambridge University Press
Cambridge University Press ou CUP (en français, Presses universitaires de Cambridge) est une maison d'édition universitaire britannique rattachée à l’université de Cambridge.
Nouveau!!: Relation bien fondée et Cambridge University Press · Voir plus »
Chaîne de caractères
En informatique, une chaîne de caractères est à la fois conceptuellement une suite ordonnée de caractères et physiquement une suite ordonnée d' unités de code (code unit).
Nouveau!!: Relation bien fondée et Chaîne de caractères · Voir plus »
Classe (mathématiques)
En mathématiques, la notion de classe généralise celle d'ensemble.
Nouveau!!: Relation bien fondée et Classe (mathématiques) · Voir plus »
Complémentaire (théorie des ensembles)
En mathématiques, et plus particulièrement en théorie des ensembles, le complémentaire d'une partie A d'un ensemble E est constitué de tous les éléments de E n'appartenant pas à A. Le complémentaire de A est.
Nouveau!!: Relation bien fondée et Complémentaire (théorie des ensembles) · Voir plus »
Conditions de chaîne
Les conditions de chaîne (ascendante et descendante) sont deux propriétés mathématiques sur les ordres, identifiées initialement par Emmy Noether dans le contexte de l'algèbre commutative.
Nouveau!!: Relation bien fondée et Conditions de chaîne · Voir plus »
Couple (mathématiques)
En mathématiques, un couple de deux objets est la donnée de ces deux objets dans un ordre déterminé.
Nouveau!!: Relation bien fondée et Couple (mathématiques) · Voir plus »
Définition par récurrence
fractales, cette courbe est définie par récurrence. En mathématiques, on parle de définition par récurrence pour une suite, c'est-à-dire une fonction définie sur les entiers positifs et à valeurs dans un ensemble donné.
Nouveau!!: Relation bien fondée et Définition par récurrence · Voir plus »
Ensemble bien ordonné
En mathématiques, un ensemble ordonné (E, ≤) est bien ordonné et la relation ≤ est un bon ordre si la condition suivante est satisfaite: Si (E, ≤) est bien ordonné alors ≤ est nécessairement un ordre total, c'est-à-dire que deux éléments quelconques x et y de E sont toujours comparables.
Nouveau!!: Relation bien fondée et Ensemble bien ordonné · Voir plus »
Ensemble de définition
En mathématiques, l'ensemble de définition (également appelé domaine de définition ou parfois ensemble de départ, voir la discussion plus bas) d'une application ou d'une fonction désigne informellement l'ensemble des entrées acceptées par elle.
Nouveau!!: Relation bien fondée et Ensemble de définition · Voir plus »
Entier naturel
En mathématiques, un entier naturel est un nombre permettant fondamentalement de compter des objets considérés comme des unités équivalentes: un jeton, deux jetons… une carte, deux cartes, trois cartes… Un tel nombre entier peut s'écrire avec une suite finie de chiffres en notation décimale positionnelle (sans signe et sans virgule).
Nouveau!!: Relation bien fondée et Entier naturel · Voir plus »
Entier relatif
En mathématiques, un entier relatif, un entier rationnel ou simplement un nombre entier est un nombre qui se présente comme un entier naturel auquel on a adjoint un signe positif ou négatif indiquant sa position par rapport à 0 sur un axe orienté.
Nouveau!!: Relation bien fondée et Entier relatif · Voir plus »
Fermeture transitive
La fermeture transitive est une opération mathématique pouvant être appliquée sur des relations binaires sur un ensemble, autrement dit sur des graphes orientés.
Nouveau!!: Relation bien fondée et Fermeture transitive · Voir plus »
Fonction (mathématiques)
Diagramme de calcul pour la fonction x \mapsto \frac2x-1x+3 En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine.
Nouveau!!: Relation bien fondée et Fonction (mathématiques) · Voir plus »
Graphe d'une fonction
Représentation du graphe de la fonction f \colon \beginalign&\scriptstyle -1,~1,5 \to -1,~1,5 \\ &\textstyle x \mapsto \frac(4x^3-6x^2+1)\sqrtx+13-x\endalign. Le graphe d'une fonction de ''E'' dans ''F'' est le sous-ensemble G de ''E''×''F'' formé par les couples d'éléments liés par la correspondance: G.
Nouveau!!: Relation bien fondée et Graphe d'une fonction · Voir plus »
Image d'une application
f est une fonction de X dans Y. L'ovale jaune dans Y est l'image de f. On appelle image d'une application (d'un ensemble vers un ensemble) l'image directe par de l'ensemble de départ.
Nouveau!!: Relation bien fondée et Image d'une application · Voir plus »
Induction structurelle
En mathématiques et davantage en informatique, la définition récursive ou induction structurelle est un procédé de définition conjointe d'un type (classe ou ensemble) et d'objets (éléments) qui le compose au moyen de règles de construction (constructeurs) qui agencent ou structurent ces objets.
Nouveau!!: Relation bien fondée et Induction structurelle · Voir plus »
Jean-Pierre Ramis
Jean-Pierre Ramis, né le à Montpellier, est un mathématicien français, membre de l'Académie des sciences.
Nouveau!!: Relation bien fondée et Jean-Pierre Ramis · Voir plus »
Lemme de Higman
En mathématiques, le lemme de Higman est un résultat de la théorie des ordres qui affirme que, pour un ensemble X muni d'un bel ordre, l'ensemble X^* des mots finis sur X muni de l'ordre sous-mot est également un bel ordre.
Nouveau!!: Relation bien fondée et Lemme de Higman · Voir plus »
Mathématiques
Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets.
Nouveau!!: Relation bien fondée et Mathématiques · Voir plus »
Méthode de descente infinie
La méthode de descente infinie ou méthode de descente infinie de Fermat est un argument mathématique voisin du raisonnement par récurrence, mais aussi du raisonnement par l'absurde, qui utilise le fait qu'une suite d'entiers naturels strictement décroissante est nécessairement finie.
Nouveau!!: Relation bien fondée et Méthode de descente infinie · Voir plus »
MIT Press
MIT Press (pouvant se traduire en français par « presses du MIT ») est une maison d'édition universitaire américaine affiliée au Massachusetts Institute of Technology à Cambridge, Massachusetts.
Nouveau!!: Relation bien fondée et MIT Press · Voir plus »
Nombre ordinal
Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc.
Nouveau!!: Relation bien fondée et Nombre ordinal · Voir plus »
Ordre lexicographique
En mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné).
Nouveau!!: Relation bien fondée et Ordre lexicographique · Voir plus »
Ordre total
En mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que \forall x,y\in E\quad x\le y\texty\le x. On dit alors que E est totalement ordonné par ≤.
Nouveau!!: Relation bien fondée et Ordre total · Voir plus »
Prédicat (logique mathématique)
En logique mathématique, un prédicat d'un langage est une propriété des objets du domaine considéré (l'univers du discours) exprimée dans le langage en question.
Nouveau!!: Relation bien fondée et Prédicat (logique mathématique) · Voir plus »
Programme informatique
Un programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur.
Nouveau!!: Relation bien fondée et Programme informatique · Voir plus »
Proposition contraposée
En mathématiques et en logique, la contraposition transforme une implication « si A alors B » en une implication équivalente « si non B alors non A ».
Nouveau!!: Relation bien fondée et Proposition contraposée · Voir plus »
Raisonnement par récurrence
suite de dominos. Si la propriété est vraie au rang n0 (''i. e.'' le premier domino de numéro 0 tombe) et si sa véracité au rang ''n'' implique celle au rang ''n'' + 1 (''i. e.'' la chute du domino numéro ''n'' fait tomber le domino numéro ''n'' + 1) alors la propriété est vraie pour tout entier (''i. e.'' tous les dominos tombent). En mathématiques, le raisonnement par récurrence (ou par induction, ou induction complète) est une forme de raisonnement visant à démontrer une propriété portant sur tous les entiers naturels.
Nouveau!!: Relation bien fondée et Raisonnement par récurrence · Voir plus »
Récurrence transfinie
En mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts.
Nouveau!!: Relation bien fondée et Récurrence transfinie · Voir plus »
Relation acyclique
En mathématiques, une relation acyclique est une relation sans cycle.
Nouveau!!: Relation bien fondée et Relation acyclique · Voir plus »
Relation binaire
En mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation.
Nouveau!!: Relation bien fondée et Relation binaire · Voir plus »
Relation d'ordre
Une relation d'ordre dans un ensemble est une relation binaire dans cet ensemble qui permet de comparer ses éléments de manière cohérente.
Nouveau!!: Relation bien fondée et Relation d'ordre · Voir plus »
Relation réflexive
En mathématiques, une relation binaire peut avoir, entre autres propriétés, la réflexivité ou bien l'antiréflexivité (ou irréflexivité).
Nouveau!!: Relation bien fondée et Relation réflexive · Voir plus »
Schéma d'axiomes de remplacement
Le schéma d'axiomes de remplacement, ou schéma d'axiomes de substitution, est un schéma d'axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem.
Nouveau!!: Relation bien fondée et Schéma d'axiomes de remplacement · Voir plus »
Suite (mathématiques)
Exemple de suite: les points bleus représentent ses termes. En mathématiques, une suiteLe mot séquence est un anglicisme.
Nouveau!!: Relation bien fondée et Suite (mathématiques) · Voir plus »
Terminaison d'un algorithme
La terminaison est une propriété fondamentale des algorithmes.
Nouveau!!: Relation bien fondée et Terminaison d'un algorithme · Voir plus »
Terminaison d'un système de réécriture
La terminaison d'un système de réécriture \rightarrow_R porte sur un système de réécriture abstrait et affirme que toute chaîne de réduction de termes de la forme t_0 \rightarrow_R t_1 \rightarrow_R t_2 \rightarrow_R \ldots est finie.
Nouveau!!: Relation bien fondée et Terminaison d'un système de réécriture · Voir plus »
Théorie des ensembles
La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du.
Nouveau!!: Relation bien fondée et Théorie des ensembles · Voir plus »
Théorie des ensembles de Zermelo-Fraenkel
L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor.
Nouveau!!: Relation bien fondée et Théorie des ensembles de Zermelo-Fraenkel · Voir plus »
Redirections ici:
Induction bien fondée, Induction noethérienne, Ordre artinien, Ordre bien fondé, Récurrence bien fondée, Récurrence noethérienne, Récursion bien fondée.
