Le support du cours est téléchargeable à partir de cette page.
Algorithmique avancée et preuve de programme
Enoncé du TD n°01
Enoncé du TD n°02
Enoncé du TD n°03
Corrigé du contrôle final
Corrigé du contrôle de rattrapage