DEUG MIAS II

Philippe Rolland : 21/03/98
Bibliographie
Module : 10 heures Travaux Dirigés. 10 heures Travaux Pratiques.

 Cours, Travaux Dirigés

Introduction
Questions ?
Mathématiques pour l'informatique


Aspect pratique
Notion qualitative: Preuve de Propriétés et de Termaison
Notion quantitative: La complexité
 


Aspect théorique
 
Machine de Turing (Classe P et NP)
Cas concrets: Problèmes d'optimisation et complexité
Machine RAM
Décidabilité/Calculabilité
Réduction polynomiale


 Travaux Pratiques

Les travaux pratiques se limitent à l'évaluation pratique de la complexité d'algorithmes dans P. Il y a ensuite la confrontation de la complexité pratique et thèorique.


Philippe Rolland : 21/03/98