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

Prérequis


Introduction

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.