Logique 2018/2019



Les transparents du cours

Chapitre   Slides   Dernière mise à jour
Présentation Generale du Cours   Pdf   11/01/2019
Induction   Pdf   11/02/2019
Calcul Propositionnel   Pdf   18/02/2019
Théorie de la démonstration   Pdf   12/03/2019
Toutes les règles  Pdf  24/01/2019
Le calcul des prédicats - Syntaxe   Pdf   18/02/2019
Le calcul des prédicats - Sémantique   Pdf   25/02/2019
Théorie de la démonstration pour le calcul des prédicats   Pdf   12/03/2019
Unification   Pdf   28/03/2019
La résolution pour le calcul des prédicats   Pdf   28/03/2019
Complétude de la résolution   Pdf   28/03/2019
Incomplétude   Pdf   28/03/2019


Les QC

QC1   QC2   QC3   QC4   QC5   QC6   QC7   QC8   QC9  

Les TD

TD1     TD2     TD3     TD4     TD5     TD6     TD7     TD8     TD9     TD10    

Les QCM
  Groupe 1   Groupe 2   Groupe 3   Groupe 4
QCM1   7 Février   8 Février   7 Février   8 Février
QCM2   14 Mars   15 Mars   14 Mars   15 Mars
QCM3   5 Avril 9h30-11H30 salle 2014   5 Avril 13h30-15h30   4 Avril 15h30-17h30   5 Avril 15h30-17h30

L'EXAMEN

L'examen final il aura lieu le Lundi 6 Mai de 8h30 à 11h30, Amphi 13E, Halle aux Farines.

Le PARTIEL

Le PARTIEL est obligatoire, il aura lieu le Samedi 9 Mars de 9h00 à 12h00, Amphi 1A, Halle aux Farines.

Pendant le partiel et les examens (examen final et examen de rattrapage), les étudiants auront droit uniquement à
la consultation de deux feuilles A4 manuscrites et strictement personnelles. Tous les autres documents ne seront pas autorisés.

Le TP noté (1-10 Février)

Sites pour s'entraîner
Un peu d'humour

1 2 3 4 5 6