UPEC
Master Informatique 1ère année
Logique et programmation
2022-23
A.Bès
Organisation
- 18h de cours/TD et 12h de TP
Thèmes abordés
- Rappels et compléments de calcul propositionnel (formes normales)
- Algorithmes pour SAT, utilisation d'un SAT-solver
- Rappels et compléments de calcul des prédicats
- Algorithmes de décision pour les théories logiques
- Utilisation d'un SMT-solver
En TP on utilisera z3 (via l'API Python)
Pré-requis
- Cours de Logique de L3
- Rudiments de Python
Documents (supports de cours/TD/TP, annonces, liens, forum...)
voir sur EPREL
Retour à la page Enseignement