Séances de cours associées à Arbres de recherche binaires: opérations et procédures

Explique l'algorithme de recherche binaire en utilisant deux pointeurs pour rechercher efficacement une liste triée.

Programmation dynamique : sous-séquences palindromiques

Explore la programmation dynamique des sous-séquences palindromiques, fusionnant les arbres de recherche binaires et trouvant la médiane de deux tableaux triés.

L'algorithme de Huffman : mécaniser la preuve

Explore la mécanisation de l'algorithme de Huffman et sa mise en œuvre fonctionnelle.

Recherche binaire : Fonction de logarithme

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

Récursion et recherche binaire

Introduit des algorithmes de récursion et de recherche binaire pour résoudre efficacement les problèmes.

Algorithmes récursifs : induction et récurrence

Introduit des algorithmes récursifs pour la factorielle, l'exponentiation et la recherche.