Logique

L'ensemble des documents du cours sont également disponibles à cette adresse.

Sylvain Salvati

10 séances de 1h30 de cours, 10 séances de 1h30 de TD et 10 séances de 2h de TP.

5 ECTS

Gpe	Nature	Horaire	Salle	Enseignant	e-mail
	Cours	jeudi 10h20 - 11h50	M1 Archimède	Sylvain Salvati	sylvain.salvati@univ-lille.fr
1	TD	mardi 10h50 - 12h20	M5 A7	Sylvain Salvati	sylvain.salvati@univ-lille.fr
1	TP	mardi 15h50 - 17h50	M5 A13	Sylvain Salvati	sylvain.salvati@univ-lille.fr
2	TD	vendredi 8h30 - 10h	M5 A8	Thomas Pietrzak	thomas.pietrzak@univ-lille.fr
2	TP	vendredi 10h20 - 12h20	M5 A16	Thomas Pietrzak	thomas.pietrzak@univ-lille.fr
3	TD	mardi 8h30 - 10h	M5 A8	Pierre Allegraud	pierre.allegraud@univ-lille.fr
3	TP	mardi 10h20 - 12h20	M5 A13	Pierre Allegraud	pierre.allegraud@univ-lille.fr
4	TD	jeudi 8h30 - 10h	M5 A4	Quentin Baert	quentin.baert@univ-lille.fr
4	TP	mardi 13h30 - 15h30	M5 A15	Quentin Baert	quentin.baert@univ-lille.fr
5	TD	vendredi 8h30 - 10h	M5 A5	Benoît Papegay	benoit.papegay@univ-lille.fr
5	TP	vendredi 10h20 - 12h20	M5 A14	Benoît Papegay	benoit.papegay@univ-lille.fr
6	TD	mardi 13h30 - 15h	M5 A1	Momar Sakho	momar.sakho@inria.fr
6	TP	mardi 15h20 - 17h20	M5 A4	Momar Sakho	momar.sakho@inria.fr

Séance	Semaine	Cours	TD	TP	Remarque
1	du 07/01 au 13/01	Présentation du cours Cours Prolog	TD1 : Prolog	TP 1 : les listes en Prolog	2 séances de cours, Article metionné dans le cours : On the Unusual Effectiveness of Logic in Computer Science
2	du 14/01 au 19/01	Logique propositionnelle	TD1 : Prolog, suite et début TD2 : logique propositionnelle	TP 1 : les listes en Prolog
3	du 21/01 au 27/01	Logique propositionnelle Coq et déduction naturelle	début TD2 : logique propositionnelle, TD3 : logique propositionnelle	TP 2 : Sudoku	Démonstration de la correction de la déduction naturelle
4	du 28/01 au 03/02	Satifaisabilité de formules	TD3 : logique propositionnelle	TP 2 : Sudoku
5	du 04/02 au 10/02	Logique des prédicats	TD4 : déduction naturelle	TP 3 : coq
6	du 11/02 au 17/02	Programmation avec Coq, principe d'induction et boucles.	TD5 logique du premier ordre	TP 3 : coq	DS de logique 11/02 de 11h30 à 12h30
	du 18/02 au 24/02				interruption pédagogique hiver
7	du 15/02 au 03/03
8	du 04/03 au 10/03
9	du 11/03 au 17/03
10	du 18/03 au 24/03				Cours terminé

L'évaluation s'effectue suivant une procédure de contrôle continu.
Trois notes seront attribuées à chaque étudiant durant le semestre :

TP : une note sur 20 de Travaux Pratiques attribuée par l'enseignant de Travaux Pratiques.
DS1 : une note sur 20 d'un devoir surveillé en milieu de semestre.
DS2 : une note sur 20 d'un devoir surveillé en fin de semestre.

La note finale sur 20 (N) est calculée comme une moyenne pondérée de ces notes :

N = (TP + sup(DS1 + 2*DS2, 3*DS2)) /4

La session de rattrapage remplace la partie sup(DS1 + 2*DS2, 3*DS2), la note TP est conservée.

L'unité acquise apporte 5 ECTS.

L'ensemble des documents du cours sont disponibles à cette adresse.

Informatique