Logique

Ects : 5
Volume horaire : 18

Description du contenu de l'enseignement :
Langue d'enseignement : anglais

The course presents main techniques in logics.

Soundness, completeness and decidability of propositional logic
Soundness and completeness of first-order logic
Gödel’s incompleteness theorems
Model checking