Next: Bibliographie
Up: Logique
Previous: Logique
- Calcul des propositions.
- Syntaxe, sémantique, validité,
correction, complétude, systèmes de preuves.
- Déduction naturelle.
- Le calcul des propositions donnera
l'occasion d'introduire la déduction naturelle en logique
propositionnelle intuitionniste et classique. Les systèmes de
Hilbert seront aussi présentés à cette occasion.
- Calcul des prédicats.
- Syntaxe, sémantique, correction et
complétude, substitutions, skolémisation, résolution et
programmation logique.
- Calcul des séquents.
- Le calcul des séquents servira à
introduire le calcul des prédicats classique et sa preuve de
complétude.
- Logique Modale et logique de la connaissance.
- Logique de la
connaissance (ou logique épistémique), sémantique de la logique
modale, modèles de Kripke, systèmes de preuves, logique temporelle.
Pierre Lescanne
1999-09-03