Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours couvre les principes de l'induction mathématique, y compris l'étape de base et l'étape inductive, ainsi que la validité et l'exactitude de la méthode. Il explore également les applications de linduction mathématique dans la preuve des inégalités, des résultats de divisibilité et du nombre de sous-ensembles dans un ensemble fini. En outre, la séance de cours se penche sur l'induction forte et son utilisation pour prouver des propositions pour tous les entiers positifs. La session se termine par des exemples montrant l'application de l'induction forte dans la démonstration des déclarations sur les nombres entiers et les ensembles.