Articles


DM1

pour le 23 février 23h: sujet.

Récusivité, types composés de ocaml

Voir le détail ici.

TP1: prise en main de ocaml et emacs

Image
Le sujet du TP1.

Pour installer ocaml et emacs sur votre ordi Windows,  téléchargez et décompressez le fichier ici.
Si vous travaillez sur Mac, allez sur cette page (mais je n'ai pas testé).
Si vous travaillez sous linux, alors installez les dernières versions d'ocaml et d'emacs avec une commande du genre sudo apt-get -install ocaml

Dans tous les cas, faites part de vos problèmes dans les commentaires!

Un aide-mémoire ocaml (en évolution).



Une initiation à ocaml (sur le site de ocaml).
Un cours sur ocaml à l'X.
Le manuel d'ocaml (en anglais)

A faire (1)

Pour lundi 12 février:

1. exercices 2 et 5 du chapitre 1.

2. on considère le code ocaml suivant:

let double f  = fun x -> f (f x);;
let plus1 x = x + 1;;

quel résultats donne les évaluations de (justifier sur le papier):

double double plus1 0;;
double double double plus1 0;;
double double double double plus1 0;;
double double double double double plus1 0;;


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é.

Emploi du temps

les cours du semestre:

lundi 5 fév. LP
lundi 12 fév. LP
lundi 19 fév.LP
lundi 12 mars NN
lundi 19 mars NN
lundi 26 mars LP
lundi 9 avril LP
lundi 16 avril NN
lundi 7 mai NN
lundi 14 mai NN
lundi 28 mai LP
lundi 4 juin LP
lundi 11 juin NN
lundi 18 juin NN
lundi 25 juin NN