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 |
|
01/05/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 |
Le RATTRAPAGE
L'examen de rattrapage aura lieu le
Mercredi 19 Juin de 8h30 à 11h30, Amphi 12E, Halle aux Farines.
L'EXAMEN
L'examen final 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)
- Du 28 Janvier au 1er Février, les étudiants peuvent s'entrainer
sur moodle (module LO6, edukera, aller d'abord sur le didacticiel).
- Du 1er Février au 10 Février, les étudiants doivent remplir une évaluation en ligne, il s'agit de 6 exercices.
Sites pour s'entraîner
- Edukera(sur moodle)
- http://www.taut-logic.com
Un peu d'humour
1
2
3
4
5
6