Modèles de programmation

Cette page est la page officielle du cours intitulé "Modèles de Programmation" qui s'adresse aux étudiants du master LMFI.

Nouvelles fraiches

premier cours le jeudi 16/10/2008, salle 6C1 de 10h à 12h, suivi de 2h sur machine de 13h à 15h en 1C22

1er cours : noyau fonctionnel et déclaration de types, correspondant au chapitre 2 de DAOC (cf lien)
- feuille d'exos un peu longue à réaliser en deux séances sur machine.
- les solutions en ml
- des exos supplémentaires (faire TME1 exos 1 et 4, TD2 exos 1 et 2, TME2 exos 2 et 3)
2eme cours : suite de déclaration de types
- d'autres exos (TD2/TME 2 et TD3/TME3).
3eme cours : exceptions (correspondant à la deuxième partie du chapitre 2 de DAOC, cf lien) et noyau impératif ( correspondant à la deuxième partie du chapitre 3 de DAOC, cf lien)
- feuille d'exos un peu longue
4eme cours : modules, correspondant à la deuxième partie du chapitre 14 de DAOC (cf lien)
- d'autres exos (TD5/TM5)
5eme cours : typage et inférence de types du noyau fonctionnel et impératif; introduction à la programmation objet (laison tardive et sous-typage)

vérificateur de tautologie dans le calcul des propositions (cf lien) avec des précisions.
derivees symboliques à une variable (exo 1.13 ou 13 de la feuille d'exos) et simplification
un interprete de la machine de Turing
votre proposition

Remarques? dernière modification : 07/12/2008