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: Stefan Schwoon
- Enseignant responsable de l'UE: Nicolas Margulies
- Enseignant: Jean Goubault
- Enseignant: Thomas Chatain
- Enseignant: Jean Goubault
- Enseignant: Serge Haddad
- Enseignant: Stéphane Le Roux
- Enseignant: Stefan Schwoon
- Enseignant: Jean Goubault
- Enseignant: Vincent Lafeychine
- Enseignant: Paul Robert
- Enseignant: Stefan Schwoon
- Enseignant: Mihaela Sighireanu
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès:
Année: 24/25
- Enseignant: Stefan Schwoon
- Enseignant: Armaël Gueneau
- Enseignant: Jacques-Henri Jourdan
- Enseignant: Paul Robert
- Enseignant: Li-Yao Xia
Modalités:
ECTS:
Type:
Complexité:
Condition d'accès: