option Info en MPSI à Thiers

Semaines	Thèmes	Devoirs et projets	Observations
Les cours débutent fin janvier	On débute avec les traits fonctionnels de CAML; récursion terminale. TD/TP : exercices de base.		Installer un Linux sur votre machine, par exemple 20.04 LTS . On peut preférer une installation sous machine virtuelle. Installer emacs : depuis une console sudo apt install emacs Installer opam + tuareg. Consulter par exemple ces pages. En attendant d'avoir une machine fonctionnelle, on peut toujours pratiquer OCaml en ligne : Avec BetterOCaml Avec Try OCaml

Semaines

Thèmes

Devoirs et projets

Observations

Les cours débutent fin janvier

On débute avec les traits fonctionnels de CAML; récursion terminale. TD/TP : exercices de base.

Installer un Linux sur votre machine, par exemple 20.04 LTS . On peut preférer une installation sous machine virtuelle.
Installer emacs : depuis une console sudo apt install emacs
Installer opam + tuareg. Consulter par exemple ces pages.

En attendant d'avoir une machine fonctionnelle, on peut toujours pratiquer OCaml en ligne :

Documents
Une présentation de la récursion terminale
Une prise en main des traits fonctionnels de CAML ici .