Précédent : Formation Remonter : Formation Suivant :
Autres enseignements
- Travaux dirigés de Pascal,
- DEUG première année, 100 heures (Delphine Terrasse).
- Sémantique des langages de programmation,
- DEA de mathématiques discrètes et fondements de
l'informatique, 12 heures (Isabelle Attali et Yves
Bertot).
- Cours de Compilation,
- ISIA, école des mines de Paris, option, cours et TP CENTAUR
(Metal, PPML et TYPOL), 16 heures (Laurence Rideau).
- Sémantique des langages de programmation,
- Cours à l'Université d'Adelaide, Australie, 10 heures
(Isabelle Attali).
- Sémantique des langages de programmation,
- DEA informatique de l'Université de Nice Sophia Antipolis
(module de tronc commun), 40 heures, (Isabelle Attali, Laurence
Rideau et Delphine Terrasse).