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).

Site du cours