Ê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 le concept de comptage en utilisant des relations de récurrence, en se concentrant sur les chaînes de bits sans 0 consécutifs et le problème de la Tour de Hanoi. Il explique les versions formalisées et familières des preuves, fournissant des exemples et des solutions.