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): correction du DS2 (concours blanc), présentation du projet sur Condingame: Back to the code.

mardi 29 et jeudi 31 mai: TP 11: percolation, sujet, corrigé.

lundi 4 juin (LP) : alphabets, mots, règles d'inférence, logique booléenne (calcul des propositions, polynômes booléens).

mardi 5 et jeudi 7 juin: TP12: code de Huffman.


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

TP1: prise en main de ocaml et emacs