Théorie > Fondements > Techniques élémentaires de preuves

Prérequis

Résumé

Ce chapitre reprend les techniques de base de résolutions de problèmes : des exemples de preuve directe, preuve par contraposition, preuve par l'absurde et preuve par récurrence sont donnés. Maîtriser ces différentes méthodes est primordial pour comprendre des preuves et en produire soi-même.

Ce chapitre a été écrit par N. Radu et mis en ligne le 8 décembre 2014.