ENSIIE BROCHURE DES ENSEIGNEMENTS

Transcription

1 ENSIIE BROCHURE DES ENSEIGNEMENTS Table des matières Les semestres 1 et Semestre [IPI] Programmation impérative...9 [MOM] Outils mathématiques...10 [IPF] Programmation fonctionnelle...12 [IBD] Conception de bases de données relationnelles...13 [ISI] Systèmes informatiques...14 Systèmes d exploitation Programmation assembleur et composante «matériel»...15 [MPR] Probabilités...16 [MTG] Graphes et optimisation...17 [ECO1] Économie gestion...18 Micro-économie...18 Gestion comptable et financière...19 Droit civil et bancaire...20 [LVFH1] Langues vivantes et formation humaine...21 Langue vivante 1 : anglais...21 Langue vivante La communication au service de l étudiant...23 [MCI] Compléments : Calcul Intégral...24 [MSM] Compléments : soutien en mathématiques...25 Semestre [PAL] Programmation avancée et logique...27 Programmation avancée...27 Logique...28 [PWR] Programmation web et réseaux...30 Programmation web et SIA...30 Systèmes d exploitation 2 et réseaux...31 [MST] Statistiques...32 [OPTI] Optimisation mathématique...34 [MAN] Analyse numérique...35 [PROJ] Projets informatique et mathématique...37 Projet informatique...37 Projet Web...37 Projet mathématique...38 [ECO2] Économie gestion...39 Macro-économie...39 Gestion des investissements et des projets...40 Analyse financière en banque et entreprise...41 Initiation à l entrepreneuriat...41 p. 1

2 [LVFH2] Langues vivantes et formation humaine...43 Langue vivante 1 : anglais...43 Langue vivante La communication au service de l étudiant...45 [MTEF] Compléments : Topologie et espaces de fonctions...46 Les semestres 3 et Semestre [ILO] Langages objet...49 [LFC] Langages formels et compilation...50 Langages et systèmes formels...50 Compilation...51 [SRM] Sécurité réseau et middleware...53 [MRO] Recherche opérationnelle...54 [MAD] Analyse de données...56 [VVL] Validation et vérification du logiciel...57 [ECO3] Économie gestion...58 Introduction aux marchés financiers...58 Modélisation macro-économique...59 Conférences...60 Droit civil et informatique...61 [LVFH3] Langues vivantes et formation humaine...63 Langue vivante 1 : anglais...63 Langue vivante La communication au service de l entreprise...65 Semestre 4 (Options)...66 [ANU] Conception d'une œuvre numérique...68 [ASN] Algorithmes semi-numériques...69 Arithmétiques entières...69 Arithmétiques polynomiales...70 [CAL] Modèles de calculs...71 [CORO] Compléments et outils de recherche opérationnelle...72 [CC] Creative Coding...73 Module 1 : Initiation aux arts et cultures numériques (6 séances)...73 Module 2 : Conception d'un projet créatif (6 séances)...74 [IA1] Intelligence Artificielle...75 [PRB] Pattern Recognition and Biometrics...76 [IMF] Instruments et modèles financiers...77 Modèles discrets en finance...77 Instruments financiers...78 [IRA] Images et réalité augmentée...79 Vision artificielle et réalité augmentée...79 Projet de réalité augmentée...80 [LOA] Langages objets avancés...81 Concepts objets avancés...81 Projet...82 [MCS] Calcul stochastique...83 [MFDLS] Méthodes formelles pour le développement de logiciels sûrs...84 [MNS] Méthodes numériques de simulation...85 p. 2

3 Méthodes de simulation...85 Analyse numérique des EDP...86 [MOST] Modélisation statistique...87 Introduction à l apprentissage statistique...87 Régression avancée...88 [PCV] Programmation concurrente et vérification...89 Concepts et model-checking...89 Programmation concurrente en Java...90 [PST] Processus stochastiques...91 [RIAL] Réseaux IP et administration LAN...92 Administration d un LAN...92 Réseaux IP...93 [AUTO] Automatique...94 [RVIG] Réalité virtuelle et informatique graphique...96 Fondements de la Réalité Virtuelle (RV)...96 Informatique Graphique (IG)...97 Projet de réalité virtuelle et informatique graphique...97 [SE1] Systèmes d exploitation [SE2] Systèmes d exploitation Architectures matérielles Projet [SIP1,SIP2] Système d'information Privacy by Design 1 et [SSI] Sécurité des systèmes d information [BIOINFO] Bio-informatique Introduction à la bioinformatique Projet Bioinformatique [PRR] Projet Recherche [Stra-FAIN-LMG] Fondements et algorithmes d'imagerie numérique et Logiciels et matériels graphiques Fondements et algorithmes d'imagerie numérique Logiciels et matériels graphiques [Stra-ALGOAV-IP-SEM] Algorithmique avancée, ingénierie de la preuve et sémantique Algorithmique avancée Ingénierie de la preuve Sémantique [Stra-BDM-CAO-TI] Banque de données multimédia, Courbes et surfaces pour CAO, Traitement d'image Banque de données multimédia Courbes et surfaces pour CAO Traitement d images [Stra-EDID-EXMOCO-FD] Entrepôt de données et informatique décisionnelle, Extraction et modélisation de connaissances et Fouilles de données Entrepôt de données et informatique décisionnelle Extraction et modélisation de connaissances Fouilles de données [Stra-OPST-BIO] Optimisation stochastique et Problèmes et méthodes algorithmiques en bio-informatique p. 3

4 Optimisation stochastique Problèmes et méthodes algorithmiques en bio-informatique [Stra-SIMU] Simulation [Stra-PROJS4] Projet R&D S [Stra-.NET] Développement en.net [ECO4] Économie gestion Intelligence économique et stratégie d entreprise Stratégie des grandes entreprises Entreprise et stratégie financière et fiscale [LVFH4] Langues vivantes et formation humaine Langue vivante 1 : anglais Langue vivante La communication au service de l entreprise Le semestre 5 (les options) [ECOFH 1] Tronc commun Jeu d entreprises Séminaires professionnels et scientifiques [ECOFH 2] Tronc commun 2 : économie et formation humaine Management de projet Marketing appliqué au NTIC Formation humaine La société de l information [AEBI] Architecture d entreprise et Business Intelligence Architecture d'entreprise et ERP Business Intelligence and Business Analytics [ESFI] Entreprise et stratégie financière et fiscale internationale Entreprise et stratégie financière [GDA] Gestion et droit des affaires [GPA] Gestion de projet avancée Gestion de projet classique Gestion de projet agile [MAF1] Marchés financiers Modèles de courbes de taux Statistique non paramétrique Conférences professionnelles [MAF2] Marchés financiers Couverture et gestion des risques Instruments financiers II Conférences professionnelles [MGMT] Management Savoir manager la relation avec l utilisateur Les ERP et le changement La fonction humaine et les systèmes d'information [MOD1] Modélisation statistique Séries temporelles à variables latentes Modèles de durée [MOD2] Modélisation statistique SAS et Data Mining p. 4

5 Projet modélisation [MQF1] Méthodes numériques pour la finance [MQF2] Calcul stochastique avancé [NTOE] Nouvelles technologies et organisation des entreprises NTIC et start up NTIC et grandes entreprises [OPTI1] Optimisation Complexité des algorithmes Recherche opérationnelle Méthodes polyédriques [OPTI2] Optimisation Conception et optimisation des réseaux Étude de cas [PROG1] Programmation raisonnée Preuve formelle mécanisée Sémantique des langages de programmation [PROG2] Programmation raisonnée Analyse statique Projet [RESO1] Réseaux avancés bases théoriques [RESO2] Réseaux avancés Approfondissements pratiques [SEC] Sécurité [WIA1] Web sémantique, extraction et recherche d information Fondements du traitement automatique de la langue (TAL) Apprentissage artificiel [WIA2] Web sémantique, extraction et recherche d information Apprentissage Artificiel Recherche d informations multimédia Applications [Stra-MAG-TIGD] Modélisation et Algorithmique géométrique, Traitement d images et géométrie discrète Modélisation et Algorithmique géométrique Traitement d images et géométrie discrète [Stra-IIRV-VV] Ingénierie de l interaction et réalité virtuelle, Visualisation et Vision par Ordinateur Ingénierie de l interaction et réalité virtuelle Visualisation et Vision par Ordinateur [Stra-CPG-CERLOG] Constructions et preuves en géométrie, Certification du logiciel..181 Constructions et preuves en géométrie Certification du logiciel [Stra-DADI] Données et Applications distribuées [Stra-RECH-CERLOG] Recherche et Certification du logiciel Recherche Certification du logiciel [Stra-DPI] Droit et propriété intellectuelle [Stra-PROJS5] Projet R&D S [Stra-SG] Serious Games Langages pour les Serious Games et les RIA-RDA p. 5

6 Design graphique des Serious Games Scénarios et apprentissage pour les Serious Games Projet [Stra-GPQ] Gestion de Projets et Qualité Gestion de projets Qualité Conduite du changement p. 6

7 Les semestres 1 et 2 Les premier et deuxième semestres sont entièrement composés d unités d enseignement de tronc commun. Ils visent à fixer des bases théoriques et scientifiques fortes sur lesquelles les élèves pourront s appuyer pour développer leur formation d ingénieur et construire leur projet. L objectif de ces semestres est ainsi de fournir la compréhension d outils dont les futurs ingénieurs auront à se servir pour innover et résoudre de nouveaux problèmes. Les élèves y acquièrent les concepts fondamentaux en mathématiques et informatique. Ils sont également initiés à l économie, à la gestion et aux problèmes de droit. Comme tout au long de la scolarité à l ENSIIE, un large éventail de langues vivantes est proposé, en plus de la formation en anglais, pour faciliter et favoriser une ouverture internationale forte. L école s efforce de maintenir les élèves dans une pratique régulière des langues vivantes et d éviter autant que possible les périodes d interruption. Des enseignements complémentaires de mathématiques sont également dispensés. La première UE complémentaire permet de renforcer les connaissances de certains élèves afin de garantir au mieux leur succès dans la suite de la formation. Les élèves qui souhaitent approfondir leur connaissance en mathématiques pourront choisir de suivre les deux autres UE complémentaires (une par semestre). Les UE techniques demandent 42h de présentiel et valident 4 ECTS, les UE de formation humaine/langue/économie-gestion demandent 45h30 de présentiel et valident 3 ECTS. p. 7

8 Semestre 1 Organisation. Enseignements Obligatoires Programmation Impérative (IPI) ou Outils mathématiques (MOM) Probabilités (MPR) Concept de bases De données Relationnelles (IBD) Economie et Gestion (ECO1) Programmation Fonctionnelle (IPF) Graphe et Optimisation (MTG) Systèmes Informatiques (ISI) Langues vivantes Formations Humaines (LVFH1) Enseignements Complémentaires Calcul Intégral (MCI) Soutiens en mathématiques (MSM) TABLE 1 : Les différentes UE d'enseignements du S1 p. 8

9 [IPI] Programmation impérative Responsable de l UE Prérequis Xavier Urbain Aucun Un projet (1/3) + contrôle continu (2/3) Un examen sur table qui remplace tout - Cours : 8 séance(s) - TD : 4 séance(s) - TP : 12 séance(s) Le cours a pour ambition de donner aux élèves la possibilité de choisir ou concevoir la structure de données adaptée à la résolution de leur problème et ensuite de choisir le langage et le style de programmation les plus confortables pour l exploiter dans le cadre d une démarche d ingénieur. Le cours de programmation impérative introduit les structures de données modifiables et les effets de bord. Il précède le cours de programmation fonctionnelle organisé autour de la notion de structure de données persistante ; l utilisation conjointe des paradigmes étant abordée en programmation avancée. Modèle mémoire, base de la syntaxe, structures statiques : tableaux, algorithmes sur les tableaux, structures dynamiques (allocation/libération). p. 9

10 [MOM] Outils mathématiques Responsable de l UE Prérequis Christophe Mouilleron Aucun Contrôle continu Examen écrit - Cours : 12 séance(s) - TD : 12 séance(s) L objectif est d offrir aux étudiants une base solide en mathématiques qui leur permettra d aborder plus sereinement les autres enseignements de mathématiques et d informatique. Certaines notions mathématiques utiles pour un futur ingénieur sont abordées pendant les séances de cours. Ces notions seront ensuite manipulées intensivement par les étudiants lors des séances de travaux dirigés, afin d en permettre une bonne assimilation. Le module est composé de deux parties (Analyse et Algèbre) enseignées en parallèle. Les points suivants seront abordés dans la partie Analyse : Fonctions d une variable réelle, Étude de comportements asymptotiques, développements limités, Intégrabilité, calcul d intégrales, Suites et séries numériques, Séries entières, Fonctions à plusieurs variables. La partie Algèbre portera, elle, sur : Nombres complexes, Polynômes, p. 10

11 Espaces vectoriels, calcul matriciel, Réduction d endomorphismes et applications. Le contrôle continu sera réalisé sous la forme d interrogations écrites régulières tout au long du déroulement du module. p. 11

12 [IPF] Programmation fonctionnelle Responsable de l UE Xavier Urbain Un projet (1/5) + un contrôle continu (1/5) + un examen sur table (3/5) Un examen sur table qui remplace tout - Cours : 9 séance(s) - TD : 3 séance(s) - TP : 11 séance(s) - Examen : 1 séance(s) Le cours a pour ambition de donner aux élèves la possibilité de choisir ou concevoir la structure de données adaptée à la résolution de leur problème et ensuite de choisir le langage et le style de programmation les plus confortables pour l exploiter dans le cadre d une démarche d ingénieur. Faisant suite au cours de programmation impérative (page 9) qui introduit les données modifiables, il est organisé autour de la notion de structure de données persistante ; l utilisation conjointe des paradigmes étant abordée en programmation avancée (page 27). Ici on s attachera à casser quelques idées reçues sur le style fonctionnel et à définir des structures caractéristiques en mettant en avant les notions de persistance et l ordre supérieur. En séances de travaux dirigés les élèves sont sensibilisés aux notions de sûreté de fonctionnement et de preuve de programme, plus abordables dans un cadre persistant. Le cours est illustré dans le langage ocaml. - Noyau fonctionnel et exceptions, - Types sommes, types inductifs, - Ensembles comme : Liste, ABR, Arbres AVL, - Structures d associations, arbres de suffixes, zippers. Itérateurs sur ces structures, - Un point sur les modules et foncteurs. Le projet prend la forme d un problème dont la résolution impose la mise en place et l exploitation de structures assez avancées. p. 12

13 [IBD] Conception de bases de données relationnelles Responsable de l UE Prérequis Marie Szafranski Aucun TP notés (1/2) + examen écrit (1/2) Examen écrit ou oral dépendant de l'effectif. - Cours : 8 séance(s) - TD : 6 séance(s) - TP : 6 séance(s) - Examen : 1 séance (DS) + 2 TP notés Cette UE a pour objectif de présenter les concepts méthodologiques et techniques des bases de données relationnelles. À la fin de cette UE, les élèves devront être capables de concevoir une base de données relationnelle normalisée, de la créer en garantissant la cohérence et l intégrité de ses données, et de tirer partie de ses informations. 1. Introduction : notions générales, 2. Modélisation conceptuelle (diagrammes de classes UML // modèle Entité Association de Merise), 3. Modélisation relationnelle, 4. SQL : langage de définition, de manipulation et de contrôle des données, 5. Normalisation des bases de données, 6. SQL avancé : PL/pgSQL (fonctions, curseurs, triggers), 7. Transactions. p. 13

14 [ISI] Systèmes informatiques Responsable de l UE Prérequis Module 1 Module 2 Ivan Augé Aucun Donner aux élèves des connaissances indispensables et fondamentales des couches basses du logiciel. Systèmes d exploitation 1 (Coef. 0.5) Programmation assembleur et composante «matériel» (Coef. 0.5) Systèmes d exploitation 1 TP noté Devoir sur table sans document - Cours : 2 séance(s) - TD : 5 séance(s) - TP : 3 séance(s) + TP noté - Maîtriser l écriture de scripts simples. - Comprendre la gestion des diverses activités à travers les notions de processus et de thread. - Comprendre les différentes étapes de la construction d exécutables, compilation, édition des liens et rôles des bibliothèques. Interpréteur de commandes, scripts pour l interpréteur de commandes, gestion des activités, constructions et exécution de programmes. p. 14

15 Programmation assembleur et composante «matériel» TP noté Devoir sur table sans document - Cours : 4 séance(s) - TD : 4 séance(s) - TP : 4 séance(s) + TP noté - Maîtriser les codages binaires usuels, - Maîtriser les notion de mémoire et registre, - Maîtriser les modes d'adressage, - Maîtriser la notion de pile. 1) codages binaires usuels. 2) Introduction à l'assembleur. 3) Instructions de base. 4) Modes d'adressage. 5) Pile et fenêtre de pile. 6) C/Assembleur. 7) Modification d exécutables. p. 15

16 [MPR] Probabilités Responsable de l UE Prérequis Vathana Ly Vath Cours complémentaire de Calcul Intégral (MCI) recommandé. Contrôle continu (CC) et examen final (EF) Note finale = max CC EF ; EF Examen écrit (ou oral si effectif faible) - Cours : 11 séance(s) - TD : 12 séance(s) - Examen : 1 séance Ce cours a pour but de familiariser les élèves avec les bases de la théorie des probabilités qui seront par la suite utiles pour aborder des cours plus élaborés notamment en modélisation statistique (page 151), processus stochastiques (page 91) et en finance mathématique. - Espaces de probabilités, - Variables aléatoires discrètes (réelles ou vectorielles), - Variables aléatoires à densité (réelles ou vectorielles), - Fonctions caractéristiques, - Convergence et Théorèmes limites, - Vecteurs gaussiens - Simulations et applications p. 16

17 [MTG] Graphes et optimisation Responsable de l UE Prérequis Alain Faye Aucun Contrôle continu sur 4 ou 5 points + examen final avec document noté sur 15 ou 16. Examen écrit sans document. - Cours : 11 séance(s) - TD : 12 séance(s) - Examen : 1 séance Ce cours présente les bases de la théorie des graphes qui ouvre un grand champ de modélisation conduisant à des solutions efficaces pour de nombreux problèmes dans divers domaines : planification, logistique, transport Il aborde également la notion d optimisation discrète (recherche opérationnelle) et l algorithmique de graphes. - Définitions de base, parcours de graphes, - Connexité, forte connexité, fermeture transitive, - Notions de complexité, - Stabilité, noyaux, coloration, - Cycles, planarité, - Arbres, couplage : définitions et algorithmes, - Chemins optimaux, - Ordonnancements. p. 17

18 [ECO1] Économie gestion Responsable de l UE Prérequis Module 1 Module 2 Module 3 Patrick Godard Aucun Micro-économie (Coef. 1/2) Gestion comptable et financière (Coef. 1/2) Droit civil et bancaire (Coef. 0) Micro-économie Examen écrit Examen écrit - Cours : 0 - TD : 8 séance(s) - Examen : 1 séance(s) Donner les bases de l environnement économique et présenter les fondements des échanges marchands de l entreprise. Analyser et prédire le comportement d agents dans un environnement économique, technique et social donné. Analyser et prédire les interactions sociales entre agents résultant de ces comportements. Analyser le produit de ces interactions, qu il s agisse d institutions chargées de les organiser ou du résultat du jeu de mécanismes d interaction moins formalisés comme les échanges. - Introduction : principales notions et concepts de base, les acteurs de l économie et démarches micro-économique et macro-économique. - Micro-économie en marchés parfaits : théorie du consommateur (consommation, p. 18

19 épargne, offre de travail) ; théorie du producteur (fonction de production, rendements) ; loi de l offre et de la demande ; optimum et équilibre général, coûts d opportunité, coûts irrécupérables, coût marginal ; traitement du risque et de l incertitude. - Micro-économie en marchés imparfaits : monopoles/oligopoles, information imparfaite, intervention publique. Gestion comptable et financière Examen écrit Examen écrit - Cours : 0 séance - TD : 8 séance(s) - Examen : 1 séance(s) Présenter la comptabilité comme système d information à de futurs informaticiens de gestion, appelés à coopérer avec les services comptables des entreprises. Une entreprise, quelle que soit sa taille, est un agent économique qui ne fait pas autre chose que consommer des biens et des services des autres agents économiques et produire des biens et des services pour les autres agents économiques. La comptabilité générale, justement, saisit ces flux, ces mouvements de production et de consommation. L environnement de l entreprise, les finalités de l entreprise, la pérennité de l entreprise étant constamment remis en question, la comptabilité qui saisit et traite de l information économique doit bien évidemment s adapter. Les règles comptables françaises évoluent dans un autre contexte international en pleine mutation avec l émergence des normes internationales, les IFRS. Le droit comptable est donc adapté pour être plus réactif. Les règles comptables applicables aux comptes annuels des entreprises et notamment des PME ont connu une véritable révolution. Certains fondamentaux de la comptabilité à la française ont été revus. 1. Gestion comptable : image fidèle, quatrième directive, normes ; notion de patrimoine ; comptes de bilan ; bilan ; comptes de gestion ; compte de résultat ; organisation comptable ; journal, grand livre, balance ; facturation ; travaux d inventaire : amortissements, provisions, charges à payer, produits à recevoir révision d écritures fondamentales. p. 19

20 2. Gestion financière : compte de résultat fonctionnel et différentiel ; bilan fonctionnel et financier ; ratio ; seuil de rentabilité ; soldes intermédiaires de gestion ; fonds de roulement et besoin en fonds de roulement ; capacité d autofinancement ; tableau de financement. Droit civil et bancaire - Cours : 6 séance(s) - Développer des aptitudes dans la recherche de l information juridique : étude des sites juridiques tels que Légifrance ; le ministère de la Justice ; Service public ; INPI ; CNIL - Rechercher des textes législatifs et effectuer des recherches jurisprudentielles. - Connaître le système judiciaire français et se familiariser avec le vocabulaire juridique. 1. Les cadres juridiques de l activité bancaire 2. Les fichiers bancaires 3. Le chèque 4. Le crédit à la consommation 5. Le crédit immobilier 6. Le droit au compte 7. Les garanties p. 20

21 [LVFH1] Langues vivantes et formation humaine Responsable de l UE Prérequis Module 1 Module 2 Module 3 Laurence Bourard Aucun Rendre les étudiants capables de communiquer, comprendre et se faire comprendre en anglais. Mener l ensemble des groupes au minimum vers le niveau B2 du CECRL (Cadre Européen Commun de Référence pour les Langues). Préparation au TOEIC. Langue vivante 1 : anglais (Coef. 1) Langue vivante 2 (Coef. 1) La communication au service de l étudiant (Coef. 1) Langue vivante 1 : anglais 20% : assiduité (note nulle si plus de deux absences sans justification valable) 40% : contrôle continu (notes obtenues pendant les séances du semestre) 40% : examen final Examen oral ou écrit en fonction du nombre d élèves concernés - Cours : 10 séance(s) Rendre les étudiants capables de communiquer, comprendre et se faire comprendre en anglais. Mener l ensemble des groupes au minimum vers le niveau B2 du CECRL (Cadre Européen Commun de Référence pour les Langues). Préparation au TOEIC. Travail à partir de documents authentiques pris dans la presse anglophone, extraits d enregistrements audio et vidéo. Entraînement au TOEIC. Travail sur la compétence p. 21

22 linguistique et l acquisition de vocabulaire. Travail sur la prise de parole en continu, sur la capacité à prendre part à une conversation en anglais, sur la compréhension écrite et orale ainsi que sur l expression écrite. Langue vivante 2 20% : assiduité (note nulle si plus de deux absences sans justification valable) 40% : contrôle continu (notes obtenues pendant les séances du semestre) 40% : examen final Examen écrit - Cours : 10 séance(s) Rendre les étudiants capables de communiquer, comprendre et se faire comprendre en une langue étrangère, au choix : - Allemand, - Arabe (cours à Telecom Sud-Paris), - Anglais soutien, - Chinois, - Espagnol, - Français langue étrangère, - Italien (cours à Telecom Sud-Paris), - Japonais, - Portugais, - Russe. Travail à partir de documents authentiques pris dans la presse de la langue ciblée, extraits d enregistrements audio et vidéo. Travail sur la compétence linguistique et l acquisition de vocabulaire. Travail sur la prise de parole en continu, sur la capacité à prendre part à une conversation, sur la compréhension écrite et orale ainsi que sur l expression écrite. p. 22

23 La communication au service de l étudiant 20% assiduité 40% contrôle continu 40% examen écrit ; deux absences non justifiées donnent 0 en assiduité, au-delà la note de CC est divisée par deux. Non rattrapable - Cours : 3 séance(s) - TD : 3 séance(s) 1. Savoir se présenter, 2. Savoir s exprimer dans toutes les situations, 3. Prendre la parole en public, 4. Rédiger un CV, 5. Rédiger une lettre de motivation, 6. Savoir convaincre tant à l oral qu à l écrit, 7. Conduire un entretien d embauche p. 23

24 [MCI] Compléments : Calcul Intégral Responsable de l UE Prérequis Dasha Loukianova Bases d'analyse, intégral de Riemann, intégral de Riemann généralisée Devoir surveillé et examen écrit - Cours : 14 séances (de 2 heures) - TD : 10 séances (de 2 heures) Familiariser les élèves avec les propriétés de la mesure abstraite et l'intégral de Lebesgue. Apprendre à appliquer les principaux théorèmes de convergence telle que monotone et dominée. Familiariser les élèves avec la notion de la mesure produit et le théorème de Fubini. - Tribus et fonctions mesurables. Mesure. - Intégral de Lebesgue et espace L^1. - Théorèmes de convergence. - Mesure produit et théorème de Fubini. - Application du calcul intégral aux probabilités. p. 24

25 [MSM] Compléments : soutien en mathématiques Responsable de l UE Prérequis Christophe Mouilleron Aucun - TD : 12 séance(s) L'objectif de cette UE est d aider les étudiants qui ont des difficultés en mathématiques. Les notions posant le plus de problèmes seront reprises afin d offrir aux élèves plus de temps pour les assimiler. De plus, certains exercices faits dans les TDs d'autres Ues seront recorrigés plus en détail, sur demande des étudiants. À la carte, en fonction des demandes des étudiants. p. 25

26 Semestre 2 Organisation. Enseignements Obligatoires Programmation Avancée et Logique (IPA) Programmation Web et réseaux (PWR) Statistiques (MST) Optimisation Mathématique (OPTI) Analyse Numérique (MAN) Projet Informatique Mathématique (PROJ) Economie et Gestion (ECO2) Langues vivantes Formations Humaines (LVFH2) Enseignements Complémentaires Topologie et espaces de fonctions (MTEF)) TABLE 2 : Les différentes UE d'enseignements du S2 p. 26

27 [PAL] Programmation avancée et logique Responsable de l UE Prérequis Module 1 Module 2 Julien Forest Aucun Cette UE prolonge les UE de programmation impérative et fonctionnelle du premier semestre, d une part en abordant des concepts de programmation qui n y ont pas ou peu été abordés, d autre part en fournissant les bases logiques nécessaires pour aborder la compréhension et la correction des programmes, un enjeu essentiel en particulier pour des systèmes critiques. Il s agit donc pour les étudiants d être en mesure de produire des programmes non-triviaux, en faisant des choix de structures de données adaptés, et de posséder les clefs pour démontrer leur correction. Programmation avancée (Coef. 0.5) Logique (Coef. 0.5) Programmation avancée TP noté (1/3) + Examen écrit (2/3) Examen écrit (reprise de la note de TP noté sauf si absence justifiée) - Cours : 4 séance(s) - TD : 3 séance(s) - TP : 4 séance(s) - Examen : 1 séance(s) Ce module présente des concepts avancés de programmation qui dépassent les paradigmes impératif et fonctionnel vus au premier semestre. Il s agit d une part de voir comment les techniques de modularité et de typage aident à la conception et au développement de projets conséquents. On pourra alors s interroger sur les p. 27

28 Logique implantations les plus adaptées à un contexte donné, notamment grâce à l étude de leur complexité. Cela nous amènera à considérer des structures mixtes contenant à la fois des données persistantes et mutables, comme des tables de hachage qui permettent de faire du partage maximal (hash consing). On abordera également la gestion de la mémoire, en particulier avec un ramasse-miette (garbage collector). Le cours débute par un complément du cours de programmation impérative sur l'implantation de structures non-linéaire (arbres ) en C. L emphase est mise sur la non-persistance des données et sur les versions destructives/non-destructives des algorithmes présentés. Le calcul de la complexité de fonctions est abordé. On présente ensuite les techniques de modularité : module, interface, compilation séparée (Makefile), ainsi que les propriétés qui en découlent : séparation des tâches, réutilisabilité, abstraction, encapsulation, maintenance. Pour illustrer ces notions, on part de l exemple des dictionnaires, c est-à-dire des structures de données associant des clefs à des valeurs. On présente l interface correspondante et les propriétés attendues, ainsi que trois implantations : les listes d association, les maps utilisant des AVL (vues en cours de programmation fonctionnelle, page 12) et les tables de hachage. L accent est mis sur la correction de ces structures de données, c est-à-dire leur adéquation à la spécification des dictionnaires ; et sur leur complexité, dans le pire des cas et en moyenne. On peut alors aborder la question de la gestion de la mémoire, notamment avec la présentation des garbage collectors que l on retrouve dans les langages de haut niveau. Ceci nous amène à parler de partage maximal grâce à la technique de hash consing. Examen écrit Examen écrit - Cours : 5 séance(s) - TD : 6 séance(s) - Examen : 1 séance(s) Introduction à la logique formelle et à la notion de preuves. p. 28