Séances de cours associées à Fonctions définies récursivement

Ensembles et structures définis récursivement

Explore les ensembles définis récursivement, les nombres naturels, les chaînes, les fonctions et les formules de logique propositionnelle.

Induction et récursivité: induction mathématique et forte - Un exemple

Couvre les concepts de l'induction mathématique et forte à travers un exemple.

Comptage avancé: Exemples

Couvre les techniques de comptage avancées, y compris les relations de récurrence linéaire et les fonctions génératrices, avec des exemples de la séquence de Fibonacci et des différences entre les dés et les cartes de poker.

Propositions inductives : Techniques de raisonnement et d’évaluation

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.