Récusivité, types composés de ocaml

Voir le détail ici.

Commentaires

Enregistrer un commentaire

Posts les plus consultés de ce blog

Ocaml avec Emacs (et Tuareg) sous Windows 10

  Télécharger et décompresser le fichier ici (dû à Marc De Falco). Pour commencer: les fichiers ocaml se terminent par .ml (sinon le mode Tuareg ne se lance pas). Pour exécuter du code: le sélectionner dans emacs, puis menu Tuareg-> Interactive Mode -> Evaluate Region (la première fois, taper Enter quand il propose ocaml dans le mini-buffer) le résultat est donné dans une nouvelle fenêtre. Pour  compiler un fichier: disons le fichier test.ml: menu Tuareg -> Compile puis taper dans le mini-buffer: ocamlopt -o test test.ml (les fois suivantes, il s'en souvient) cela crée un fichier test.exe (dans le même répertoire que le fichier test.ml) que l'on lance sous windows comme n'importe quel programme windows.
Lire la suite

Support de cours sur la complexité (et au delà !!!)

Vous trouverez dans le lien ci-joint des slides correspondant à mes cours. http://www-sop.inria.fr/members/Nicolas.Nisse/lectures/prepa/ Il y a en fait (beaucoup) plus que ce que j'ai le temps de vous expliquer en cours, mais si vous connaissez (et, encore mieux, maîtrisez) le contenu de ces slides, alors j'espère que vous serez parés pour les concours.  N'hésitez pas à m'aider à améliorer ces slides en me faisant vos remarques/critiques/corrections/questions...
Lire la suite

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...
Lire la suite