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 par sélection, tri à bulles, tri par insertion,
                                                    tri fusion, sujet, corrigé.

lundi 26 mars (LP): structures de données (tableaux, listes, piles, files)

mardi 27 et  jeudi 29 mars: TP6: polynômes, multiplication de Karatsuba, sujet, corrigé.

pour le 3 avril: DM3 en ligne.

mardi 3 et jeudi 5 avril: TP7:  enregistrements, complexes, transformée de Fourier rapide, sujet, corrigé.

lundi 9 avril (LP): piles et files (fin), évaluation d'expressions postfixes. Tables de hachage, implémentations, complexités, exemples

pour le 7 mai: DM4 en ligne.

mardi 10 et 12 avril: TP8: graphiques, labyrinthe et piles, sujet, corrigé.

lundi 16 avril (NN): multiplication de matrices carrées (dont l’algorithme de Strassen).

mardi 17 et 19 avril: TP9:  automates cellulaires, sujet, corrigé.

lundi 14 mai (NN): programmation dynamique (un peu de mémoization) avec comme exemple le problème de rendu de monnaie.

mardi 15 et jeudi 17 mai: TP10: jeu de la vie (épreuve pratique, ENS 2003): sujet, corrigé, algorithmes de Floyd et Brent.

lundi 28 mai (LP).

lundi 4 juin (LP)

lundi 11 juin (NN)

lundi 18 juin (NN)

lundi 25 juin (NN)

Commentaires

Posts les plus consultés de ce blog

Ocaml avec Emacs (et Tuareg) sous Windows 10