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:
Mise à niveau en Linux, programmation impérative (Python et C) et fonctionnelle (OCaml), rédaction (LaTeX) et réseau.
- Enseignant responsable de l'UE: Nicolas Margulies
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès:
Année: 24/25
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès: