Laure Gonnord's page

LG-pro/Home/ | CV | Research | Teaching (FR) | Other Stuff

Teaching (French)

TD/TP LYON1: Master: 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.
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.