Vous êtes ici : FIL > Portail > Licence Info > L3S6 Info > Logique

Logique

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

Responsable

Thomas Pietrzak

Intervenants

  • Pierre Allegraud
  • Sylvain Salvatti
  • Benoît Papegay
  • Émilie Allart
  • Momar Sakho
  • Thomas Pietrzak

Volume horaire

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

Crédits

5 ECTS
Thomas Pietrzak
dernière modification : 19/01/2018 à 10:58:32

Objectifs

Contenu

Gpe Nature Horaire Salle Enseignant e-mail
Cours jeudi 10h20 - 11h50 P1 Bohr Thomas Pietrzak thomas.pietrzak(at)univ-lille1.fr
1 TD mardi 10h50 - 12h20 M5 A7 Sylvain Salvatti sylvain.salvatti(at)univ-lille1.fr
1 TP mardi 15h50 - 17h50 M5 A13 Sylvain Salvatti sylvain.salvatti(at)univ-lille1.fr
2 TD vendredi 8h30 - 10h M5 A8 Émilie Allart emilie.allart(at)etudiant.univ-lille1.fr
2 TP vendredi 10h20 - 12h20 M5 A16 Émilie Allart emilie.allart(at)etudiant.univ-lille1.fr
3 TD mardi 8h30 - 10h M5 A5 Pierre Allegraud pierre.allegraud(at)univ-lille1.fr
3 TP mardi 10h20 - 12h20 M5 A13 Pierre Allegraud pierre.allegraud(at)univ-lille1.fr
4 TD jeudi 8h30 - 10h M5 A4 Thomas Pietrzak thomas.pietrzak(at)univ-lille1.fr
4 TP mardi 13h30 - 15h30 M5 A15 Thomas Pietrzak thomas.pietrzak(at)univ-lille1.fr
5 TD vendredi 8h30 - 10h M5 A4 Benoît Papegay benoit.papegay(at)univ-lille1.fr
5 TP vendredi 10h20 - 12h20 M5 A14 Benoît Papegay benoit.papegay(at)univ-lille1.fr
6 TD mardi 13h30 - 15h M5 A1 Momar Sakho momar.sakho(at)inria.fr
6 TP mardi 15h20 - 17h20 M5 A12 Momar Sakho momar.sakho(at)inria.fr
Thomas Pietrzak
dernière modification : 19/01/2018 à 15:23:03
Séance Semaine Cours TD TP Remarque
1 du 08/01 au 14/01 Présentation du cours
Prolog
TD1 : Prolog TP 1 : les listes en Prolog 2 séances de cours
2 du 15/01 au 21/01 Logique propositionnelle TD1 : Prolog, suite TP 1 : les listes en Prolog
3 du 22/01 au 28/01 Logique propositionnelle TD2 : logique propositionnelle TP 2 : Sudoku
4 du 29/01 au 04/02 Logique des prédicats TD3 : logique propositionnelle TP 2 : Sudoku
5 du 05/02 au 11/02 Logique des prédicats TD4 : déduction naturelle Pas de TP
6 du 12/02 au 18/02 Coq TD4 : déduction naturelle Pas de TP
DS de logique 12/2 de 10h à 12h
7 du 19/02 au 25/02 Coq TD5 : logique du premier ordre TP 3 : coq
du 26/02 au 04/03 interruption pédagogique hiver
8 du 05/03 au 11/03 Logique intuitionniste
Correspondance Curry-Howard
TD6 : logique du premier ordre TP 3 : coq
9 du 12/03 au 18/03 Satisfaction Booléenne
Récursion Primitive
TD7 : SAT et DPLL TP 4 : coq
10 du 19/03 au 25/03 TD8 : Récursion primitive TP 4 : coq Cours terminé
Thomas Pietrzak
dernière modification : 19/01/2018 à 15:20:08

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.

Thomas Pietrzak
dernière modification : 19/01/2018 à 10:58:32