Mathématiques pour l'informatique

Cours optionnel de niveau L2/L3 destiné aux étudiants de MASS et MIAGE de Paris 1.

Programme

preuves de programmes
complexité
induction structurelle
automates

Supports

notes de cours (attention, ces notes sont en cours de rédaction, dernière mise à jour : 29/02/2012)
exercices :
- Preuves de programmes :
  - exercices
  - correction détaillée d'un des exercices
- Complexité :
  - exercices
  - correction (en cours de rédaction, dernière mise à jour : 12/03/12)
- Automates :
  - sujet de contrôle continu

Références

Générales

Un cours mathématiques pour l'informatique extrêmement complet est donné tous les ans au MIT. Le programme du cours est assez différent du présent cours, mais le support de cours proposé est de grande qualité et donne une de la richesse du sujet.

Automates

Notes de cours de F. Barthélemy
Transparents de O. Bournez
Page du cours très complet de S. Julia