Université Paris 12
Master SSI 2ème année
Méthodes logiques d'analyse des systèmes
2007-08
P.Cégielski , A.Bès, C.Dima
Organisation du cours
- Introduction, rappels de logique et de théorie des automates (3h, A.Bès)
- Abstract State Machines et langage ASML (9h, P.Cégielski)
- TP sur ASML (12h, P.Cégielski)
- Logique et automates (6h, A.Bès)
- Logique temporelle de la connaissance (3h pour les étudiants Recherche, C.Dima)
Bibliographie concernant la logique:
- R.David, K.Nour, C.Raffalli, Introduction à la logique - théorie de la démonstration, Dunod, 2001
- J.Stern, Fondements mathématiques de l'informatique, Mc Graw-Hill, 1990.
- R.Cori et D.Lascar, Logique Mathématique (2 tomes), Dunod, 2003.
- A.Aho et J.Ullman, Concepts fondamentaux de l'informatique, Dunod, 1993.
- P.Dehornoy, Mathématiques de l'informatique, Dunod
(tous ces livres sont à la BU)
Examens
Transparents de la partie d'A.Bès (merci de me signaler toute erreur)
Quelques exercices sur logique et automates
Quelques liens sur la logique et les automates
- sur la logique:
- cours de logique d'E.Bouscaren (magistere math-info)
- la page d'un cours de licence cours de l'annee 2002-03 donné par Lancelot Pecquet (polycopié, sujets et corrigés de TD et d'examens),
- le
polycopié du cours de
Logique pour l'informatique (niveau licence)
de S.Cerrito
- le
polycopié du cours d'Irène Guessarian (master informatique)
- une introduction à la théorie des modèles par Luck Darnière.
- une conférence de Jean-Yves Girard sur les fondements des mathématiques: aller sur Canal U, taper "girard" dans le formulaire de recherche.
- sur les automates finis:
- sur les théories monadiques et les automates:
- Wolfgang Thomas, Languages, automata and logic (version préliminaire de l'article paru dans In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume III, pages 389-455. Springer, New York, 1997)
- V Bruyere, G Hansel, C Michaux, R Villemaire, Logic and p-recognizable sets of integers (paru dans Bull. Belg. Math. Soc, 1994)
- Igor Walukiewicz, Automata and logic Notes from EFF Summer School'01 (voir aussi cette page)
- Jean-Eric Pin, Logic on Words (paru dans Bulletin of the EATCS, 1994)
- Notes du cours Automated Verification de Moshe Vardi
- l'outil MONA
retour à la page Enseignement