Enseignements

Documents d'enseignement en informatique fondamentale

Des cours d'informatique théorique sont rassemblées sur DENIF : notes de cours, TD, examens...

Une partie de ma charge d'enseignement de 2006-2007 consistait à participer à la création de ce site.

Formateur LaTeX

Formation pratique de trois jours. Installation, texte, tableaux, figures, formules, bibliographie, extensions existantes et personnelles.

2008-2009 : TDs de probabilités et de fondements de l'informatique

2007-2008 : TDs de probabilités et d'algorithmique

Algorithmique

En collaboration avec Jean-François Pineau.

Voici le polycopié d'un ancien cours de graphes.

• TD1 : Introduction aux graphes. sujet, réponses.
• TD2 : Composantes fortement connexes. sujet, réponses.
• TD3 : Graphes eulériens. sujet, réponses.
• TD4 : Points d'articulation. sujet, réponses.
• TD5 : Chemins de poids minimal. sujet, réponses.
• TD6 : Le problème des mariages. sujet, réponses.
• Partiel sujet, réponses.

Probabilités

En collaboration avec Cédric Tedeschi.

• TD1 : probabilités élémentaires. sujet, réponses.
• TD2 : probabilités conditionnelles, lois continues. sujet, réponses.
• TD3 : espérance. sujet, réponses.
• TD4 : loi géométriques, estimateurs. sujet, réponses.
• TD5 : fonction génératrice, poisson. sujet, réponses.
• TD6 : Révisions, lois continues. sujet, réponses.
• Partiel. sujet, réponses.
• DM : Marches aléatoires, chaînes de Markov discrètes. Voir sur la page de Cédric Tedeschi.
• TD7 : Graphes aléatoires (Erdös-Rényi à p fixé), Sporz. sujet, réponses.
• TD8 : Loi normale, fonctions caractéristiques. sujet, réponses.
• TD9 : Théorème du Minimax. sujet.
• TD10 : Entropie de Shannon et codage. sujet, réponses.
• TD11 : Processus de branchement. sujet, réponses.
• TD12 : Preuves d'existence par la méthode probabiliste. sujet, réponses.
• TD13 : Chaînes de Markov. sujet. réponses.
• TD14 : Correction de l'examen.
• TD15 : Urne de Polya, chaîne de Markov en temps continu. sujet, réponses.
• Examen sujet, sujet en anglais, sujet de la session de rattrapage.

Les notes du cours. Attention, c'est plus une série d'exemples bien choisis pour illustrer le cours et pour leur intérêt propre. Je conseille de prendre également un livre pour trouver les concepts fondamentaux exposés de façon plus formelle et linéaire. Par ailleurs, chaque cours a été relu rapidement par l'enseignant, mais il n'y a pas (encore) eu de relecture globale approfondie.

2006-2007 : Préparation au concours de programmation ACM

pour lequel il existe de nombreux exemples du sujets. Le concours consiste en 5h de programmation sur environ 8 problèmes assez algorithmiques, par équipe de 3 avec un seul ordinateur. J'étais chargé des 2h hebdomadaires, consistant en un mélange de cours, TD et TP : cours sur des algorithmes classiques, TD sur des problèmes d'annales, TP de programmation. L'examen testait un peu plus les capacités de codage que les connaissances algorithmiques d'une équipe. Le sujet, les commentaires du correcteur, un corrigé : un code source lisible et commenté pour chaque problème, ainsi que les jeux de tests utilisés pendant l'examen. Également disponible sur Denif.
Ce site Denif était d'ailleurs l'autre moitié de mes enseignements.

2005-2006 : colles d'informatique (TP)

en MP* au lycée du Parc (Lyon). Mêmes remarques que pour 2004-2005, sauf que cette année c'est en Caml Light.

• it_list et list_it, plus longue sous-suite commune. sujet, corrigé (de ce qui a été fait pendant la séance, c'est-à-dire jusqu'à la partie 3 incluse).
• mots et automates. sujet, corrigé.
• matrices et style impératif. sujet, corrigé.
• entiers de Church. sujet, corrigé.
• L-systèmes. sujet, corrigé.
• Mini-Prologin (chacun code un robot et l'on fait un concours entre les robots). sujet.

2004-2005 : colles d'informatique

en MP* au lycée Janson de Sailly (Paris). Demandez-moi si vous voulez une version texte des corrigés ou les sources. Ils sont longs à faire, je devais donner un sujet suffisant pour que même les meilleurs élèves aient de quoi travailler pendant toute la séance de deux heures. Le langage utilisé comme support est OCaml.

• Quelques remarques générales issues des premières séances.
• Types somme et enregistrement. sujet, corrigé.
• Parcours d'arbre. sujet, corrigé.
• Heapsort (long). sujet, corrigé.
• Codage de Huffman. sujet, corrigé.
• Fractales (joli et graphique). sujet, corrigé. Regarder aussi des exemples de fractales issues de la "machine à copie multiple" sur jlpfractware.free.fr qui a inspiré une partie du TP.
• Algorithme de Kruskal : arbre couvrant de poids minimal. sujet.
• Pointeurs. Quelques figures aideraient à bien comprendre, sur demande. sujet, corrigé.
• Algorithme de Dijkstra : plus court chemin dans un graphe (difficile). sujet. corrigé.
• Une séance supplémentaire portait sur l'épreuve pratique de programmation du concours des ENS, précisément sur le sujet de 2004 frogger. Corrigé des questions 1 à 12 sur demande.

2002-2003 : Le problème des mariages

Ou comment affecter les taupins dans les écoles, les maîtres de conférence dans les universités, les étudiants dans les cours à places limitées, etc. Le sujet est écrit par Emmanuel Hyon et Éric Thierry. On m'a demandé le corrigé, le voici.