Séance de cours
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.