Cours M2 LMFI

• Calculabilité et Incomplétude


• Classes de complexité, P=NP, Classes probabilistes


• Vérification, Model Checking, systèmes probabilistes et Approximation


• Complexité et Approximation


• Vérification probabiliste et Approximation


• Panorama historique de la logique mathématique