Enseignements en ligne du
MMFAI
Le Magistère de Mathématiques Fondamentales & Appliquées et
d'Informatique de la Région Parisienne est un diplôme préparé en 3 ans,
incluant une formation théorique solide et des stages.
Les cours de première année ont lieu à l'ENS et ont un niveau
de second cycle universitaire (licence et maîtrise).
- La liste des cours du MMFAI
- Quelques masters pouvant rentrer dans le cadre du MMFAI
- Cours, TD ou examens en mathématiques
- Cours, TD ou examens en informatique
- Algorithmique et programmation
- 1996-1997 : cours de programmation OCaml par R. di Cosmo
- 1997-1998 : cours par Jacques Stern -
TD et TP
par Michel Pocchiola et Roberto Di Cosmo.
- 1998-1999 : cours par Jacques Stern -
TD et TP
par Louis Granboulan et Roberto Di Cosmo.
- 1999-2000 :
cours et prérequis par Jacques Stern -
TD et TP par Louis Granboulan et Laurent Mauborgne.
- 2000-2001 :
cours et prérequis par Jacques Stern -
TD et TP par Louis Granboulan et Laurent Mauborgne.
- 2001-2002 :
cours et prérequis par Jacques Stern -
TD et TP par Louis Granboulan et Laurent Mauborgne.
- 2002-2003 :
cours et prérequis par Jacques Stern -
TD et TP par Louis Granboulan et Laurent Mauborgne.
- 2003-2004 :
cours et prérequis par Jacques Stern -
TD et TP par Louis Granboulan et Pierre-Alain Fouque.
- 2004-2005 :
cours par Jacques Stern -
TD et TP par Louis Granboulan et Pierre-Alain Fouque.
- 2005-2006 :
cours par Jacques Stern -
TD par Louis Granboulan et Pierre-Alain Fouque.
- Langages de programmation et compilation
- Systèmes digitaux
- Tutorial du langage Jazz.
- Cours 2001 en 8 séances
A1,
A2,
A3,
A4,
A5,
A6,
A7,
A8,
par Jean Vuillemin.
- Corrigés d'examen
1998,
1999,
2001,
2002,
par Jean Vuillemin.
- Langages formels, calculabilité et complexité
- Logique
- Bases de données
- Sémantique des langages de programmation
- Cours,
par Patrick Cousot.
[lui demander un mot de passe par e-mail]
- Système Unix
- Réalisation de systèmes matériels
- Logique informatique
- Conception d'algorithmes cryptographiques
- Applications distribuées en Java
- Géométrie algorithmique
- Lambda-calcul et domaines
- Planification de mouvement en robotique
- Vision par ordinateur
- Quelques autres cours d'informatique disponibles sur le web
- Voir la base de données
SPEDAGO
qui recence des cours d'informatique sur le web.
- Algorithmes et Programmation,
cours de majeure de l'École Polytechnique,
par Robert Cori et Jean-Jacques Lévy.
- Informatique Fondamentale,
cours d'initiation à la programmation (en C/C++) à Paris 7,
par Paul Gastin.
- Système d'exploitation et réseaux d'ordinateurs,
cours de majeure de l'École Polytechnique,
par Patrick Cousot.
- Systèmes d'exploitation,
cours IN203 de l'ENSTA,
par Jérôme Gueydan et al.
- Les Systèmes d'Exploitations,
cours de Systèmes II du Département d'Informatique de l'Université de Genève,
par David Billard.
- Système d'Exploitation et Réseaux,
cours de DESS ISMRA (178 pages au format Word),
par Pierre Nugues.
- Programmation système sous UNIX,
cours de l'Université de Marne-la-Vallée,
par Dominique Revuz.
- Cours en anglais :
- Documentation et FAQ :