Logique 2017/2018



Les transparents du cours

Chapitre   Format 1 Page   Format 4 Pages   Dernière mise à jour
Présentation Generale du Cours   Pdf   Pdf   12/01/2018
Induction   Pdf   Pdf   15/01/2018
Calcul Propositionnel   Pdf   Pdf   22/01/2018
Théorie de la démonstration   Pdf   Pdf   05/02/2018
Toutes les règles  Pdf    05/02/2018
La résolution   Pdf   Pdf   09/02/2018
Le calcul des prédicats - Syntaxe   Pdf   Pdf   22/02/2018
Le calcul des prédicats - Sémantique   Pdf   Pdf   05/03/2018
Théorie de la démonstration pour le calcul des prédicats   Pdf   Pdf   05/03/2018
Incomplétude   Pdf   Pdf   12/03/2018
Unification   Pdf   Pdf   14/03/2018
La résolution pour le calcul des prédicats   Pdf   Pdf   14/03/2018


Les QC

QC1   QC2   QC3   QC4   QC5   QC6   QC7   QC9   QC10  

Les TD

TD1   TD2   TD3   TD4   TD5   TD6   TD7   TD8   TD9   TD10   TD11   TD12  

Les QCM

  Groupe 1   Groupe 2   Groupe 3
QCM1   Jeudi 8/2   Jeudi 8/2   Mardi 6/2
QCM2   Jeudi 8/3   Jeudi 8/3   Mardi 13/3
QCM3   Jeudi 5/4   Jeudi 5/4   Mardi 3/4


Humour1 Humour2

Le partiel (qui est obligatoire) aura lieu le Samedi 3 Mars de 9h30 à 12h30, Amphi 8C, Halle aux Farines.

L'examen final aura lieu le Samedi 5 Mai de 13h30 à 16h30, Amphi 2A, Halle aux Farines.

Le dernier cours (cours de révision et de préparation à l'examen) aura lieu le Lundi 9 Avril.

L'examen de rattrapage aura lieu le Jeudi 21 Juin de 15h30 à 18h30, Amphi 13E, 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.