Les sujets de TP :
- Prise en main d’OCaml (correction)
- Programmation récursive (correction)
- Listes (correction)
- Arbres (correction)
- Logique propositionnelle (correction)
Les présentations vues en cours :
- Introduction au langage OCaml
- Structures de données usuelles
- Programmation impérative en OCaml
- Récursivité et listes
- Analyse de programmes récursifs
- Algorithmes “Diviser pour régner”
- Les arbres
- Logique propositionnelle
Comment installer OCaml et ocaml-top ?
Des instructions sont disponibles ici.