Le cours et les TP

lundi 5 février (LP): introduction, histoire de l'informatique, machines de Turing, théorème de l'arrêt, premiers pas en ocaml.
Documents: l'article de Turing de 1936, le chapitre 1.

mardi 6 et jeudi 8: TP1, sujet, corrigé.

lundi  12 février (LP): récursivité, présentation prezi, types composés de caml.

mardi 13 et jeudi 15: TP2, sujet, corrigé.

pour  jeudi 23: DM1 en ligne.

lundi 19 février (LP): terminaison et correction de programme, tableaux ocaml, listes.

mardi 20 et jeudi 22: TP3, sujet, corrigé.

Commentaires

Posts les plus consultés de ce blog

Ocaml avec Emacs (et Tuareg) sous Windows 10

TP1: prise en main de ocaml et emacs