Vous êtes ici

  1. Accueil
  2. Logique mathématique

Logique mathématique

Logique mathématique

En pratique :

Volume horaire de cours : 14
Volume horaire global de TD : 20
Langue principale : français

Description du contenu de l'enseignement

Le cours aborde dans un premier temps le calcul propositionnel, puis le calcul des prédicats. Dans chacun de ces thèmes sont traitées (1) la théorie des modèles et résolution, (2) la théorie de la démonstration (méthode axiomatique et par déduction naturelle), (3) complétude et adéquation.
Par ailleurs, une introduction à l'arithmétique formelle et l'incomplétude est faite.


Compétences à acquérir

Ce module est une première introduction aux notions de base de la logique mathématique. En plus de donner les outils nécessaires a une bonne modélisation du raisonnement, il a pour objectif de préparer aux enseignements liés à la programmation logique, et aux traitements des connaissances plus généralement.


Pré-requis

Pré-requis obligatoires

Pas de pré-requis.