Preuve (mathématiques)
Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

En mathématiques et en informatique théorique, une preuve est la démonstration de la vérité d'un énoncé, par une technique donnée. C'est un synonyme de démonstration.

Liste des techniques de preuve

  • Preuve directe
  • Preuve par induction
  • Raisonnement par l'absurde
  • Preuve par contraposée
  • Preuve par la méthode probabiliste
  • Preuve combinatoire (En mathématiques, la combinatoire, appelée aussi analyse combinatoire, étudie les configurations de collections finies d'objets ou les combinaisons...)
  • Argument diagonal (Dans les preuves mathématiques, notamment celles de logique mathématique, l'argument diagonal est un mécanisme de construction réflexive menant le plus souvent à une...)

Preuves dans des domaines particuliers

  • En combinatoire, la 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,...).
  • En cryptologie, la preuve de sécurité et la preuve à divulgation nulle de connaissance.
  • En mathématiques élémentaires (Les mathématiques élémentaires regroupent les mathématiques abordées et abordables dans l'enseignement primaire et secondaire. Une page méta...), la preuve par neuf.
Page générée en 0.019 seconde(s) - site hébergé chez Amen
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
Ce site est édité par Techno-Science.net - A propos - Informations légales
Partenaire: HD-Numérique