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
UE libre: Non