[LO5] Logique 2019–2020
3e
année de licence d'informatique, UFR
informatique, Université de
Paris
Modalités de contrôle des connaissances
- contrôle continu (moitié de la note finale) :
- QCM1, QCM2
: 2 questionnaires à choix multiples
- mP1,
mP2, mP3
: 3 2 mini-projets à réaliser en binômes (mêmes binômes pour
les trois deux rendus)
- E : examen (moitié de la
note finale)
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 20/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
sujet de TD
Autres ressources pédagogiques
Ouvrages
- Jacques Duparc,
La logique pas à pas,
Presses polytechniques et universitaires romandes,
2015. catalogue bibliothèques
- John Harrisson,
Handbook of Practical Logic and Automated Reasoning,
Cambridge University Press,
2009. catalogue bibliothèques
- René David,
Karim Nour et
Christophe Raffalli,
Introduction à la logique, 2e édition, Dunod,
2003. catalogue bibliothèques
- Jean Goubault-Larrecq
et Ian Mackie,
Proof Theory and Automated Deduction, volume 6
de Applied Logic Series, Kluwer Academic
Publishers,
1997. catalogue bibliothèques
Notes de cours
- Ralf Treinen,
Outils logiques, 2012. pdf
- Roberto Amadio,
Outils logiques, 2019. pdf
- Sylvain Schmitz,
Logique propositionnelle, notes de révision pour l'agrégation,
2018. pdf
- Sylvain Schmitz,
Systèmes de preuve, notes de révision pour l'agrégation, 2018.
pdf
Années précédentes