Dernière minute : rien pour l'instant...
Professeur : Olivier Poitou (poitou@free.fr)
Plan du cours :
Modalités d'examen : Partiel et Examen
Pré-requis : Logique des propositions et Logique des prédicats
Rappels sur la logique
Cours sur les arbres binaires de recherche
Examen de juin 2000
Examen de septembre 2000