Cours 2023-2024

Logique formelle [SSPSB307]

  • 2 crédits
  • 15h
  • 1er quadrimestre
Langue d'enseignement: Français
Enseignant: Sartenaer Olivier

Objectifs

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.

Contenu

La formalisation, les connecteurs logiques, les tables de vérités, la notion de modèle, la déduction naturelle...


Méthodes d'enseignement

Il s'agit d'un cours magistral laissant une place prépondérante à la réalisation d'exercices.

Mode d'évaluation

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.

Sources, références et supports éventuels

Lucas, T., Berlanger, I, Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4ème édition].

Langue d'enseignement

Français

Lieu de l'activité

NAMUR

Faculté organisatrice

Faculté des sciences
Rue de Bruxelles, 61
5000 NAMUR

Cycle

Etudes de 1er cycle