DM2
Devoir en ligne pour lundi 12 mars: sujet . Vous pouvez tester votre code en ligne ici .
Articles
TP1: prise en main de ocaml et emacs
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: premiers pas avec ocaml et emacs, sujet , corrigé . lundi 12 février (LP): récursivité , présentation prezi , types composés de caml . mardi 13 et jeudi 15: TP2: récursivité, tuples, listes et filtrage, 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 février : TP3: types somme, types récursifs, récursivité, graphiques, fractals, sujet , corrigé . pour lundi 12 mars: DM2 en ligne lundi 12 mars (NN): complexité, méthode de Horner, exponentiation rapide. Support de cours. mardi 13 et jeudi 15 : TP4: ocaml impératif, exponentiation rapide, sujet , corrigé . lundi 19 mars (NN): tris mardi 20 et jeudi 22 mars: TP5: ensembles finis, tri pa