Cette page rassemble les enseignements dispensés pendant mon monitorat à Grenoble, mon postdoc à l'insa, et mon année d'ater à Lyon1.

COURS LYON1: License3: Optimisation [MIF062] 2008/2009

• Les documents de S. Bouakaz sur la partie Algo numérique.
• Le plan du cours/PARTIE OPTIM.
• COURS EN GREVE (LG) document du 16 février (contient le td1), document du 23 février (contient le td2).
• D'après les cours de Paul Feautrier, Nicolas Thiery, ...
• Un autre support de cours en ligne : Princeton.
• La partie de Grégory Thibault : meta2.pdf
• TD1a : Résolution de systèmes Linéaires, Problèmes linéaires sous forme normale : énoncé, corrigé.
• TD2a : Algorithme du Simplexe, à la main et à l'ordi : énoncé, corrigé.
• TD3a : Simplexe et dual : énoncé, corrigé.
• LA REF : Linear Programming, Vasek Chvatal, Editor W. H. Freeman
• Une autre ref : Theory of Linear and Integer Programming by Alexander Schrijver, ed. Wiley.
• LPSOLVE : lib pour la prog linéaire : page , docu.
• CVX OPT : lib python pour l'optimisation convexe : page.
• SAGE : Open Source Mathematic Software : page.
• Quelques consignes pour rendre un tp/projet.

TD LYON1: Master1: Codage, Cryptage 2008/2009

• Master 1, UFR d'informatique, LYON1 : M1IF30, Responsable Y. Gérard.
• Deuxième Semestre
• Cours le lundi de 16h à 18h TD le lundi de 13h45 à 15h45.
• Le support de cours.
• Les partiels des années précédentes : mars05, mars06, mars07, avril08.
• La liste des projets des années précédentes. La page des projets
• Des exos de maths pour la crypto, de Dominique Duval là. Une liste de théorèmes utiles à leur résolution.
• Handbook of Applied Crypto, dispo en ligne . Un autre livre pdf : Basic Cryptographics. Quelques livres à trouver à la bibliothèque : Cryptographie appliquée, Scheier (traduction en fr, Thomson publishing) ; Introduction to Cryptography, Buchmann (Springer).
• Le site de Acrypto (asso) fournit une intéressante bibliographie et des fiches pratiques : extraire une racine modulop p, ...
• La doc de SAGE pour la crypto.
• Le projet GPG(gnu privacy guard).
• Suivi des bouquins MISC : là. Le site de la revue MISC.
• La mailing liste du cours

TD/TP LYON1: Master1: Compilation 2008/2009

• Master 1, UFR d'informatique, LYON1 : M1IF12
• 6 séances de TD, 6 séances de TP.
• Page du Cours
• Des cours de compilation ? le poly de Tanguy Risset(ENS Lyon). La page Wikipedia/Compiler, avec des livres de compils en pdf. Des transparents .
• Quelques exos de bon goût sur la page de Fabrice Rastello.
• Exos sur les grammaires attribuées : énoncé (avec un peu de correction dedans !)
• Les expressions régulières en flex sont par exemple sur cette page
• Utilisation de flex uniquement wordcount.
• Flex+Bison, avec un exemple de fichier passé en argument (exo 4 du tp1): main.c, lexer, parser, et Makefile.
• Ajouts sur le td3 (grammaires et analyseurs LL).
• TP2 : pour le groupe 1 uniquement : Instructions pour le tp2 A FINIR pour la prochaine fois !!
• Génération de code 3 adresses : voir le cours de S.Gire (pages 64 à 68) et le résumé sur la page : Cours/UBO.
• Optimisations flots de données : voir ici
• TD 5 : Table id, symboles; Génération de code 3@ et optims : énoncé td5+corrigé.

TD/TP PCI LYON1: L1, Environnement, bureautique, web, ... 2008/2009

• Premier cycle universitaire, premier semestre.
• Site de l'UE (TVL1001L pour Apogée).
• 12 séances de 2h de TP.

TD/TP Initiation à l'informatique, Linux, Langage Pascal 2007/2008

• Premier cycle Insa, 1A et 2A.
• Tout est sur le moodle du premier cycle.

TP Langages de Programmation 2 (Ocaml) (Polytech-Ricm, niveau L3, 2ième semestre) 2006/2007

• Infos : La page officielle du cours et celle spécifique aux tps.
• Emploi du temps etc : Page de la formation.
• Gr 2, jeudi 1fois/2, UFR salle 2, 9h45-13h avec Mathias Peron.
• Énoncés de tps en collaboration avec Mathias Peron :
  • TP1 MISE EN ROUTE : énoncé et éléments de correction.
  • TP2 LISTE ET ITERATEURS : énoncé, éléments de correction.
  • TP3 MODULES ET FONCTEURS : énoncé et sa feuille d'accompagnement ml, éléments de correction.
  • TP4 FLOTS/PARSING : énoncé avec ses fichiers d'accompagnement : exparsing et lecture_fichier, correction-partie1 , correction-entière , le fichier utilisé pour l'évaluation.
  • NEW !!!! Un aide-mémoire syntaxe/sémantique des flots et une mise au point expressions arithmétiques et parseurs.
  • TP5 FRACTALES énoncé, éléments de correction.
• Le ds de tp : énoncé et correction(ML)
• Attention les corrections sont des "éléments de correction" et peuvent ne pas être à jour, contiennent peu de commentaires et de tests.

TD Sémantique des langages de programmation (M1, 1er semestre) 2006/2007

• Infos : La page officielle du cours.
• Des éléments de correction des exos 3 et 5 de la feuille 1.
• Transparents de sémantique du lanage while avec blocs et procédures : (!!!!!! pas garantis sans erreurs !!!!) : dyn/dyn, dyn/stat, stat/stat.
• Un exercice de génération de code et sa correction (avec la pile à l'exécution)
• L'exam et le partiel de l'an dernier.
• Le dm et l'exam de cette année, et un début de corrigé

TD Modèles de calcul et Validation d'algorithmes (L3 MIAGE, 2ième semestre) 2005/2006

• Infos : La page officielle du cours
• Langages réguliers : des constructions théoriques et une micro-feuille de td supplémentaire (sa correction), ainsi que des exemples d'utilisation du Lemme de l'étoile.
• Langages hors-contexte : un automate à pile pour les palindromes.
• Automates finis et automates à pile : des éléments de réponse pour le dm.
• Automates finis et automates à pile : des éléments de réponse pour le DS du lundi 13 mars 2006.
• MCAL-exam : des éléments de réponse pour l'exam du mercredi 19 avril 2006.

TD Sémantique des langages de programmation (M1, 1er semestre) 2005/2006

• Infos : La page officielle du cours.
• Emploi du temps etc : Page du master Math-info/Info.
• Mon groupe est le : G4 . Horaires Lundi 9h45/11h15 f117 et Mardi 11h30/13h f114
• (vieux) Polys en 4 pages/feuilles : intro, sémantique
• Un transparent avec les règles de While en sémantique naturelle et en Sémantique structurelle.
• Une feuille à trous pour remplir les règles des procédures et des blocs du langage While en sémantique naturelle (portées statiques/dynamiques). Une feuille avec les règles et un exercice intéressant pour voir comment s'en sortir avec les appels récursifs.
• Un transparent avec les règles de déduction en Logique de Hoare.
• Un transparent avec quelques définitions/théorèmes pour prouver la terminaison.

TD Langages et Traducteurs (Polytech-Ricm, niveau M1, 1er semestre) 2005/2006

• Infos : La page officielle du cours.
• Emploi du temps etc : Page de la formation.
• Gr 2, Horaire Mardi 13h30-15h. polytech 123
• Éléments de correction des tds : td1, td2, td3, td4, td5/quick (version corrigée sans la typo), quelques précisions ici), td6, td7, td8, td9, td10, td11/12.
• Éléments de correction des exos à chercher td1bis, td2bis, td3bis, td4bis, td7bis, td8-9bis, td11-12bis.
• Des éléments de réponse pour le quick 05.
• Des éléments de réponse pour l'exam 05.

TD et TP Algo/C/Unix (L1, 1er semestre) 2004/2005

• Infos : La page INF111 de M. Périn
• Un poly de cours à l'UCBL :Arnaud.Legrand
• Un éditeur et compilateur sous windows : Dev-C++
• Avancement des td/tp : txt.
• Feuille 1 Mise en route (variable, logique) : Enoncé, Corrigé
• Feuille 2 Premiers progs c : Enoncé, hello.c, programme_de_base.c, programme_de_base_sans_commentaires.c, Corrigé (texte)
• Feuille TP 2 : Enoncé
• Feuille TP 3 QUIZZ : Enoncé (merci Isabelle !) et le .c, ainsi que maversion
• Feuille 3 Boucles for et while Enoncé, Corrigé (boucles for) , Corrigé (boucles while)
• Feuille 3bis Boucles for et while, re Enoncé, Corrigé.
• Ca marche pas ! Une feuille pour être plus performant/moins dépendant en TP : ici.
• Feuille TP 4 Notes / Régions / Caractères : Enoncé , corrigé1, et regions.c, caracteresenC.txt.
• Feuille 4 Tableaux et entiers aléatoires (TD4.2 et TP5) Enoncé,
• Feuille 5 Petit topo sur la décomposition en base b feuille, ainsi que le decomp.c.
• Feuille 6 Tableaux et caractères (TD et TP "nouvelles") Enoncé, ascii.c, nouvelle.c,
• Feuille 7 Révisions Enoncé, et correction txt.
• PARTIEL 22/10/2004 Enoncé, et correction de l'exo, et correction du pb.
• TP 7 -- Tris graphiques Enoncé, et tribulle.c,
• Tableaux 2d et chaînes de caractères Enoncé, Corrigé partiel.
• Quick 9/11/2004 Enoncé, et correction.
• TP8 -- Carrés Magiques L'énoncé est pages 64/67 cahier TP, une correction : carres_magiques.c.
• Feuille 9, Méthode d'Euler (TD/TP9) Enoncé, et euler.c.
• Puissance 4, exam de décembre 2003 Enoncé, et Corrigé.
• PROJET PLANETES (3 séances de TP) Enoncé, Avancement, Enoncé séance 2 avec son code. Mon corrigé.
• Feuille 10, X puissance n Enoncé, et Corrigé.
• Feuille 11, Redirection unix et algorithmes de texte Énoncé, et Corrigé.
• TP 11, Mots mêlés Énoncé, et Corrigé.
• Feuille12, Révisions Énoncé, et Annexe PDF. Corrigé.
• Aide mémoire pointeurs ici.
• TP 12, Coupes d'un tableau Énoncé, squelette fourni, et Corrigé.
• EXAMEN le 15 décembre 2004. a savoir.
• Une archive de tout ce que l'on a fait : sujets+ corrigés : zip.

TP MAPLE (PCSI) Mai/Juin 2003

• Matrices : Enoncé, Corrigé : ex1, ex2 , ex3.
• Espaces Euclidiens : Enoncé, Corrigé : ex1, ex2 , ex3.
• Géométrie : Enoncé, Corrigé : ex1, ex2 , ex3a, ex3b.

TP Pascal (CPEC 2A) 2001/2003

• Polynômes : énoncé (pdf, squelette, maple) et corrigé (.pas).
• MinMax : énoncé (pdf, squelette) et corrigé (pdf, .pas).
• Récursion vs Itération : énoncé (pdf, prog_x, squelette, jeu) et corrigé (.html).
• Simulation d'expériences probabilistes : énoncé (pdf1, pdf2, pdf3) et corrigé (pdf).
  
• Suites et Séries : énoncé (pdf, maple) et corrigé (.html).
• Calcul approché de Pi : énoncé (pdf, squelette) et corrigé (.html).
• Tris : énoncé (pdf, squelette) et corrigé (pdf, .html).
• Exponentiation : énoncé (pdf, squelette1, squelette2) et corrigé (entiers, matrices).
• Simulation d'expériences probabilistes II : énoncé (pdf) et corrigé (pdf).
• ENS 2002: coupes d'un tableau : énoncé et corrigé.
• X 2002: gain à la bourse : énoncé et corrigé.
• Séance de bachotage : exos. Correction ici.
• DM : enoncé et corrigé.
• Poly : essentiel_pascal.