Enseignement

Quelques anciens cours. Les nouvelles ressources sont maintenant postées sur Moodle.

Complexité algorithmique (M1, université Paris Descartes, 2014-2015)

Une fiche d'exercices ici sur la NP-complétude, et la correction du dernier exercice ici.

Introduction à la programmation (IP1, L1, université Paris 7, 2014-2015)

Correction du premier test ici. L'énoncé est disponible ici (avec quelques imprécisions corrigées par rapport à l'énoncé original).

Stages et TRE en M1 (université Paris 7, 2010-2012)

Voir cette page.

Cours-TD de probabilités discrètes en L2 (université Paris 7, 2011-2012)

Cours-td avec Jean-Michel Autebert et Matthieu Picantin.
Quelques fiches :

TP de sécurité (cryptologie) en M2 (université Paris 7, 2011-2012)

Cours de Roberto Amadio
Fiches de tp :

Cours d'algorithmique en L3 (université Paris 7, 2011-2012)

Programme : ABR, tas, graphes, NP-complétude.
Correction de l'exercice 1 de l'examen 2012 en pdf.
TD d'Hervé Baumann, Constantin Enea et Fabien de Montgolfier. Fiches de tp :

Cours de 6h en complexité algébrique (école d'hiver de l'ENS Lyon, 2011)

Le cours en pdf : Bornes inférieures sur le calcul de polynômes.

Cours de calculabilité en M1 (université Paris 7, 2009-2011)

2010-2011 : TD de Christian Choffrut.
(2009-2010 : TD de Roberto Mantaci)

TD/TP de base de données en L3 (université Paris 7, 2008-2011)

Cours de Wiesław Zielonka.

Cours/TD d'algorithmique en L2 (université Paris 7, 2008-2009)

Cours/TD en collaboration avec Yan Jurski et Roberto Mantaci. Quelques éléments :

TD d'automates et langages formels en L3 Bio-info (université Paris 7, 2008-2010)

Cours de Christian Choffrut.

Cours d'introduction à l'informatique en L1 (université Paris 7, 2008-2011)

Voir la page du cours de Jean-Marie Rifflet.

TD d'algorithmique en L3 Bio-info (université Paris 7, 2008-2010)

Cours de Daniele Varacca.

TD d'algorithmique en L3 (université Paris 7, 2008-2011)

Cours de François Laroussinie, TD en collaboration avec Grégoire Henry et Fabien de Montgolfier.

Cours : algorithmes probabilistes (ENS Lyon, L3, 2008)

Cours de 2 heures sur les algorithmes probabilistes et la dérandomisation, notamment les liens avec les bornes inférieures non-uniformes. Transparents disponibles en pdf.

TD Algorithmique et programmation (université Lyon 1, L1, 2007-2008)

Cours d'Elodie Dessérée en L1, licence Sciences et Technologies (voir ici).
11 séances de TD de 2 heures. Fiches de TD disponibles .

TP Programmation en C (université Lyon 1, L1, 2007-2008)

TP du cours précédent.
8 séances de 3 heures. Fiches de TP disponibles ici.

TD Complexité Turing (ENS Lyon, M1, 2007-2008)

Cours de Marianne Delorme. TD en collaboration avec Sylvain Chevillard.

Organisation des stages L3 (ENS Lyon, 2006-2007)

Les élèves de l'ENS Lyon doivent effectuer un stage de recherche de 6 semaines à la fin de leur première année. Plus de détails, dont les sujets de stage et le planning des soutenances, ici.
On pourra trouver quelques rapports de stage sur le serveur des élèves.

TD Fondements de l'informatique (ENS Lyon, L3, 2006-2007)

Cours de Michel Morvan en 3 parties : langages rationnels, langages algébriques, réécriture. TD en collaboration avec Victor Poupet.

TP Initiation OCaml (ENS Lyon, L3, 2006-2007)

Un TP d'initiation à OCaml pour les nouveaux élèves (cours de Daniel Hirschkoff).
Le sujet est ici : td1.pdf. Les exemples du début du td sont là : td1.ml. Merci à Jérémie Detrey pour ce sujet.
Enfin, le ficher d'exemples du prof est là : cours.ml.

TD Complexité algébrique (atelier de formation de théorie des modèles ModNet, juin 2006, université Lyon 1)

3 TD d'une heure, en anglais (cours de Pascal Koiran). Lien vers l'atelier de formation : http://math.univ-lyon1.fr/~logicum/francais/modnetlyonfr.htm
Lien vers ModNet : http://www.logique.jussieu.fr/modnet/

TD/TP Algorithmique effective (ENS Lyon, L3/M1, 2005-2006)

Cours de Nicolas Schabanel. La plupart des problèmes viennent du site d'entraînement UVa online judge. Un petit mémento pour débuter en C++ est disponible ici en ps.

TD Complexité structurelle (ENS Lyon, M1, 2005-2006)

Cours de Pascal Koiran.