===== Modèles de la Programmation (Master 2 LMFI) =====

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

Voir également les documents du
[[https://www-apr.lip6.fr/~chaillou/Public/enseignement/2014-2015/MdP|cours des années précédentes]] par Emmanuel Chailloux.

Le [[http://caml.inria.fr/pub/docs/oreilly-book|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
[[https://members.loria.fr/samuel.hornus/ocaml/slides-ocaml-6.pdf|cours de Samuel Hornus]].

Quelques TD supplémentaires :
  * Le [[https://gitlab.math.univ-paris-diderot.fr/letouzey/prog-lmfi/blob/master/ocaml/td1.md|td sur les listes à accès rapide]].
  * Le [[https://gitlab.math.univ-paris-diderot.fr/letouzey/prog-lmfi/blob/master/ocaml/td2.md|td sur les listes infinies]].
  * Un [[https://members.loria.fr/samuel.hornus/ocaml/tp.pdf|td sur les objets par Samuel Hornus]]

Propositions de **Projet**:
  * Dessins de fractales: un ancien [[http://www.irif.fr/~letouzey/prog-lmfi/projet-fractales.pdf|sujet de projet]] et le fichier [[http://www.irif.fr/~letouzey/prog-lmfi/exemples.ml|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...