Travaux pratiques d'informatique en MPSI à Louis-le-Grand en 2002-2003.

Voici les énoncés des TP déjà effectués:

• Tp1: Familiarisation avec le langage Caml Light
• La suite
• Tp2: Traits impératifs de Caml Light
• Tp3 et 4: Récursivité et listes
• Tp5: Bibliothèque graphique, jeu de la vie
• Tp6 et 7: Graphes
• Tp8: Logique (pour la seconde partie de ce TP, l'introduction à la théorie de la démonstration, les notes seront bientôt disponibles...)
• Tp9: Programmation dynamique

J'ai mis sur le site une bibliographie qui peut vous être utile.

Et voici quelques pointeurs utiles à propos de Caml Light et de l'informatique en prépas:

• La page du langage Caml. Il y a une section concernant Caml Light, le langage utilisé en prépas et notamment des liens vers des exercices.
• La page de Pierre-Louis Curien, sur laquelle on trouve des documents permettant de préparer l'oral d'informatique du concours MPI des Écoles normales supérieures (et des idées de sujet de TP aussi...).
• poly de lambda-calcul de Thérèse Hardin
• Page de Gilles Dowek où se trouve le poly de théorie des types.

Si vous avez des questions à propos des séances de Travaux pratiques, n'hésitez à me poser des questions.