Je suis responsable de deux modules de DUT informatique à l'IUT de Nantes : introduction aux systèmes informatiques au premier semestre en première année et théorie des systèmes répartis au deuxième semestre en deuxième année.
Introduction aux systèmes informatiques
Les TDs et TPs sont assurés par Sébastien Faucou, Jean-François Remm et moi même.
Première partie de semestre : représentation de l'information
- [Cours 1] Théorie de l'information
- [Cours 2] Représentations des entiers naturels
- [Cours 3] Représentations des entiers relatifs et des nombres décimaux
- [Cours 4] Représentations des caractères
- [Cours 5] Compression
- [Cours 6] Détection et correction d'erreurs
Bibliographie
Les sources principales pour les premières séances sont le cours de Jean-Christophe Dubacq à l'IUT de Villetaneuse et les premiers chapitres du livre Computer Systems: A Programmer's Perspective de Randal E. Bryant et David R. O'Hallaron. Pour le cours 5 le document suivant a aussi été utilisé : mp3 theory. Enfin, quelques informations proviennent des pages wikipedia suivantes : théorie de l'information, systèmes de numération, zéro, système décimal, IEEE 754, Unicode, ASCII, UTF-8, écriture, logogramme, syllabaire, alphabet, phonème, caractère (typographie), ISO 8859-1, organisation international de normalisation, compression de données, Zip, LZ77, etc.
Seconde partie de semestre : architecture et système
- [Cours 7] Architecture des ordinateurs
- [Cours 8] L'unité arithmétique et logique
- [Cours 9] Systèmes d'exploitation
- [Cours 10] Compilation
- [Cours 11] Démarrage d'un ordinateur
Bibliographie
La source principale est le livre Computer Systems: A Programmer's Perspective de Randal E. Bryant et David R. O'Hallaron.
Théorie des systèmes répartis
- [Cours 1] Généralités sur les systèmes répartis [support]
- [Cours 2] Réseaux pair-à-pair [support]
- [Cours 3] Algorithmes répartis [support]
- [Cours 4] Modélisation et vérification
- [TD 1] Threads [énoncé|sources]
- [TD 2] Sockets [énoncé]
- [TD 3] Implantation d'un protocole pair-à-pair [énoncé|sources]
Bibliographie
Les concepts du cours 2 sont illustrés par un exemple tiré de l'article Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. Le cours 3 se base notamment sur un cours de Michel Raynal à l'Université Rennes 1. Les exemples du cours 4 utilisent l'outil Spin.
Anciens cours
Algorithms for the Undecided
Séminaire bibliographique | Hiver 2013 | Technische Universität München.
Algorithmique des graphes
TDs | Hiver 2011 | ISTIC | Responsable du cours : Rumen Andonov.
- [TD 5] Recherche de chemins de poids minimal [énoncé]
- [TD 6] Modélisation de problèmes simples en tant que problèmes de recherche de chemins de poids minimal [énoncé]
Initiation à LaTeX
Cours, TPs | 2010-2011 | Antenne de Bretagne de l'ENS Cachan.
- [Séance 1] Bref historique, principe de fonctionnement, bases pour produire un document scientifique [support]
- [Séance 2] Beamer, Tikz, macros [support]
Initiation Unix
Cours, TPs | Hiver 2011 | Antenne de Bretagne de l'ENS Cachan.
Langages formels
TDs | Hiver 2011 | Antenne de Bretagne de l'ENS Cachan | Responsable du cours : Claude Jard.
Modélisation et vérification formelle par automates
TDs | Hiver 2011 | ISTIC | Responsable du cours : Sophie Pinchinat.
- [TD 1] Automates de Büchi [énoncé]
- [TD 2] Automates de Büchi généralisés [énoncé]
- [TD 3] Automates de Rabin, Streett et Muller, automates co-Büchi [énoncé]
- [TD 4] Théorie des jeux et relations de simulation entre états d'automates de Büchi [énoncé]
- [TD 5] Divers [énoncé]
- [TD 6] LTL et automates de Büchi [énoncé]
Bibliographie
Les exercices du TD 6 sont principalement repris de TDs de Axel Legay.
Préparation à l'option informatique de l'agrégation de mathématiques
Cours, TDs, TPs | 2009-2010, 2010-2011, 2011-2012 | Antenne de Bretagne de l'ENS Cachan | Responsables de la formation : Anne Bouillard puis David Cachera.
- [TP 1] Présentation des bases du langage Caml [énoncé]
- [TP 2] Initiation à l'utilisation du module Graphics [énoncé]
- [TP 3] Exercices sur les arbres [énoncé]
- [TP 4] Bin packing, marches aléatoires, voyageur de commerce, zéros de fonctions [énoncé]
- [TP 5] Aire d'un ensemble de rectangles, stratégies dans des jeux à deux joueurs [énoncé]
- [TP 6] Analyse lexicale et syntaxique avec Ocamllex et Ocamlyacc [énoncé|sources]
- [TP 7] Prolog [énoncé]
- [TP 8] Exercices sur les graphes [énoncé]
- [TD 1] Structures de données [énoncé]
- [TD 2] Preuves de programmes en logique de Hoare [énoncé]
- [TD 3] Graphes, codage de Huffman [énoncé]
- [TD 4] Distance d'édition, programmation linéaire, graphe dynamique [énoncé]
Bibliographie
Le premier TP a été construit à partir des premiers chapitres du livre le langage Caml de Pierre Weis et Xavier Leroy. Plusieurs exercices de TP sont tirés d'oraux de l'agrégation et de l'épreuve pratique d'algorithmique du concours d'entrée aux ENS. L'exercice 3 du TD 3 provient d'un TD donné à l'ENS de Lyon et les exercices du TD 4 ont été repris des années précédentes. Je donnais aussi un cours sur les paradigmes de programmation, presque intégralement repris d'un cours de Tiphaine Turpin [support].
Programmation
TDs | Hiver 2010 | Antenne de Bretagne de l'ENS Cachan | Responsable du cours : Luc Bougé.
Réseau
Cours | Été 2011 | ISTIC | Responsable du cours : Claude Jard.
Scheme
TPs | Hiver 2009 | INSA de Rennes | Responsable du cours : Danièle Quichaud.
Vérification et test de systèmes embarqués
TDs | Hiver 2011 | ESIR | Responsable du cours : Sophie Pinchinat.
- [TD 1] Modules réactifs [énoncé]
- [TD 2] Moniteurs pour les modules réactifs [énoncé]
- [TD 3] Automates temporisés [énoncé]
- [TD 4] Automates temporisés [énoncé]
Bibliographie
Les exercices des deux premiers TDs proviennent principalement d'un cours de Rajeev Alur et Thomas Henziger. Quelques exercices sur les automates temporisés sont adaptés d'un cours de Nathalie Bertrand.