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

Logique

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

Responsable

Sylvain Salvati

Intervenants

  • Pierre Allegraud
  • Quentin Baert
  • Benoît Papegay
  • Thomas Pietrzak
  • Momar Sakho
  • Sylvain Salvati

Volume horaire

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

Crédits

5 ECTS

Objectifs

Contenu

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

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.