Séance de cours
Cette séance de cours introduit l'induction forte comme une méthode de preuve équivalente à l'induction mathématique, mais plus adaptée à certains cas. Il explique les principes de l'induction forte, ses avantages par rapport à l'induction mathématique, et son équivalence avec d'autres méthodes de preuve. Un exemple détaillé est fourni pour démontrer comment linduction forte peut être appliquée pour prouver un théorème sur les entiers positifs étant écrit comme la somme des puissances distinctes de deux.