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

  • Vlad Rusu
  • Thomas Pietrzak
  • Pierre Allegraud
  • Sylvain Salvatti
  • Benoît Papegay

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 : 05/01/2017 à 15:07:45

Objectifs

Contenu

Gpe Nature Horaire Salle Enseignant e-mail
Cours jeudi 10h20 - 11h50 M1 Cauchy Thomas Pietrzak thomas.pietrzak(at)univ-lille1.fr
1 TD mardi 10h50 - 12h20 M5 A8 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 A9 Vlad Rusu vlad.rusu(at)inria.fr
2 TP vendredi 10h20 - 12h20 M5 A13 Vlad Rusu vlad.rusu(at)inria.fr
3 TD mardi 8h30 - 10h M5 A1 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 mardi 13h30 - 15h M5 A5 Thomas Pietrzak thomas.pietrzak(at)univ-lille1.fr
4 TP jeudi 8h - 10h M5 A13 Thomas Pietrzak thomas.pietrzak(at)univ-lille1.fr
5 TD vendredi 8h30 - 10h M5 A8 Benoît Papegay benoit.papegay(at)univ-lille1.fr
5 TP vendredi 10h20 - 12h20 M5 A13 Benoît Papegay benoit.papegay(at)univ-lille1.fr
Thomas Pietrzak
dernière modification : 05/01/2017 à 14:37:35
Séance Cours TD TP Remarque
0 du 02/01 au 07/01 Présentation du cours
Prolog
TD1 : Prolog TP 1 : les listes en Prolog reprise des enseignements le mardi 3 janvier
2 séances de cours
1 du 09/01 au 14/01 Logique propositionnelle TD1 : Prolog, suite TP 1 : les listes en Prolog
2 du 16/01 au 21/01 Logique propositionnelle TD2 : logique propositionnelle TP 2 : Sudoku
3 du 23/01 au 28/01 Logique propositionnelle
Logique des prédicats
TD3 : logique propositionnelle TP 2 : Sudoku
4 du 30/01 au 04/02 Logique des prédicats TD4 : déduction naturelle Pas de TP
Groupe 4 : TD sur le créneau du TP pour remplacer le 7/2.
5 du 06/02 au 11/02 TD4 : déduction naturelle Pas de cours, pas de TP
Groupe 4 : pas de TD
6 du 13/02 au 18/02 Coq TD5 : logique du premier ordre TP 3 : coq
du 20/02 au 25/02 interruption pédagogique hiver
7 du 27/02 au 04/03 Coq TD6 : logique du premier ordre TP 3 : coq
8 du 06/03 au 11/03 Logique intuitionniste
Correspondance Curry-Howard
TD7 : SAT et DPLL TP 4 : coq
9 du 13/03 au 18/03 Satisfaction Booléenne
Récursion Primitive
TD8 : Récursion primitive TP 4 : coq
10 du 20/03 au 25/03 Cours TD et TP terminés
Thomas Pietrzak
dernière modification : 09/03/2017 à 08:13:58

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 : 05/01/2017 à 14:37:40