accueil FIL | Licence 1 | Licence Info | Master Info | Master Miage | Master DS | Alternance | Formation enseignants | Médiation |
| L2S3 | L2S3H | L2S4 | L3S5 Info | L3S5 Miage | L3S6 Info | L3S6 Miage |
| ANGLAIS | II2D | JS | Logique | OpenDevs | PDM | PF | RSX | Recherche | Stage | TEC | Zet |
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
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 TD2 : logique propositionnelle TP 1 : les listes en Prolog
3 du 21/01 au 27/01 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 Coq : principe d'induction, prédicats inductifs et démonstrations. TD6 sur la satisfaisabilité de formules. TP 4 : coq
8 du 04/03 au 10/03 TD7 coq TP 4 : coq
9 du 11/03 au 17/03 Coq : sur la terminaison. TD7 coq Démonstration du tri par insertion sur GitLab.
10 du 18/03 au 24/03 TD8 coq Fin de la démonstration du tri par insertion sur Gitlab 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.