Cours
2023-2024
Logique formelle
- Code de l'UE SSPSB307
-
Horaire
15Quadri 1
- Crédits ECTS 2
- Langue
- Professeur Sartenaer Olivier
L'objectif du cours est de familiariser l'étudiant(e) avec la logique formelle déductive classique. En particulier, il s'agira d'apprendre diverses méthodes destinées à établir la validité de raisonnements.
La formalisation, les connecteurs logiques, les tables de vérités, la notion de modèle, la déduction naturelle...
Il s'agit d'un cours magistral laissant une place prépondérante à la réalisation d'exercices.
L'évaluation est orale mais précédée d'un moment de préparation écrite. L'étudiant(e) est invité(e) à répondre à une question de théorie et à résoudre un exercice.
Lucas, T., Berlanger, I, Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4ème édition].
Formation | Programme d’études | Bloc | Crédits | Obligatoire |
---|---|---|---|---|
Bachelier en sciences mathématiques | Standard | 0 | 2 | |
Bachelier en sciences physiques | Standard | 0 | 2 | |
Bachelier en sciences géographiques, orientation générale | Standard | 0 | 2 | |
Bachelier en sciences chimiques | Standard | 0 | 2 | |
Bachelier en sciences biologiques | Standard | 0 | 2 | |
Bachelier en sciences géologiques | Standard | 0 | 2 | |
Bachelier en sciences biologiques | Standard | 3 | 2 |