Niveau d'étude
BAC +4
ECTS
3 crédits
Composante
École d'ingénieur Denis Diderot
Période de l'année
Semestre 1
Objectifs
Pratiquer la notion de modèle formel de calcul.
Classifier la complexité calculatoire d’un problème.
Manipuler des assertions logiques dans le calcul propositionnel et dans le calcul des prédicats.
Maîtriser les bases logiques de la spécification et vérification de logiciels critiques abordées en troisième année.
Syllabus
Théorie des automates finis.
Notions de calculabilité.
Logique propositionnelle et calcul des prédicats.
Notions de base sur les classes de complexité P et NP.
Dernière mise à jour le 24 février 2025
