FR
EN
LogiquePrincipes de la programmation (STI)
Logique
Unité d'enseignement Principes de la programmation · S05T_INF1 | Code EC S05T_INF1-5
12ECTS (UE)
1Coefficient
21:20Heures
Séquencement
Objectifs pédagogiques
- 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
Pré-requis
- Des connaissances de bases en électronique numérique sont souhaitables
Programme
- Logique classique propositionnelle : axiomatisation, système de preuve à la Hilbert et calcul des séquents
- Logique du premier ordre : axiomatisation et sémantique
- Logique modale normale : axiomatisation et sémantique
Modalités d'évaluation
- Projet en groupe : choisir un problème et le formaliser à l’aide d’une logique étudiée en cours
- Contrôle
Références bibliographiques
- 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
Compétences
1| Réf. | Verbe | Description | Niveau |
|---|---|---|---|
| C1_4 | décrire | un problème en utilisant un langage formel | 3 |