Module "Logique" 2013/2014
Licence 3ème année



BARRE




Organisation




Calendrier et polycopies

Semaine duCoursObservations
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

  • Des exercices très intéressants sur la modélisation et la preuve (résolution ou autre).