Organisation
Jour | Heure | Salle |
---|---|---|
Lundi | 8h30 | Amphi 5C |
Calendrier et polycopies
Semaine du | Cours | Observations |
---|---|---|
27 janvier | Introduction, Notions de base, Principe d'induction, Transparents 1 Transparents 1 (4 sur 1) | - |
3 février | Logique propositionnelle | - |
10 février | Systèmes de preuves syntaxique, Calcul de Hilbert, Transparents 2 Transparents 2 (4 sur 1) | - |
17 février | Déduction naturelle | - |
24 février | Systèmes de Gentzen | - |
3 mars | Résolution en logique propositionnelle | - |
10 mars | Calcul des prédicats, Transparents 3 Transparents 3 (4 sur 1) | - |
17 mars | Calcul des prédicats | - |
24 mars | Calcul des prédicats | - |
31 mars | Calcul des prédicats | - |
7 avril | Unification, Transparents 4 Transparents 4 (4 sur 1) | - |
28 avril | - | - |
5 mai | - | - |
Liens