[LO5] Logique 2020–2021

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

L'organisation de cet enseignement est modifiée en raison de la pandémie. Les cours magistraux n'auront pas lieu en présentiel. Des vidéos sont mises en ligne chaque semaine pour compléter la lecture des notes de cours, avec des séances de questions/réponses organisées en distanciel.

Les séances de travaux dirigés auront également lieu en distanciel.

Modalités de contrôle des connaissances

Séances et intervenants

Matériel pédagogique

Voir la page Moodle du cours pour les rendus de QCM, projets, devoirs maisons et recevoir les annonces du cours.

Les notes de cours ont été mises à jour le 15/09.

Programme

Les numéros comme 1. Contexte et motivations ou 2. Syntaxe font références aux numéros des sections correspondantes dans les notes de cours. Les icônes et indiquent du matériel disponible sous forme de vidéos sur youtube et de discussions sous discord.

Première partie : logique propositionnelle

semaine du 07/09
0. Organisation du cours
1. Contexte et motivations
2.1. Arbres de syntaxe abstraite
2.2. Syntaxe concrète
3.1.1. & 3.1.2. Interprétations et sémantique
2.1.1. & 3.1.3. Syntaxe et sémantique en Java sur #qa-09-09-2020 ; fichier Formule.java à compléter
⚠️ pas de TD
semaine du 14/09
TD n°1
3.1.3. Sémantique en Java sur #qa-16-09-2020
3.1.5. Tables de vérité
3.1.6. Étendre la syntaxe
3.1.7. Complétude fonctionnelle
3.2. Satisfiabilité et validité
4.1. Conséquences logiques
4.2. Équivalences logiques
4.3. Substitutions propositionnelles
4.3.1. Substitutions propositionnelles en Java sur #qa-16-09-2020
4.4. Équivalences usuelles

Autres ressources pédagogiques

Ouvrages

Notes de cours

Années précédentes