Page d'accueil IMAG

  Pascal Lafourcade

English version Home

LP2 RICM3

2010-2011

Lien ADE
Fiche UE
Programme du module:
  • Bases de OCaml (Objective Categorical Abstract Machine Language)
  • Récurrence structurelle
  • Evaluation et compléments en Ocaml.
  • Modules, Foncteurs, Input Output
  • Exception, flots
  • Inférence de type (Typage)
  • Polymorphisme, référence, mutable.
  • Lambda Calcul
  • Lambda Calcul
  • Mémoire et point fixe

Interprèteur Ocaml en ligne
AVL applet
Conventions de programmation en Ocaml:
http://caml.inria.fr/resources/doc/guides/guidelines.fr.html
http://www.seas.upenn.edu/~cis500/cis500-f06/resources/programming_style.html

Équipe enseignante:

Cours


Les Pdfs des cours sont sans le plan et sans overlays. Pour imprimer en 2, 4, 6, 9 et 16 par pages avec Acroread il faut choisir dans page scaling : Multipage per sheet et le nombre de pages voulues.
Clef USB UFR IMA

Enseignement Date Heure Salle Contenu Organisation
C1 Lundi 24 Janvier 2011 8h00 - 9h30 Polytech - 005 cours 1 : Introduction Distribution TD1
Distribution TP1
TD1 Mardi 25 Janvier 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P127 Premier programme Distribution TD2
TP1 Jeudi 27 Janvier 2011 10h00 - 13h15 UFR-IMA - F Introduction à Ocaml Distribution TP2
C2 Lundi 31 Janvier 2011 8h00 - 9h30 Polytech - 005 cours 2 : Preuve et récurrence
TD2 Mardi 1 Février 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P127 Preuves et tris Distribution TD3 Tris
Distribution DM1
C3 Lundi 7 Février 2011 8h00 - 9h30 Polytech - 005 cours 3 : Evaluation
TD3 Mardi 8 Février 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P127 - P129 Tri, arbre, map Distribution TD 4
DM1 à rendre
TP2 Jeudi 10 Février 2011 10h00 - 13h15 UFR IMA - F Code de Huffman Distribution TP3
C4 Lundi 14 Février 2011 8h00 - 9h30 Polytech - 005 cours 4 : Modules et foncteurs cours04.ml
TD4 Mardi 15 Février 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P127 - P129 Arbre Binaire de Recherche Distribution TD 5
Distribution DM2
C5 Lundi 21 Février 2011 8h00 - 9h30 Polytech - 005 cours 5 : Typage Video MIT sur la Complexité
TD5 Mardi 22 Février 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P052 - P052 Fin ABR Distribution TD6
DM2 à rendre
TP3 Jeudi 24 Février 2011 10h00 - 13h15 UFR IMA - F Modules et Foncteurs Distribution DM3
Distribution TP4
C6 Lundi 7 Mars 2011 8h00 - 9h30 Polytech - 005 cours 6 : Flots
TD6 Mardi 8 Mars 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P052 - P127 Modules et Foncteurs
C7 Lundi 14 Mars 2011 8h00 - 9h30 Polytech - 005 cours 7 : Inférence de type, mutable, référence
TD7 Mardi 15 Mars 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P131 - P127 Analyse lexicale Distribution TD 7
Distribution DM4
DM3 à rendre
TD8 Lundi 21 Mars 2011 G1 08h00 - 10h00
G2 10h15-12h15 		P129 Analyse syntaxique Distribution TD 9
Distribution TD 10
TD9 G2 Mardi 22 Mars 2011 G2 13h30 - 15h30 P131 Arbre Adelson-Velskii-Landis
TD10 G2 Mardi 22 Mars 2011 G2 15h45 - 17h45 P127 Distribution TD 11
Distribution TD 12
TP4 Jeudi 24 Mars 2011 10h00 - 13h15 UFR IMA - F Streams
C8 Lundi 28 Mars 2011 8h00 - 9h30 Polytech - 005 cours 8 : Lambda Calcul
TD9 G1 Mardi 29 Mars 2011 G1 13h30 - 15h30 P129 DM4 à rendre
Distribution DM5
TD11 G2 Mardi 29 Mars 2011 G2 15h45 - 17h45 P127 DM4 à rendre
Distribution DM5
TD10 G1 Lundi 04 Avril 2011 G1 08h00 - 10h00 P129 Distribution TD 11
Distribution TD 12
TD11 G1 Lundi 04 Avril 2011 G1 10h15 - 12h15 P129
TD12 Mardi 05 Avril 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P131 - P127 Distribution TD 13
TP5 Jeudi 7 Avril 2011 10h00 - 13h15 UFR IMA - F Projet : Rami des lettres DM5 à rendre
C9 Lundi 11 Avril 2011 8h00 - 9h30 Polytech - 005 cours 9 : Lambda Calcul Slides Berry Video
TD13 Mardi 12 Avril 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P131 - P127 Lambda-Calcul Distribution TD 14
C10 Lundi 18 Avril 2011 8h00 - 9h30 Polytech - 005 cours 10 : Objets et compléments
TD14 Mardi 19 Avril 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P129 - P127 Lambda-Calcul Distribution TD 15
TD15 Mardi 03 Mai 2011 G1 13h30 - 15h30
G2 15h45 - 17h45 		P131 - P127 Révisions

Date des 5 TPs de 3h00 les jeudis à rendre avant minuit par email une semaine (= 7jours) après le TP.
  • 27 Janvier 2011, TP1 : Introduction
  • 10 Février 2011, TP2 : Code de Huffman fichiers
  • 24 Février 2011 TP3 : Foncteurs fichiers
  • 24 Mars 2011 TP4 : Flots fichiers
  • 7 Avril 2011 TP5 : Projet Rami des lettres fichiers plus un petit complement pour vous aider.
Notes d'examen, projet, DM et TP.

Formule de calcul de la note finale

Note finale = 60% Examen + 40% max (Examen,CC)

  • CC = 40 % DM + 60% TP
  • Note DM = Moyenne des 4 meilleures notes des 5 DMS.
  • TP = 60 % TP-Projet + 40 % TPs
  • Note TPs = Moyenne des 3 meilleurs notes des 4 TPs
TP-Projet à rendre pour le 5 Mai 2011 minuit par email.
Tout travail non rendu dans les délais aura une note de ZERO.

Annales

      Examen 2008-2009 .pdf.

Divers

Avant 2010 ce cours fut enseigné par Jean-Francois Monin.