L'UE Principes de la programmation : 9

• Acquérir les connaissances de bases en logique classique propositionnelle, logique du premier ordre et logique modale.
• Formaliser un problème en utilisant un langage formel

• Des connaissances de bases en électronique numérique sont souhaitables

1. Logique classique propositionnelle : axiomatisation, système de preuve à la Hilbert et calcul des séquents
2. Logique du premier ordre : axiomatisation et sémantique
3. Logique modale normale : axiomatisation et sémantique

• Projet en groupe : choisir un problème et le formaliser à l’aide d’une logique étudiée en cours
• Contrôle

• Cours de logique en anglais, THE OPEN LOGIC TEXT : http://builds.openlogicproject.org/open-logic-complete.pdf
• Logique propositionnelle et logique du premier ordre : Logique Mathématique, Tome 1, de Cori et Lascar
• Logique propositionnelle et logique du premier ordre : Logic as a Tool, Goranko
• Logique modale : Modal Logic, Blackburn, de Rijke, Venema
• Logique Epistémique : Reasoning About Knowledge, Fagin, Halpern, Moses, Vardi