Département Informatique ENS de Lyon
Contents
1. en Amphi B a Regarder l emploi du temps de 1 semaine Pot du DI amp Rencontre des tuteurs a Lundi 14 septembre 16h atrium de l amphi M rieux RS CRE EE RES M DI ENS DE LYON Divers Possibilit d emprunter au DI des ordinateurs portables contacter Alexandre Isoard Possibilit de monter des groupes de lecture voir avec les enseignants Un premier alias pour vous N oubliez pas d aller vous inscrire l universit Lyon 1 C est indispensable infos pratiques dans les prochains jours ENS DE LYON L3 les UEs en IF et ailleurs s Cours de base 32h cours 32h TD TP 6 ECTS Projet 32h cours TP travail solo ou en groupe 6 ECTS ler SEMESTRE 2 me SEMESTRE Cours de base Cours de base ALGO1 Algorithmique ALGO2 Algorithmique avanc e ASR 1 Architecture amp Syst me ASR2 Syst me amp seaux FDI Fondements de l informatique LOG Logique PROG Th orie de la programmation PROBA Probabilit s Projet Projets S i PROJ2 Projet SAT Solver ne dt Programmation 3 ECTS ACM Conc LS AC Obligatoire Obligatoire Anglais 1 3 ECTS Anglais 2 3 ECTS ENS DE LYON L3 les UEs en IF et ailleurs Une UE suppl mentaire obligatoire pour la licence Stage de recherche en laboratoire de 6 semaines au moins en t avec rapport et soutenance 3 ECTS Une UE particuli re Initiation la recherche avec a Les s minaires des tudian2. DI ENS DE LYON L informatique PENS sp cificit s Une formation par et pour la recherche tous vos enseignants font de la recherche un contact tr s troit avec les chercheurs du LIP avec les centres de recherche CNRS INRIA un s minaire scientifique hebdomadaire des visites de laboratoires des stages de recherche dans des laboratoires 0D O0 EE D RE M DI ENS DE LYON L informatique PENS cursus Cursus orient sur le long terme 1 L3 MASTER Stage pr doc 4 ans 1 L3 MASTER Agr gation 4 ans a puis Doctorat 3 ans D bouch s non exhaustif a Recherche CNRS INRIA 2 Enseignement Lyc e Pr pa 2 Enseignement et recherche Universit Grandes coles 1 R amp D en entreprise ns en x RE x DI ENS DE LYON L informatique PENS DI amp LIP Enseignement D partement DI a Environ 15 enseignants chercheurs plus de nombreux intervenants chercheurs th sards post doc Recherche Laboratoire LIP a Environ 100 membres a 8 quipes de recherche a Direction Guillaume Hanrot et Isabelle Gu rin Lassous a Statut UMR CNRS ENSL Lyon 1 associ e INRIA ES ER a RE x DI ENS DE LYON Qui fait quoi au d partement DD Equipe de direction a Nicolas Trotignon Directeur DI a Eric Thierry L3 2a Daniel Hirschkoff Directeur adjoint M1 a Anne Benoit M2 DI x e ENS DE LYON Qui contacter C t ense
3. d crire et analyser rigoureusement des programmes m S mantique des langages de programmation typage logique m Initiation divers principes de programmation imp rative fonctionnelle logique Pr requis une vague id e de ce qu est la programmation ns en x RE x DI ENS DE LYON PROJ1 Projet Programmation Obligatoire Intervenants Eddy Caron Aur lien Cavelan Alexandre Isoard Apprentissage perfectionnement en programmation Acquisition des bases de la syntaxe de diff rents langages au moins C C et Caml Acquisition de bonnes habitudes de g nie logiciel la r daction d un rapport et de transparents de pr sentation S ances de cours TP progressives adapt es au niveau de d part de chacun r alisation de mini projets pour les plus rapides Pr requis ne pas tre inhib par la programmation et suivre le cours d ALGOT est recommand mm DI ENS DE LYON ALGO2 Algorithmique avanc e m Responsable du cours Anne Benoit x Charg s de TD TP Olga Kupriianova Fabrice Mouhartem m Suite du cours d ALGO1 s Compl ments sur les grands principes et les structures de donn es m Algorithmique des graphes des mots de g om trie m Algorithmique d optimisation m Pr requis ALGO1 k a x RE e DI ENS DE LYON ASR2 Syst me amp R seaux Responsable du cours Michael Rao Charg s de TD TP Radu Carpa Simon Castellan Violaine Villebonnet
4. Comprendre les fonctionnements des syst mes d exploitation et des r seaux de communications Conception des syst mes d exploitation structure globale d un OS rappel du cours ASR1 probl mes de Synchronisation des processus et interblocages ordonnancement gestion de la m moire et m moire virtuelle Structure des r seaux de communication architecture des r seaux protocoles de communications MAC TCP IP algorithmes de routage controle de congestion Pr requis programmation ASR1 ENS DE LYON LOG Logique s Responsable du cours Natacha Portier m Charg s de TD TP Anupam Das Ignacio Garcia Marco Toute la logique math matique de l antiquit au tournant des ann es 1930 m Introduction la th orie na ve des ensembles m Th ories du 1er ordre langages du 1er ordre syst mes de d duction arithm tique de Peano th orie des ensembles de Zermelo Frankel x lh or mes de compl tude et d incompl tude G del m Pr requis les quelques notions de logique qui ont pu vous tre enseign es jusqu pr sent ns en x RE x DI ENS DE LYON PROBA Probabilit s s Responsable du cours Omar Fawzi m Charg s de TD TP Aur lie Lagoute Svetlana Puzynina m Un cours de probabilit s avec illustrations en informatique et en combinatoire s Probabilit s l mentaires variables al atoires esp rance loi classiques in galit s Cha nes de Markov discr tes com
5. D partement Informatique ENS de Lyon Nicolas Trotignon amp Eric Thierry y ENS DE LYON Plan m C est quoi l informatique L informatique l ENS de Lyon m Qui fait quoi Quelques r gles droits et devoirs Le L3 d informatique DI ES D E Es E LYON STIC les Sciences et Technologies de l information et de la Communication STIC impr gnent notre vie quotidienni Elles sont devenues incontournables dans tous les secteurs de l activit humaine m Une science au c ur d autres sciences A E E E e DI ENS DE LYON L informatique Du th orique au pratique a Mod les de calcul d cidabilit complexit a Th orie des langages logique a Architecture syst mes r seaux a D veloppement logiciel s Interfaces avec d autres disciplines a Info math physique chimie bio a Mod lisation simulation a Syst mes complexes RE M DI ENS DE LYON L informatique PENS sp cificit s m L3 et MASTER d informatique fondamentale un tutorat personnalis une formation obligatoire l anglais scientifique des projets logiciels des s jours l tranger 0D 0 0 0 Interdisciplinarit 1 Possibilit d obtention d un L3 de maths Lyon 1 1 Possibilit de suivre et valider des modules de maths ici a Agr gation de maths option informatique 2 Fili re Syst mes R seaux Complexes du Master ns en x RE x
6. I 2 tout changement avenant au contrat donc signaler rapidement Fiche rendre au secr tariat avant le 2 octobre 2015 apr s validation par le tuteur e ENS DE LYON Droits et devoirs Du fonctionnaire stagiaire a Loi n 83 634 du 13 juillet 1983 modifi e portant droits et obligations des fonctionnaires a Loi n 84 16 du 11 janvier 1984 modifi e portant dispositions statutaires relatives la fonction publique de l Etat D cret relatif l cole Normale Sup rieure de Lyon 1 Si absence alors justificatifs n cessaires De l tudiant de l ENS de Lyon a R glement int rieur amp guide des proc dures a Devoir d assiduit Cours TD TP obligatoires ns en x RE x DI ENS DE LYON Droits et devoirs de l tudiant du DI R glement du L3 2a A lire t te repos e r sum ci dessous m Respect des consignes administratives 2 Lire les emails administratifs a R pondre dans les temps Respect des engagements a plan d tude rendre avant le 2 octobre 2015 a Devoir d assiduit Cours TD TP obligatoires y ENS DE LYON Planning des r jouissances venir Entretiens individuels avec la direction du DI 2 Cette semaine environ 10 min chacun au bureau DI salle 309C 3 tage couloir transversal 2 Ordre de passage affich l entr e de Amphi B au secr tariat et l entr e du bureau 376N m D but des cours a Mercredi 9 septembre apr s demain
7. ignement orientation soutien a Enseignants et charg s de TD TP a Tuteur a Responsable du L3 s C t administration inscriptions conventions a Amel Zagrarni bureau au RdC c t Nord a Orianne Pelletier pour les sous a Direction des tudes Vololona Rajoelina e ENS DE LYON International Responsable International du DI Paulo Gon alves A Accords Erasmus UPC Bologne Amsterdam ETHZ Accord particulier EPFL double dipl me en discussion Autres accords Calgary Waterloo NTU IISc Bangalore Ca se pr pare au moins 6 moins l avance http www ens lyon eu international ns en x RE x DI ENS DE LYON Le dipl me de l cole mode d emploi m Avoir t inscrit au moins 2 ann es l ENSL a Et obtenir un Master avec M1 ou M2 l ENSL Et r aliser au moins 2 items parmi les suivants 2 Suivre une formation compl mentaire 2 cours alter disciplinaires lundi 16h30 18h30 ou valider 1 autre UE hors cursus 2 Faire de l international stage ou change a Responsabilit s diffusion administration association R glement http etudes ens lyon fr ES ER a RE x me M DI 12 ENS DE LYON Quelques r gles m Un tuteur pour chaque tudiant rencontrer une fois par mois environ 2 Signer avec son tuteur la charte tuteur tut Fiche de choix de modules 2 contrat entre tudiant tuteur responsable d ann e directeur D
8. ombres en alg bre en g om trie m Pr requis avoir une petite id e de ce qu est un algorithme ES a a RE e DI ENS DE LYON ASR1 Architecture et Syst me Responsable du cours Eddy Caron Charg s de TD TP Radu Carpa Bertrand Simon Violaine Villebonnet Comprendre le fonctionnement physique d une machine comprendre le fonctionnement des syst mes d exploitations Comment coder transformer m moriser transmettre traiter l information Alg bre bool enne circuits Structure d un OS gestion des ressources syst me des processus threads gestion m moire entr es sorties Pr requis pas de pr requis sp ciaux ENS DE LYON FDI Fondements Calculabilit Responsable du cours St phan Thomass m Charg s de TD Sebastian Barbieri Timoth e Pecatte Qu est ce qu un calcul Est ce que tout est calculable a Premiers mod les de calcul automates finis machines de Turing fonctions r cursives lambda calcul machines RAM x Th se de Church Turing quivalence de tous les mod les puissants connus m Calculable versus Non calculable des exemples de probl mes non calculables ind cidables m Pr requis les rappels sur les automates finis seront rapides En en x RE x DI ENS DE LYON PROG Th orie de la programmation m Responsable du cours Philippe Audebaud m Charg s de TD TP Anupam Das Fabrice Mouhartem Antoine Plet s Comment
9. portements transitoire et asymptotique marches al atoires m thode de Monte Carlo m Algorithmes randomis s m Pr requis outils classiques d analyse et d alg bre lin aire utile d avoir suivi ALGO1 pour certaines illustrations ns en x RE x DI ENS DE LYON PROJ2 Projet SAT Solver Responsables du cours Daniel Hirschkoff Olga Kupriianova Antoine Plet Conception d un solveur SAT on verra ce que c est avec diff rentes am liorations au cours du semestre Enrichissement de l algorithme test des performances extensions SAT Ce cours est ax pratique avec un travail en bin mes et une succession de rendus au cours du semestre Pr requis avoir suivi le cours Proj1 est recommand Il faut savoir programmer dans un langage courant Java C C Caml DI s ENS DE LYON ACM Projet Concours ACM Responsables du cours Eric Thierry Olga Kupriianova Matthieu Rosenfeld Algorithmique effective Pr paration au concours ACM Entrainement la r solution efficace de probl mes algorithmiques avec la recherche de compromis entre temps d ex cution de l algo et temps de d veloppement de l algo Perspectives pas obligatoires participation au concours international ACM automne 2014 round de qualifications printemps 2015 finale pour les qualifi s et aux autres concours Google Code Jam Facebook Hackers Cup Pr requis outils algorithmiques parfois sophi
10. stiqu s liaison forte avec les cours ALGOT et ALGO2 mm DI ENS DE LYON R glement L3 Obtenir un ensemble d UEs convenable gt 6GOECTS a Au moins 3 Cours de base par semestre a Projeti Programmation obligatoire au 1 semestre a Les deux cours d Anglais 1 amp 2 2 Stage de recherche obligatoire 2 Autres UEs choisir en IF ou ailleurs Cursus types a minima pour valider le L3 2 7 UE Informatique Projet1 autre Projet Anglais Stage 2 6 UE Informatique 2 UE Maths Projeti Anglais Stage a Plein d autres combinaisons Sans oublier UE Initiation la recherche pour le pr Master ENS DE LYON Planning venir soleil m Prochaines vacances le 24 octobre d j Visite du LIRMM Montpellier mi novembre http www lirmmfr LE M DI 34 ENS DE LYON Planning venir montagne Examens mi janvier 2016 Sport tude Q Semaine du 18 janvier 2015 m Election des d l gu s Al O L3 SKI 22 septembre 2015 e 35 ENS DE LYON
11. ts SIESTE r guliers Pr sence obligatoire a La semaine sport tude voir un peu plus loin Pr sence obligatoire Evalu e sur la base de l assiduit pour obtenir le pr Master dipl me n cessaire pour poursuivre en Master IF l ENS de Lyon DEN CREER RES DE e RE M DI 19 ENS DE LYON L3 les UEs en IF et ailleurs O trouver l info sur les UEs ext rieures Q s 5 L3 de sciences con ues comme des pr masters m web des 11 autres d partements de l cole a Universit de Lyon 1 www univ lyon1 fr ns en x RE x DI ENS DE LYON L3 de maths Lyon 1 Organisation Des polys de cours travailler soi m me Un super TD le jeudi apr s midi Lyon 1 Les examens du L3 de maths de Lyon 1 Module non math matique Un module qui n est pas en maths Qui ne compte pas pour un autre dipl me D un volume suffisant Ind pendant de la possibilit de suivre des cours du d partement de maths de l ENS DI 21 e ENS DE LYON ALGOIT Algorithmique m Responsable du cours Yves Robert Charg s de TD Julien Herrmann Svetlana Puzynina s Comment concevoir des algorithmes efficaces m Grands principes de conception diviser pour r gner programmation dynamique algos gloutons m Grands principes d analyse th or mes de correction et de complexit m llustrations vari es structures de donn es algos de recherche et de tri algos sur les mots sur les n
Download Pdf Manuals
Related Search