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.
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'examen est écrit et à cours fermé. Il comprend, pour chaque session, deux brèves questions de théorie (/5) et trois raisonnements dont l'étudiant(e) sera invité(e) à déterminer de la validité (ou de la non-validité) par l'entremise de trois différentes méthodes abordées au cours (3x/5).
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 biologiques | Standard | 0 | 2 | |
Bachelier en sciences chimiques | Standard | 0 | 2 | |
Bachelier en sciences géographiques, orientation générale | Standard | 0 | 2 | |
Bachelier en sciences géologiques | Standard | 0 | 2 | |
Bachelier en sciences géographiques, orientation générale | Standard | 3 | 2 | |
Bachelier en sciences biologiques | Standard | 3 | 2 |