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 mardi 18 novembre 2014 salle 1005 à de 14h à 16h suivi en salle 2004 de 16h15-18h15

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.
- des exos supplémentaires (faire TME1 exo 1, TD2 exos 1 et 2, TME2 exos 2, 3 et 4)
2eme cours : déclaration de types et exceptions, correspondant au chapitre 2 de DAOC (cf lien)
- d'autres exos (TD2/TME 2 et TD3/TME3) dont l'exo 4 du TME3.
3eme cours : noyau impératif ( correspondant à la deuxième partie du chapitre 3 de DAOC, cf lien)
- feuille d'exos (là aussi un peu longue à réaliser (faire exos 1.6, 1.7, 1.8, 1.9)
- exo 2 du jeu de la vie du TD4 de cette série d'exos
4eme cours : modules, correspondant à la deuxième partie du chapitre 14 de DAOC (cf lien)
- feuille d'exos, toujours un peu longue à réaliser (faire 1.1, 1.2, 1.3 et 1.4)
- d'autres exos (TD5/TM5)
5eme cours : introduction à la programmation objet, correspondant au chapitre 15 de DAOC (cf lien)
- feuille d'exos, faire 1.1, 1.2, 1.3 et 1.6
- autres exos (lien)
6eme cours : introduction à la programmation concurrente et répartie, correspondant aux chapitres 18, 19, 20 de DAOC (cf 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

salle classique
- mardi 18.11, 25.11, 9.12 de 14h-16h en salle 1005
- mardi 2.12 de 13h-15h en salle 1016
- mardi 6.1 et 13.1 en salle 2016
salle machine
- mardi de 16h15-18h15 en salle 2004

Remarques? dernière modification : 12/01/2015