Note : Ceci est la page de l'ancien cours d'initiation à la programmation en OCaml (2015,2016,2017). Voir ici pour le cours actuel de programmation en Coq.

Voir également les documents du cours des années précédentes par Emmanuel Chailloux.

Le livre d'Emmanuel et de ses collègues est également toujours une bonne référence.

Pour le cours 6 (objets en OCaml), voir aussi les transparents du cours de Samuel Hornus.

Quelques TD supplémentaires :

• Le td sur les listes à accès rapide.
• Le td sur les listes infinies.
• Un td sur les objets par Samuel Hornus

Propositions de Projet:

• Dessins de fractales: un ancien sujet de projet et le fichier exemples.ml associé.
• Implémentation générique de l'algorithme Alpha-Beta et application à un ou plusieurs jeu(x) concret(s), p.ex. Othello ou Dames.
• Méthode de décision, comme par exemple la méthode Oméga pour l'arithmétique de Presburger ou l'élimination de Fourier-Motzkin pour l'arithmétique réelle.
• Ceux mentionnés par Emmanuel sur la page ci-dessus.
• Votre proposition…