Next: À propos de ce
Up: Logique
Previous: Description des thèmes du
Le cours s'appuie essentiellement sur le livre de van Dalen pour les
trois premières parties et sur le livre de Fagin, Halpern, Moses et
Vardi pour la dernière partie.
- R. Fagin, Y. Halpern, Y. Moses, and M. Y.
Vardi. Reasoning about Knowledge. The MIT Press, 1995.
- D. van Dalen. Logic and
Structure. Springer Verlag, 1994.
- R. Lalement. Logique, Réduction,
Résolution. Etudes et recherches en informatique. Masson,
Paris, 1990.
Pierre Lescanne
1999-09-03