Outils logiques et algorithmiques
Cours niveau licence, Université Paris-Saclay, Faculté des Sciences d'Orsay, 2022
Algorithmes et structures de données, ainsi que techniques qui permettent de raisonner sur les algorithmes (formalisation d’un problème sous forme récursive, algorithmes sur les arbres et les graphes, fonctions de tri).