Ce cours présente les concepts fondamentaux en logique symbolique relatifs aux notions de langage, démonstration, algorithme et modèle.
- Enseignant responsable de l'UE: Stéphane Demri
- Enseignant responsable de l'UE: Sam Van Gool
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès: