Logique avancée (L3)
Dernier ajout : 2015.
Mardi 12h-15h, salle A312, en collaboration avec Claire Beyssade.
Planning :
| 23/09 | L. Roussarie | Introduction : les modalités dans la langue |
| 30/09 | C. Beyssade | Logique modale propositionnelle : approches axiomatiques |
| 7/10 | Logique modale propositionnelle : la sémantique des mondes possibles et la relation d’accessibilité | |
| 14/10 | Logique modale propositionnelle : correspondances entre cadres et propriétés de la relation d’accessibilité | |
| 21/10 | La méthode des tableaux préfixés pour vérifier la validité d’une formule modale – DST 1 (1h30) | |
| 28/10 | Pause pédagogique | |
| 4/11 | L. Roussarie | Logique modale propositionnelle : retour sur la sémantique et exercices |
| 11/11 | Pas de cours – jour férié | |
| 19/11 | L. Roussarie | |
| 25/11 | ||
| 2/12 | ||
| 9/12 | C. Beyssade | Logique modale des prédicats (1) |
| 16/12 | Logique modale des prédicats (2) : domaine d’individus constants vs variables | |
| 6/01 | DST 2 | |
Articles de cette rubrique
-
Corrigés
Mai 2015 -
Documents et supports de cours
Décembre 2014, par Laurent Roussarie -
Quelques références bibliographiques
Décembre 2010, par Laurent Roussarie
RSS 2.0