19 relations: Algorithme, Algorithme glouton, Calcul des constructions, Constructivisme (mathématiques), Continuation, Correspondance de Curry-Howard, Démonstration (logique et mathématiques), Infini, Jean-Louis Krivine, Jean-Yves Girard, Logique classique, Logique intuitionniste, Loi de Peirce, Mathématiques, Polynôme de Bernstein, Principe du tiers exclu, Théorème de Brooks, Théorème de Stone-Weierstrass, Théorie de la démonstration.
Algorithme
triangulation). Un algorithme est une suite finie et non ambiguë d'instructions et d’opérations permettant de résoudre une classe de problèmes.
Nouveau!!: Démonstration constructive et Algorithme · Voir plus »
Algorithme glouton
Un algorithme glouton (en anglais, parfois appelé aussi algorithme gourmand, ou goulu) est un algorithme qui suit le principe de réaliser, étape par étape, un choix optimum local, afin d'obtenir un résultat optimum global.
Nouveau!!: Démonstration constructive et Algorithme glouton · Voir plus »
Calcul des constructions
Le calcul des constructions (CoC de l'anglais) est un lambda-calcul typé d'ordre supérieur dans lequel les types sont des valeurs de première classe.
Nouveau!!: Démonstration constructive et Calcul des constructions · Voir plus »
Constructivisme (mathématiques)
En philosophie des mathématiques, le constructivisme est une position vis-à-vis des mathématiques qui considère que l'on ne peut effectivement démontrer l'existence d'objets mathématiques qu'en donnant une construction de ceux-ci, une suite d'opérations mentales qui conduit à l'évidence de l'existence de ces objets.
Nouveau!!: Démonstration constructive et Constructivisme (mathématiques) · Voir plus »
Continuation
En informatique, la continuation d'un système est son futur, c'est-à-dire la suite des instructions qu'il lui reste à exécuter à un moment précis.
Nouveau!!: Démonstration constructive et Continuation · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Démonstration constructive et Correspondance de Curry-Howard · Voir plus »
Démonstration (logique et mathématiques)
consulté le.
Nouveau!!: Démonstration constructive et Démonstration (logique et mathématiques) · Voir plus »
Infini
symbole infini. Le mot « infini » (-e, -s) est un adjectif servant à qualifier quelque chose qui n'a pas de limite en nombre ou en taille.
Nouveau!!: Démonstration constructive et Infini · Voir plus »
Jean-Louis Krivine
Jean-Louis Krivine, né en 1939, est un mathématicien français spécialisé en logique mathématique.
Nouveau!!: Démonstration constructive et Jean-Louis Krivine · Voir plus »
Jean-Yves Girard
Jean-Yves Girard, né en 1947 à Lyon, est un logicien et mathématicien contemporain, directeur de recherche au CNRS (émérite) au département de logique de la programmation de l'institut de mathématiques de Luminy (devenu l'Institut de Mathématiques de Marseille depuis le). Il a reçu la médaille d'argent du CNRS en 1983.
Nouveau!!: Démonstration constructive et Jean-Yves Girard · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Démonstration constructive et Logique classique · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Démonstration constructive et Logique intuitionniste · Voir plus »
Loi de Peirce
En logique, la loi de Peirce est la proposition ((A \to B) \to A) \to A où \to désigne l'implication.
Nouveau!!: Démonstration constructive et Loi de Peirce · 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!!: Démonstration constructive et Mathématiques · Voir plus »
Polynôme de Bernstein
Les polynômes de Bernstein, nommés ainsi en l'honneur du mathématicien russe Sergueï Bernstein (1880-1968), permettent de donner une démonstration constructive et probabilistedu théorème d'approximation de Weierstrass.
Nouveau!!: Démonstration constructive et Polynôme de Bernstein · Voir plus »
Principe du tiers exclu
En logique formelle, le principe du tiers exclu (ou "principium medii exclusi" ou " tertium non datur", ou simplement le « tiers exclu ») énonce qu'ou bien une proposition est vraie, ou bien sa négation est vraie.
Nouveau!!: Démonstration constructive et Principe du tiers exclu · Voir plus »
Théorème de Brooks
En mathématiques, et plus particulièrement dans la théorie des graphes, le théorème de Brooks donne une relation entre le degré maximal d'un graphe connexe non orienté et son nombre chromatique.
Nouveau!!: Démonstration constructive et Théorème de Brooks · Voir plus »
Théorème de Stone-Weierstrass
En mathématiques, le théorème de Stone-Weierstrass est une généralisation du théorème d'approximation de Weierstrass: et.
Nouveau!!: Démonstration constructive et Théorème de Stone-Weierstrass · Voir plus »
Théorie de la démonstration
La théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais), est une branche de la logique mathématique.
Nouveau!!: Démonstration constructive et Théorie de la démonstration · Voir plus »