[LO5] Logique 2019–2020

3e année de licence d'informatique, UFR informatique, Université de Paris

Modalités de contrôle des connaissances

Note de première session : 1/10 1/8 QCM1 + 1/10 1/8 mP1 + 1/10 mP2 + 1/10 1/8 QCM2 + 1/10 1/8 mP3 + 5/10 4/8 E

Intervenants

Matériel pédagogique

Page Moodle du cours.

Notes de cours

notes de cours ; dernière mise à jour le 02/12

Planning prévisionnel

Les numéros comme 1. Introduction ou 2. Syntaxe de la logique propositionnelle font références aux numéros des sections correspondantes dans les notes de cours.

Première partie : logique propositionnelle

semaine du 12/09
1. Introduction, 2. Syntaxe de la logique propositionnelle, 3. Début de la sémantique de la logique propositionnelle
transparents, code Java, code OCaml
⚠️ pas de TD
semaine du 16/09
3. Sémantique de la logique propositionnelle, satisfaction, validité, 4. notions de conséquences et d'équivalences logiques
sujet de TD
semaine du 23/09
4. Conséquences et équivalences logiques, 5. Forme normale négative, forme clausale
sujet de TD
semaine du 30/09
5. Forme clausale, 6. Modélisation à l'aide de formules propositionnelles
code Java, fichiers DIMACS
sujet de TD
semaine du 07/10
7. Recherche de modèle, algorithme DPLL
code Java, fichiers DIMACS
sujet de TD
sujet de mini-projet mP1 à rendre le 25/10/2019 au plus tard
semaine du 14/10
8. Recherche de preuve, calcul des séquents propositionnel
code Java
sujet de TD
semaine du 21/10
8. Correction et complétude du calcul des séquents propositionnel
sujet de TD

Deuxième partie : logique du premier ordre

semaine du 04/11
9. Structures, 10. Syntaxe de la logique du premier ordre, 11. Sémantique de la logique du premier ordre
sujet de TD
semaine du 12/11
⚠️ CM le 07/11 13:30
12. Substitutions en logique du premier ordre, 13. Formes normales en logique du premier ordre
sujet de TD
semaine du 18/11
14. Théories et modèles, théories décidables
sujet de TD
semaine du 25/11
⚠️ CM le 22/11 13:30 amphi 8C
15. Recherche de modèle, solveurs SMT
fichiers SMT-LIB
sujet de TD
sujet de mini-projet mP3 à rendre le 13/12/2019 au plus tard
semaine du 02/12
16. Recherche de preuve, calcul des séquents
sujet de TD
semaine du 09/12
⚠️ pas de CM

Autres ressources pédagogiques

Ouvrages

Notes de cours

Années précédentes