[PDF] Département Informatique ENS de Lyon

View - Download Département Informatique ENS de Lyon

Previous PDF

Next PDF

Département Informatique

ENS de Lyon

D. Stehlé & E. Thierry

http://www.ens-lyon.fr/DI/ 2 DI Plan "Qui fait quoi ? "Le L3 d'informatique 3 DI

STIC ?

"les Sciences et Technologies de

Communication(STIC)

imprègnent notre vie quotidienne. "Elles sont devenues incontournables dans tous les 4 DI

I·LQIRUPMPLTXH

"Du théorique au pratique: "Modèles de calcul, décidabilité, complexité "Théorie des langages, logique "Architecture, systèmes, réseaux "Développement logiciel "Interfaces avec d'autres disciplines: "Info math, maths info "Modélisation, simulation "Systèmes complexes 5 DI

I·LQIRUPMPLTXH j O·(16 VSpŃLILŃLPpV

"fondamentale

‰un tutorat personnalisé,

‰des projets logiciels,

"Interdisciplinarité ‰Possibilité de suivre et valider des modules de maths ici

‰Agrégation de maths option informatique

‰Filière Systèmes/Réseaux Complexes du Master 6 DI

I·LQIRUPMPLTXH j O·(16 VSpŃLILŃLPpV

"Une formation par et pourla recherche

‰tous vos enseignants font de la recherche

‰un contact très étroit avec les chercheurs duLIP

‰avec les centres de recherche : CNRS, INRIA

‰un séminaire scientifique hebdomadaire,

‰des visites de laboratoires,

‰des stages de recherche dans des laboratoires

7

I·LQIRUPMPLTXH j O·(16 ŃXUVXV

"Cursus orienté sur le long terme

‰L3 + MASTER + Stage pré-doc(4 ans)

‰L3 + MASTER + Agrégation (4 ans)

‰(3 ans)

"Débouchés

‰Recherche (CNRS, INRIA)

‰Enseignement ou enseignement et recherche

‰R&D en entreprise

DI 8 DI

I·LQIRUPMPLTXH j O·(16 GH HP IH3

Enseignement: Département (DI)

Recherche: Laboratoire (LIP)

YEnviron 100 membres

Y8 équipes de recherche

YDirection: Guillaume Hanrotet Isabelle Guérin Lassous

YUMR CNRS-ENSL-Lyon 1 associée à INRIA

9 DI

Qui fait quoi au département (DI) ?

"Equipe de direction:

‰Damien Stehlé(DI)

‰Stéphan Thomassé(MASTER)

‰Daniel Hirschkoff(M1)

‰EricThierry (L3)

10 DI

Qui contacter?

"Côté enseignement(orientation, soutien): "Enseignants et chargés de TD/TP "Tuteur "Responsable du L3 "Côté administration(inscription, conventions) : "Nicole Meftah(bureau au RdC, côté Nord) "Axelle Ojeda(pour les sous) "Direction des études: VololonaRajoelina 11 DI

International

Responsable Internationaldu DI :

Paulo Gonçalves

Accords Erasmus :

Autres accords : Calgary, Waterloo, NTU, IISc

http://www.ens-lyon.eu/international/ 12 DI

Le diplôme de l'école

"S'êtreinscritau moins2 années "Obtenirun Master, avec M1 ouM2 à l'ENSL

ET 2 PARMI LES 3 SUIVANTS

"Formation complémentaire

2 coursalters (Lundi16h30 -18h30)

ouautreUE hors cursus "International : stage ouéchange "Responsabilités: diffusion, administration, association

Règlement: http://etudes.ens-lyon.fr/

13 DI

4XHOTXHV UqJOHV"

"Un tuteur pour chaque étudiant

‰À rencontrer une fois par mois environ

"Fiche de choix de modules

‰AEcontrat entre:

‰AEtout changement == avenant au contrat

‰A rendre avant le ***3 octobre 2014***

14 DI

GURLPV HP GHYRLUV"

"Du fonctionnaire stagiaire ‰Loi nr83-634 du 13 juillet 1983 modifiée portant droits et obligations des fonctionnaires ‰Loi nr84-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

‰Si absence, alors justification !

"De l'étudiant de l'ENS de Lyon ‰Règlement intérieur & guide des procédures ‰***Devoir d'assiduité***: Cours et TD obligatoires. 15 DI

Droits et devoirs de l'étudiant du DI

"Règlement du L3 ‰A lire à tête reposée (résumé ci-dessous) "Respect des consignes administratives

‰Lire les emails administratifs

‰Répondre dans les temps

"Respect des engagements ‰plan d'étudeà rendre avant le ***03/10/2014*** ‰***Devoir d'assiduité***: Cours et TD obligatoires. 16 DI

IM YLH j O·(16 GH I\RQ

quelques conseils "Se trouver une activité autre que les études "Faire la fête avec modération, en particulier dans les 17 DI

Planning des réjouissances à venir

"RdVavec la direction du DI

‰Ordre alphabétique, un par un

‰Cf. affichages, au secrétariat du DI et au 376N "Début des cours

Mercredi 11 septembre (demain !) à 15h45

"Pot du DI Lundi 15 septembre à 16:00 (salle passerelle) 18 DI

Divers

"Possibilité d'emprunter au DI des ordinateurs portables : => contacter Alexandre Isoard "Possibilité de monter des groupes de lecture => voir avec les enseignants "Un alias pour vous : etudiants.l3.informatique@ens-lyon.fr "N'oubliez pas d'aller vous inscrire à l'université

Lyon 1. C'est indispensable !

=> Infos pratiques dans les prochains jours 19 DI

L3 : les UEs en IF et ailleurs

"Cours de base = 32h cours + 32h TD/TP (6 ECTS) "Projet = 32h cours + travail solo ou en groupe (6 ECTS)

1er SEMESTRE2ème SEMESTRE

Cours de base

ALGO1 AlgorithmiqueASR1 Architecture & SystèmeFDI Fondements de l'informatiquePROG Théorie de la programmation

Projet

PROJ1 Projet Programmation

Obligatoire

Anglais 1 (3 ECTS)

Cours de base

ALGO2 Algorithmique avancéeASR2 Système & RéseauxLOG LogiquePROBA Probabilités

Projets

PROJ2 Projet SAT-SolverACM Concours ACM

Obligatoire

Anglais 2 (3 ECTS)

20 DI

L3 : les UEs en IF et ailleurs

Une UE particulière = UE Initiation à la recherche, avec : "Les séminaires des étudiants SIESTE (réguliers)

Présence obligatoire.

"La semaine sport/étude (voir un peu plus loin)

Présence obligatoire.

"Le stage de recherche en laboratoire, d'au moins 6 semaines en été. Obligatoire. Cette UE est évaluée et ***à valider***pour obtenir le pré-

Master du département d'informatique.

Pré-Master: diplôme nécessaire pour poursuivre en

Master IF à l'ENS de Lyon.

21
DI

L3 : les UEs en IF et ailleurs

"Oùtrouverl'infosurles UEs extérieures? ‰ENS de Lyon > Études> Offrede formation > Licence "5 L3 de sciences, conçuescommedes pré-masters

‰ENS de Lyon > Études> Départements

"web des 11 autresdépartementsde l'école ‰Universitéde Lyon 1: www.univ-lyon1.fr 22

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 : "Qui ne compte pas pour un autre diplôme "Indépendant de la possibilité de suivre des DI 23
DI

ALGO1 -Algorithmique

"Responsabledu cours: Yves Robert "Chargés de TD : AurélieLagoutte& Antoine Plet "Comment concevoirdes algorithmesefficaces? "Grandsprincipesde conception : diviser-pour-régner, programmationdynamique, algosgloutons "Grandsprincipesd'analyse: théorèmesde correction et de complexité "Illustrations variées: structures de données, algosde rechercheet de tri, algossurles mots, surles nombres, en algèbre, engéométrie... "Prérequis: avoirunepetite idée de cequ'estun algorithme 24
DI

ASR1 ²Architecture et Système

"Responsabledu cours: Eddy Caron "Chargés de TD/TP : Julien Bensmail, MatthieuRosenfeld et Arnaud Lefray "Comprendrele fonctionnementphysique d'unemachine, comprendrele fonctionnementdes systèmesd'exploitations "Comment coder, transformer, mémoriser, transmettre, traiter l'information? "Algèbrebooléenne, circuits "Structure d'un OS : gestiondes ressourcessystème, des processus, threads, gestionmémoire "Prérequis: pas de prérequisspéciaux 25
DI

FDI ²Fondements/Calculabilité

"Responsabledu cours: Pascal Koiran "Chargés de TD : Fabio Zanasi& Irena Penev "Qu'est-cequ'uncalcul? Est-cequetout estcalculable ? "Premiers modèlesde calcul: automates finis, machines de Turing, fonctionsrécursives, lambda-calcul, machines RAM ... "Thèsede Church-Turing (équivalencede tousles modèlespuissantsconnus) ""Calculable» versus "Non-calculable» : des exemplesde problèmesnon calculables(indécidables) "Prérequis: les rappels surles automates finis serontrapides 26
DI

PROG²Théorie de la programmation

"Responsabledu cours: Daniel Hirschkoff "Chargés de TD/TP :

Jean-Marie Madiot& Alexandre Isoard& Antoine Plet

"Comment décrireet analyserrigoureusementdes programmes? "Sémantiquedes langagesde programmation, typage, logique, un peude compilation. "Initiation à l'outilCoq (démonstrationassistéepar ordinateur) "Prérequis: unevague idée de cequ'estla programmation (p.ex. enCamlpour aider à appréhenderCoq, maiscen'est pas indispensable). 27
DI

PROJ1 ²Projet Programmation

"Intervenants: Omar Fawzi, AurélieLagoutte& AurélienCavelan "Apprentissage/ perfectionnementenprogrammation "Acquisition des bases de deuxlangagesparmitrois:

C, Camlet Java

"Acquisition de bonneshabitudes de génielogiciel, à la rédactiond'un rapport et de transparentsde présentation "Séances de cours/ TP et réalisationde mini-projets "Prérequis: ne pas êtreinhibépar la programmation, et suivre le coursd'ALGO1 estrecommandé. 28
DI

ALGO2 ²Algorithmique avancée

"Responsabledu cours: Anne Benoit "Suite du coursd'ALGO1 "Complémentssurles grandsprincipeset les structures de données. "Algorithmiquedes graphes, des mots "Algorithmiqued'optimisation "Prérequis: ALGO1. 29
DI

ASR2 ²Système & Réseaux

"Responsabledu cours: Anne Benoit "Comprendreles fonctionnementsdes systèmesd'exploitation et des réseauxde communications. "Conception des systèmesd'exploitation: structure globale d'un OS (rappel du coursASR1), problèmesde synchronisationdes processuset interblocages, ordonnancement, gestionde la mémoireet mémoirevirtuelle. "Structure des réseauxde communication : architecture des réseaux, protocolesde communications (MAC, TCP/IP), algorithmesde routage, controle "Prérequis: programmation; ASR1. 30
DI

LOG ²Logique

"Responsabledu cours: NatachaPortier "Toutela logiquemathématiquede l'antiquitéau tournantdes années1930 ! "Introduction à la théorienaïve des ensembles "Théoriesdu 1er ordre(langagesdu 1er ordre, systèmesde déduction, arithmétiquede Peano, théoriedes ensembles de

Zermelo-Frankel)

"Prérequis: les quelquesnotions de logiquequi ontpuvous 31
DI

PROBA -Probabilités

"Responsabledu cours: Pascal Koiran "Un coursde probabilitésavec illustrations eninformatiqueet encombinatoire. "Probabilitésélémentaires: variables aléatoires, espérance, loi classiques, inégalités... "Chaînesde Markov discrètes: comportementstransitoireet asymptotique, marches aléatoires, méthodede Monte-Carlo "Algorithmesrandomisés "Prérequis: outilsclassiquesd'analyseet d'algèbrelinéaire, utile d'avoirsuiviALGO1 pour certainesillustrations. 32
DI

PROJ2 ²Projet SAT-Solver

"Responsabledu cours: Daniel Hirschkoff "Conception d'un solveurSAT (on verracequec'est), avec différentesaméliorationsau coursdu semestre. Enrichissementde l'algorithme, test des performances, extensions à SAT... "Ce coursestaxé" pratique», avec un travail enbinômes, et unesuccession de rendusau coursdu semestre. "Prérequis: avoirsuivile coursProj1 estrecommandé. Il faut savoir programmer dansun langage"courant" (Java, C/C++,

Caml).

33
DI

ACM ²Projet Concours ACM

"Responsablesdu cours: Eric Thierry "Algorithmiqueeffective / Préparationau concoursACM "Entrainementà la résolutionefficacede problèmes algorithmiques, avec la recherchede compromisentre temps d'exécutionde l'algoet temps de développementde l'algo. "Perspective (pas obligatoire) : participation au concours international ACM (automne2014 : round de qualifications, printemps2015 : finale pour les qualifiés). "Prérequis: outilsalgorithmiquesparfoissophistiqués, liaison forte avec les coursALGO1 et ALGO2. 34
DI

Règlement L3

"60ECTS

‰Au moins 3 Cours de base par semestre

‰Au moins 1 Projet sur l'année

‰Les deux cours d'Anglais 1 & 2

‰Autres UEs (à choisir en IF ou ailleurs)

"Cursus types (a minima pour valider le L3)

‰7 UE Informatique + 2 Projets + Anglais

‰6 UE Informatique + 2 UE Maths + 1 Projet + Anglais

‰Plein d'autres combinaisons ...

"UE Initiation à la recherche (dont stage d'été) obligatoire pour le pré-Master uniquement 35
DI

Planning à venir (soleil)

"Prochaines vacances le 25 octobre (ouf !) "Visite du LIRMM, à Montpellier mi-novembre https://www.lirmm.fr/ 36
DI

Planning à venir (montagne)

"Examens mi-janvier 2015 "Sport étude

Semaine du 19/01/2015

"Election des délégués

L3 + SKI (23 sept 2014)

quotesdbs_dbs17.pdfusesText_23

[PDF] INFORMATIQUE FRONTPAGE Programme de Formation

[PDF] Informatique Générale Brève introduction à Internet

[PDF] Informatique générale et éditeurs Management Banque et finance - Conception

[PDF] Informatique I

[PDF] Informatique II : [5pt] Cours de programmation (C++) [5pt

[PDF] informatique industrielle - Fabrication

[PDF] Informatique Industrielle - dynamic process automation

[PDF] Informatique industrielle : Les automates.

[PDF] Informatique Industrielle.

[PDF] Informatique INGENIEUR QUALITE

[PDF] Informatique INGENIEUR QUALITE PROCESSUS TRANSVERSES

[PDF] Informatique international

[PDF] Informatique légale : Forensic - Anciens Et Réunions

[PDF] Informatique Macros en VBA / Excel - Email

[PDF] informatique master 1 - Sites personnels de TELECOM ParisTech