Preuve combinatoire
- Preuve combinatoire
-
Une preuve combinatoire est une preuve qui tend à établir une identité entre deux expressions a priori différentes. La preuve s'appuie généralement sur deux techniques :
- Une preuve par double dénombrement, qui consiste à compter un même ensemble d'objets de deux manières différentes ;
- Une preuve bijective, qui consiste à établir une bijection entre deux ensembles dont on souhaite prouver l'équipotence.
Double dénombrement
Bijection
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Preuve combinatoire de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Combinatoire probabiliste — Méthode probabiliste Cet article n est pas sur les systèmes de preuve interactive qui sont utilisés pour convaincre un vérificateur qu une démonstration est correcte, ni sur les algorithmes probabilistes, qui donnent la bonne réponse avec une… … Wikipédia en Français
Preuve bijective — En mathématique, la preuve bijective est une technique de démonstration qui consiste à considérer une application bijective entre deux ensembles et à dénombrer chacun de ces ensembles, pour montrer que les expressions obtenues, correspondant à un … Wikipédia en Français
Assistant de preuve — En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant l écriture et la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des… … Wikipédia en Français
Explosion Combinatoire — Pour les articles homonymes, voir combinatoire (homonymie). On nomme explosion combinatoire en recherche opérationnelle, et en particulier dans le domaine de la programmation dynamique, le fait qu un petit changement du nombre de données à… … Wikipédia en Français
Assistant De Preuve — En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant l écriture et la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des… … Wikipédia en Français
Théorie de la preuve — 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 proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du XXe siècle … Wikipédia en Français
Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… … Wikipédia en Français
Calcul des probabilités — Probabilité La probabilité (du latin probabilitas) est une évaluation du caractère probable d un évènement. En mathématiques, l étude des probabilités est un sujet de grande importance donnant lieu à de nombreuses applications. La probabilité d… … Wikipédia en Français
Improbable — Probabilité La probabilité (du latin probabilitas) est une évaluation du caractère probable d un évènement. En mathématiques, l étude des probabilités est un sujet de grande importance donnant lieu à de nombreuses applications. La probabilité d… … Wikipédia en Français
Probabiliste — Probabilité La probabilité (du latin probabilitas) est une évaluation du caractère probable d un évènement. En mathématiques, l étude des probabilités est un sujet de grande importance donnant lieu à de nombreuses applications. La probabilité d… … Wikipédia en Français