Cours d'informatique théorique (S5 MIASHS) : intervenants Philippe Blasi & Marc-Michel Corsini
Pour l'année 2021-2022
- Programmation par contrats : signatures, axiomes, tests
- Récursion, Induction, Preuves
- Type de données abstrait (POO python)
- Complexité
- Arbres & Graphes
- Enseignant: Philippe Blasi
- Enseignant: Marc-Michel Corsini