Séances de cours associées à Résoudre les récurrences : Master Method

Explore la recherche binaire, le tri de fusion, la récursion dans les algorithmes, les nombres de Fibonacci et la programmation dynamique.

Couvre les bases de Coq, en se concentrant sur les expressions arithmétiques, l'évaluation et les techniques de preuve.

Explique la recherche binaire, la fonction logarithmique et les algorithmes récursifs pour les séquences factorielles et de Fibonacci.