Modèle 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
• Notes de cours
• Autres liens

Nouvelles fraiches

• le cours du 24/11 se terminera exceptionnellement à 17h20
• premier cours le 10/11/2004

Notes de cours

• 1er cours : planches 7 à 32 du noyau fonctionnel d'O'Caml, correspondant au début du chapitre 2 de Développement d'Applications avec Objective Caml (cf lien).
• Cours 2 : planches 32 à 44 types de base et déclarations de types en O'Caml correspondant à la deuxième partie du chapitre 2 de DAOC (cf lien).
• Cours 3 : planches 3 à 26 de exceptions et traits imperatifs
• Cours 4 : planches 43 à 59 inference de types, et planches de 23 à 34 et 49,50 modules simples
• Cours 5 : planches 1 à 75 programmation objet

Propositions de réalisation

• vérificateur de tautologie dans le calcul des propositions (cf lien)
• derivees symboliques à une variable (exo 1.13 ou 13 de la feuille TME1) et simplification
• votre proposition