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 26/01/2012, salle 0D09 de 9h à 11h puis en salle machines jusqu'à 13h

1er cours : noyau fonctionnel 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 exo 1, TD2 exos 1 et 2, TME2 exos 2, 3 et 4)
2eme cours : filtrage et déclaration de types, correspondant au chapitre 2 de DAOC (cf lien)
- d'autres exos (TD2/TME 2 et TD3/TME3).
3eme cours : fin du cours 2 sur les exceptions (correspondant à la deuxième partie du chapitre 2 de DAOC, cf lien) et cours 3 sur le noyau impératif ( correspondant à la deuxième partie du chapitre 3 de DAOC, cf lien)
- fin de la feuille d'exos un peu longue
- d'autres exos (TD3/TME3 et TD4/TME4).
4eme cours : modules, correspondant à la deuxième partie du chapitre 14 de DAOC (cf lien)
- d'autres exos (TD5/TM5)
5eme cours : introduction à la programmation objet, correspondant au chapitre 15 de DAOC (cf lien)
- autres exos (lien)

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 interprète de lambda-calcul où vous implanterez la réduction standard en pas à pas (voir poly)
votre proposition

Remarques? dernière modification : 21/02/2012