• Semestre 3:

  Programmation Fonctionnelle,
  examen 2018

• Semestre 4:

  Algorithmique des structures de données arborescentes
  la page du cours,
  le livre Types de Données et Algorithmes de C.Froidevaux, M.C.Gaudelet et M.Soria,

  des exercices (corrigés) en OCaml,
  un cours en ligne sur les tas
  des fichiers pour l'affichage des arbres avec graphviz (commande: dotty mon_fichier.dot)
  remarque: en cas de problème avec la bibliothèque Unix, tapez d'abord dans l'interpréteur: #load "unix.cma";;
  un générateur aléatoire d'entiers, pour tester l'insertion dans des arbres de recherche.
  

• Semestre 5:

  Logique et Preuves,

Dernière modification: -->