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)
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
Enregistrer un commentaire