Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de deuxième année

Dimension: px
Commencer à balayer dès la page:

Download "Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de deuxième année"

Transcription

1 2 e année Département Informatique & Mathématiques Appliquées Année universitaire juin 2012 Formation d ingénieur Département Informatique & Mathématiques Appliquées Programme de deuxième année Année universitaire Unité d Enseignement responsable semestre Tronc commun Intergiciels D. Hagimont 7 Systèmes concurrents P. Quéinnec 7 Bases de connaissances F. Evrard 8 Génie du logiciel et des systèmes M. Pantel 7 Graphes et recherche opérationnelle F. Evrard 7 Optimisation D. Ruiz 7 Sciences Humaines Sociales et Juridiques S7? 7 Sciences Humaines Sociales et Juridiques S8? 8 Parcours informatique Méthodes formelles X. Thirioux 8 Architecture des ordinateurs II R. Guivarch 8 Sémantique et traduction des langages M. Gandriau 8 Systèmes temps réel et multimédia JL. Scharbarg 8 Parcours imagerie et multimédia Image, modélisation et rendu P. Marthon 8 Traitement des données audio-visuelles V. Charvillat 8 Éléments d analyse numérique G. Morin 8 Systèmes temps réel et multimédia JL. Scharbarg 8 Parcours Modélisation et simulation numérique Mesure, intégration, distributions P. Altibelli 8 Equations aux dérivées partielles S. Gratton 2 Contrôle optimal et algèbre linéaire creuse P. Amestoy 8 Éléments d analyse numérique G. Morin 8 1

2 sigle signification effectifs (en général) C cours promo ou parcours entier CTD cours-td 1/4 promo complète TD travaux dirigés 1/4 promo complète TP travaux pratiques 1/8 promo complète BE bureau d études (évalué) E examen écrit proj projet évalué (seul ou en groupe) 2

3 Table des matières 1 Unité d enseignement Intergiciels 4 2 Unité d enseignement Systèmes concurrents 6 3 Unité d enseignement Bases de connaissances 7 4 Unité d enseignement Génie du logiciel et des systèmes 9 5 Unité d enseignement Graphes et Recherche opérationnelle 11 6 Unité d enseignement Optimisation 13 7 Unité d enseignement Sciences Humaines Sociales et Juridiques, semestre Unité d enseignement Méthodes Formelles 19 9 Unité d enseignement Architecture des ordinateurs Unité d enseignement Sémantique et traduction des langages Unité d enseignement Systèmes temps réel et multimédia Unité d enseignement Image, modélisation et rendu Unité d enseignement Traitement des données audio-visuelles Unité d enseignement Eléments d Analyse Numérique Unité d enseignement Mesure, Intégration, Distributions Unité d enseignement Équations aux dérivées partielles Unité d enseignement Contrôle optimal et algèbre linéaire creuse Unité d enseignement Sciences Humaines Sociales et Juridiques 39 3

4 1 Unité d enseignement Intergiciels Code IMA-2A-INT Mots clés intergiciels, communication par messages, client-serveur, réplication, applications web dynamiques Responsable Daniel Hagimont Intervenants Daniel Hagimont, Laurent Broto Objectifs Étudier les concepts et outils de construction d application réparties. Etudier les outils de construction de serveurs Web dynamique. Prérequis Programmation modulaire impérative Programmation par objets et événements Telecom et réseaux Systèmes d exploitation Systèmes concurrents Contenu Intergiciels de base la communication sur le réseau avec des sockets le modèle client-serveur et l appel de procédure à distance (RPC, RMI, Web services) les intergiciels à messages (JMS) les systèmes à mémoire dupliquée Intergiciels pour applications Web les protocoles du Web les servlets les Enterprise Java Bean (EJB) les couches de persistence (JDBC, JPA) les Web services Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 11 C, 6 TD, 12 TP, 1 E Session 1 examen écrit 1h45 tous 70% Projet 30% Session 2 examen écrit 1h45 tous 100% Bibliographie Distributed Systems - Concepts and Design Fifth Edition (George Coulouris, Jean Dollimore, Tim Kindberg and Gordon Blair, published by Addison Wesley, May 2011) 4

5 Enterprise JavaBeans 3.1, 6th Edition Head First Servlets & JSP 5

6 2 Unité d enseignement Systèmes concurrents Code IMA-2A-SC Mots clés Parallélisme, processus concurrents, sémaphores, moniteurs, transactions, calcul parallèle Responsable Philippe Quéinnec Intervenants Patrick Amestoy, Alfredo Buttari, Daniel Hagimont, Philippe Mauran, Philippe Quéinnec Objectifs Étudier les concepts de la programmation parallèle et concurrente principalement dans un contexte centralisé. Prérequis Programmation modulaire impérative Programmation par objets et événements Systèmes d exploitation Intergiciels (pour le projet) Contenu la problématique de la synchronisation des processus l exclusion mutuelle les objets de synchronisation : sémaphore les objets de synchronisation : moniteur les API usuelles (java, C) interblocage et autres problèmes la synchronisation par communication (CSP, ada) transactions et mémoires transactionnelles synchronisation non bloquante calcul parallèle : openmp, GPGPU Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 12 C, 4 TD, 13 TP, 1 E Session 1 examen écrit 1h45 tous 50% BE 4h00 tous 20% Projet 30% Session 2 examen écrit 1h45 tous 70% BE 4h00 tous 30% Bibliographie Techniques de synchronisation pour les Applications Parallèles (G. Padiou, A. Sayah - Cépadues Editions) Programming with POSIX threads (D. Butenhof - Addison-Wesley) 6

7 3 Unité d enseignement Bases de connaissances Code IMA-2A-BDC Mots clés Logique de prédicats, programmation logique, bases de connaissances et logiques non classiques. Langages logiques de représentation des connaissances, de requêtes et de raisonnements. Responsable Fabrice Evrard Intervenants Fabrice Evrard, Pascal Ostermann Objectifs Ce module est à cheval sur la théorie traditionnelle des bases de données et sur la notion de connaissance, relevant de l intelligence artificielle. En bases de données, l emphase est mise sur la donnée, qui doit être comprise du concepteur et des utilisateurs. Leur manque de culture commune impose des modèles et langages simples, voire simplistes : entité-association, modèle relationnel, langage SQL... Cette "simplicité" permet d aborder certains problèmes incontournables (aspect multiutilisateurs, définition de vues, confidentialité... et surtout cohérence) via l étude de la normalisation relationnelle. Le cadre plus ambitieux de l intelligence artificielle permet de supposer que le concepteur comprend toutes les connaissances, ou du moins que les concepteurs on ne peut plus parler d utlisateurs lambda parlent un langage commun. Seront donc présentés des modèles appropriés (ontologies, toile sémantique...) ainsi que des approches (Prolog, logiques modales, non monotones, etc) permettant de raisonner dans ce contexte (bases de données déductives). Prérequis Logiques classiques propositionnelle et des prédicats (syntaxe, sémantique, axiomatique, décidabilité) Contenu 1. Module base de données Les bases de données usent volontiers de modèles (entité-association, relationnel) et de langages (calcul et algèbre relationnels, SQL) simplistes. Cela n y rend pas si aisée la représentation d un univers plus complexe ; mais permet de mettre en valeur les problèmes liés au stockage informatique de fichiers (cohérence, confidentialité, etc, et surtout redondance) via la théorie de la normalisation : dépendances fonctionnelles et multi-valuées, forme normale de Boyce-Codd, troisième et quatrième forme normale... Essentiellement théorique, cette étude se conclura, en travaux pratiques, par une brève présentation des principaux outils de technique des fichiers : tables de hachage et index. Total : 6 C, 5 TD, 3TP, 1 E 2. Module Programmation logique Rappels de logique des prédicats du 1er ordre (LPO) et aperçus des logiques d ordre supérieur Programmation logique, preuves linéaires, langage Prolog, résolution de problèmes 7

8 Problèmes de représentation des connaissances mal gérés par LPO Logiques modales (déontique, temporelle, épistémique) et aspects de la connaissance Logiques multimodales d ordre quelconque (le cas intensionnel) Logiques multivalentes (multivaluée, floue, possibiliste) et connaissances incertaines, imprécises Logiques non monotones (des défauts, auto-épistémique) et connaissances incomplètes Logiques dynamiques (programmes, langage naturel) Approches des ontologies, du web sémantique et des systèmes d informations Bases de données déductives et Frame-logic, logique des descriptions, F-logic, FLORA-2, WSML, SWSL... Total : 10 CTD, 4 TP, 1 E Volume horaire (en séances d 1h45) 6 C, 10 CTD, 5 TD, 7 TP, 2 E Contrôle des connaissances Crédits ECTS 5 Session 1 BD : examen écrit 1h45? 50% Prog.logique : examen écrit 1h45 oui 25% Prog.logique : projet 15j oui 25% Session 2 BD : examen écrit ou oral 1h45? 50% Prog.logique : examen écrit 1h45 oui 50% ou (exclusif), décidé par le responsable du cours Prog.logique projet 7j oui 50% Bibliographie D.M. Gabbay & F. Guenthner Editors, Handbook of philosophical logic, 2nd edition, Kluwer Academic Publishers Paul Gochet & Pascal Gribomont, Logique. Vol. 1 : méthodes pour l informatique fondamentale, Paris, Hermès, 1990, Vol. 2 : méthode formelle pour l étude des programmes, Paris, Hermès, 1994, Vol. 3 : méthodes pour l intelligence artificielle, Paris, Hermès, 2000 L. Sterling, E. Shapiro, The Art of Prolog, 2nd ed, MIT Press, 1994 W. F. Clocksin, C. S. Mellish, Programming In Prolog, 5th ed, Springer-Verlag, I. Bratko, Prolog Programming for Artificial Intelligence, 3rd ed, Addison-Wesley, 2001 Tharam S. Dillon, Elizabeth Chang, Robert Meersman, Katia Sycara Editors, Advances in Web Semantics I : Ontologies, Web Services and Applied Semantic Web, Springer,

9 4 Unité d enseignement Génie du logiciel et des systèmes Code IMA-2A-GLS Mots clés Génie logiciel, Patrons de conception, Validation et Vérification, Ingénierie dirigée par les modèles, Ingénierie Systèmes Responsable Marc Pantel Intervenants Marc Pantel, Xavier Crégut Objectifs Étudier les concepts de l ingénierie du logiciel et des systèmes. Découvrir et mettre en pratique les patrons de conception et l ingénierie dirigée par les modèles. Prérequis Programmation fonctionnelle Programmation modulaire impérative Programmation par objets et événements Outils Mathématiques pour l Informatique Systèmes centralisés Contenu Modèles de cycle de vie du logiciel Patrons de conception Techniques de validation et vérification Technologies de tests Introduction aux réseaux de Petri et à la logique temporelle Principes de l ingénierie dirigée par les modèles Métamodélisation Syntaxes concrètes textuelles et graphiques Transformations de modèles et génération de texte Outils : Eclipse Modeling Framework, TMF, GMF, Acceleo, ATL Ingénierie système Langage SysML Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 11 C, 8 TD, 10 TP, 1 E Examen, BE et Projet Session 1 examen écrit 1h45 aucun 40% BE 10h00 tous 20% Projet tous 40% Session 2 examen écrit 1h45 aucun 60% BE? 10h00 tous 40% Bibliographie 9

10 Sommerville, Ian (2007) [1982]. Software Engineering (8th ed.). Harlow, England : Pearson Education. ISBN Gamma, Erich ; Richard Helm, Ralph Johnson, and John Vlissides (1995). Design Patterns : Elements of Reusable Object-Oriented Software. Addison-Wesley. ISBN Model-Driven Software Development : Technology, Engineering, Management (Wiley Software Patterns Series) Thomas Stahl, Markus Voelter, ISBN Requirements Engineering : From System Goals to UML Models to Software Specifications (Wiley Software Patterns Seris) Axel van Lamsweerde ISBN

11 5 Unité d enseignement Graphes et Recherche opérationnelle Code IMA-2A-GRO Mots clés Théorie des graphes, Recherche opérationnelle, Recherches heuristiques, Problèmes de satisfaction de contraintes, Processus stochastiques. Responsable Fabrice Evrard Intervenants F.Evrard, P.Marthon, P.Ostermann. Objectifs Prérequis Contenu La théorie des graphes est une branche des Mathématiques discrètes étudiée et développée tant du point de vue de l informatique (algorithmique, réseaux, systèmes d informations...) que des mathématiques (optimisation combinatoire, probabilité, algèbre...). Son objectif est l étude des méthodes d analyse des objets de cette théorie et leurs interactions. On y étudie aussi bien les méthodes de recherche de solutions basées sur des heuristiques que de solutions devant satisfaire un ensemble de contraintes. Ses applications dans tous les domaines liés à la notion de réseau (réseau social, réseau informatique, télécommunication, génétique...) sont nombreuses tant le concept de graphe est général. C est un outil de choix pour la recherche opérationnelle dont l objectif est l aide à la décision. Elle propose des modèles conceptuels pour analyser des situations complexes et aussi des solutions pour permettre aux décideurs de faire les choix les plus efficaces. Le domaine est ainsi fortement lié à l ingénierie des systèmes. Par ailleurs, si l on peut observer des phénomènes d évolution temporelle analysables par un calcul des probabilités alors on a affaire aux processus stochastiques. Leurs applications sont innombrables, en physique ou ailleurs : les files et les réseaux d attente, la théorie de la fiabilité des systèmes, les processus browniens, les processus épidémiologiques (propagation d infections), les processus météorologiques, les processus boursiers, etc. Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 19 CTD, 10 TP, 1 E Session 1 examen écrit 1h45 documents de cours 40% mini-projet 1? any 30% mini-projet 2? any 30% Session 2 Idem à la session 1. Bibliographie Claude Berge - Graphes et hypergraphes, Dunod, Michel Gondran, Michel Minoux - Graphes et algorithmes, Eyrolles,

12 Dominique de Werra, Thomas M. Liebling et Jean-François Hêche. Recherche opérationnelle pour ingénieurs - Presses polytechniques et universitaires romandes Krzysztof Apt, Principles of constraint programming, Cambridge University Press, 2003 Judea Pearl - Heuristique, Cepadues-Editions,

13 6 Unité d enseignement Optimisation Code Mots clés Responsable Daniel Ruiz Intervenants Daniel Ruiz, Serge Gratton Objectifs L objectif de ce module est d introduire les outils mathématiques théoriques permettant de caractériser les minima (ou maxima) locaux et/ou globaux d une fonction à valeur réelle, avec la prise en compte éventuelle de contraintes sur l espace des états. A partir de ces aspects théoriques généraux, nous développerons divers algorithmes pour l optimisation numérique, et nous étudierons leurs propriétés telles que la convergence globale, la vitesse de convergence, etc. D un point de vue pratique, ces algorithmes seront implémentés dans le cadre de travaux partiques sur ordinateur, et testés sur divers problèmes particuliers. Prérequis Contenu 1. Théorie (a) Nous considèrerons en premier lieu la modélisation des problèmes d optimisation, qui sera présentée sur la base de nombreux exemples issus de la physique, de la biologie, ou de problèmes en économie ou mathématique financière. Ce premier chapitre permettra notamment de donner une première classification des problèmes d optimisation, et d introduire les diverses classes de méthodes algorithmiques associées. (b) A partir des résultats théoriques vus en calcul différentiel et en topologie, nous développerons les outils mathématiques permettant de statuer quant-à l existence et l unicité des solutions d un problème d optimisation, et nous introduirons les premiers résultats mathématiques relatifs à la caractérisation de ces solutions. (c) Nous développerons ensuite les conditions de Karush-Kuhn-Tucker-Lagrange relatives à la caractérisation des optima d une fonction sous contraintes. Ces résultats théoriques sont basés sur des concepts géométriques particuliers, tels que le cône des directions admissibles en un point du domaine des contraintes, et nous analyserons ces aspects géométriques en détail dans la construction de ces résultats mathématiques. 2. Algorithmes (a) Nous détaillerons deux types d algorithmes pour l optimisation numérique avec dérivées, l un pour des problèmes sans contraintes, et l autre avec contraintes. Dans les deux cas, nous étudierons la convergence de ces algorithmes et nous nous intéresserons à certains aspects pratiques tels que le choix de critères d arrêt pertinents, la mise à l échelle des variables du problème... 13

14 3. Les étudiants auront l opprtunité de se familiariser en profondeur avec l ensemble des résultats présentés dans le cadre de séances de travaux dirigés, dans lesquels seront abordées les questions de modélisation ainsi que les conditions d optimalité sur la base de problèmes d optimisation pratiques variés. Un volume conséquent de travaux pratiques permettra en outre aux étudiants de mettre en oeuvre des méthodes numériques (Newton, Gauss-Newton) et de les tester pour le traitement de problèmes de moindres carrés non linéaires, ainsi que sur des problèmes d optimisation plus généraux avec contraintes. Nous aborderons aussi, dans ces travaux pratiques, la question particulière du calcul des dérivées ainsi que de leur approximation, qui est un point central pour l efficacité des algorithmes d optimisation numérique considérés. Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 13 C, 6 TD, 10 TP, 1 E Session 1 examen écrit 1h45 une page A4 manuscrite recto verso 50% travaux pratiques contôle continu 40% travaux pratiques rapport écrit 10% Session 2? Bibliographie Numerical Optimization, Jorge Nocedal, Steve Wright, 2006 Introduction à l optimisation différentiable, Michel Bierlaire, 2006 Trust-region methods, Andrew R. Conn, Nicholas I. M. Gould, Philippe L. Toint,

15 7 Unité d enseignement Sciences Humaines Sociales et Juridiques, semestre 7 Code Mots clés NIC-SHSJ Sport Activité physique & sportive, Compétences sociales, Santé, Savoir-être Droit social Droit social, gestion des ressources humaines. Simulation de Gestion Entreprises SIGES décisions manageuriales, stratégie, tableaux de bord de gestion, prise de décision collective. Projet professionnel Projet professionnel et personnel, marché de l emploi, compétence, expériences. Responsable Langue 1 Hull Alexandra Langue 2 Hull Alexandra Sport Migeon Pascale Droit social Simulation de Gestion Entreprises SIGES Gasquet Marcel Projet Professionnel Mme Estadieu Geneviève Intervenants Objectifs Langue 1 Lake Peter Langue 2 Blanco Andre, Lessing Barbara Sport Migeon Pascale, Prat Emilie, Pratviel Olivier Droit social Simulation de Gestion Entreprises SIGES Teychenie Francoise et Gasquet Marcel Projet Professionnel Mme Estadieu Geneviève Langue 1 Développer les capacités de communication professionnelle écrite et orale dans le cadre de joutes oratoires. Langue 2 Les niveaux d entrée des élèves étant très hétérogènes, les objectifs peuvent être variables : le niveau A2 pour les débutants le niveau B1 (niveau minimal) pour les autres Sport La pratique régulière d Activités Physiques et Sportives contribue au développement des capacités physiques et mentales, élargit le champ des connaissances relatif au sport, à soi même, aux autres, trace un chemin vers une vie équilibrée et harmonieuse. Les pratiques physiques constituent un moyen de formation puisqu elles conduisent l étudiant à construire et réactualiser les deux types de compétences poursuivies : Techniques et spécialisées 15

16 Prérequis Contenu Transversales et transférables La poursuite de ces objectifs contribue pleinement à la formation de l étudiant futur ingénieur-citoyen parce que leur intérêt réside dans leur possibilité de transfert à d autres domaines de la vie ; personnelle et professionnelle. Droit social Présentation de l organisation, des responsabilités et des missions de la fonction de gestion des ressources humaines. Simulation de Gestion Entreprises SIGES Initiation pratique aux grandes fonctions de l entreprise et à leurs interactions, apprentissage à la prise de décision collective. Projet Professionnel Amener les étudiants 2eme année à réaliser leur projet professionnel au regard du marché de l emploi en prenant en compte leur formation, leur recherche à propos des métiers et leurs compétences. Droit social Simulation de Gestion Entreprises SIGES Projet Professionnel Repérer toutes ses expériences professionnelles et personnelles afin que les étudiants identifient leurs atouts. Être réceptif à toutes les opportunités et aux évolutions des entreprises. Se préparer à investir du temps, de la persévérence, de l énergie. Accepter de passer de l idée au projet puis du projet à l action et se fixer des devoirs. Langue 1 Tâche 1 : Joutes oratoires Tâche 2 : Commentaire écrit Tâche 3 : Entretien d embauche Tâche 4 : Savoir être professionnel Langue 2 La LV2 obligatoire est choisie à l entrée à l école et reste la même pendant tout le cursus jusqu au diplôme. Au choix : allemand, chinois, espagnol, japonais, italien, portugais, russe et français (pour les étudiants étrangers uniquement). Sport En 2ème année la santé reste centrale, s ajoutent au contenu d enseignement, d autres connaissances transférables tout au long de la vie tant sur le plan personnel que professionnel ; elles sont multiformes : Concernent les Activités Physiques par la compréhension des logiques internes et la critique des pratiques. Concernent les connaissances sur soi même, sur les autres et sur le savoir être ici définit comme un ensemble d activités par lesquelles une personne manifeste non seulement sa façon d appréhender sa propre personne (le concept de soi), les autres, les situations et la vie en général, mais aussi sa façon d agir ou de réagir. Autrement dit : Capacités physiques (Force, Vitesse, Endurance, Souplesse... ) Capacités mentales (gestion de son affectivité, de ses émotions... ) Compétences techniques (auto-évaluation de ses savoirs-faire... ) 16

17 Prise de responsabilité dans la gestion humaine et matérielle de son activité. Apprentissage des «savoir faire faire». Réactions des partenaires, adversaires, spectateurs etc. Appréhender les activités comme des facteurs d intégration et de mixité culturelle et sociale. Capacités de travailler en équipe, à communiquer, à établir des relations de confiance. L Education Physique devient un lieu dans lequel, en plus de parfaire sa culture sportive, l élève se met en jeu pour Agir ; c est à dire faire face à l imprévisibilité, réaliser, innover, prendre des risques, s engager, savoir parfois s imposer, composer avec d autres, conduire un projet, animer une équipe. Droit social Recrutement (Annonces, Salons, Cabinets de recrutement, contrat de travail, clauses particulières...). Gestion des carrières (Entretiens annuel d appréciation, GPEC, Plan de formation...). Politique de rémunération (NAO, gestion de la masse salariale, opérations salariales). Droit social (Code du travail, convention collective, accord d entreprise...). Les Instances Représentatives du Personnel (DP, CE, CHSCT...). Dossiers contentieux (individuels et collectifs). Simulation de Gestion Entreprises SIGES Présentation de l environnement économique de la simulation / Découverte de l entreprise à gérer. Gestion virtuelle de l entreprise : définition des objectifs stratégiques. fixation du marketing mix. prévisions budgétaires (coût de production, coût de revient, marge,...). prévisions financières (résultat, trésorerie). diagnostic financier périodique. Synthèse : rapport de gestion oral avec analyse des points forts/faibles de chaque société. Projet Professionnel Repérer des secteurs d activités susceptibles de les intéresser, à l aide de fiches métiers, articles de presse, sites internet. Connaître les organismes capables de renseigner les étudiants : APEC, Pôle emplois Cadres, AIN7, Bureau des Relations Internationales de l ENSEEIHT, l AFIJ. Apprendre à valoriser leurs compétences (ensemble des savoirs en usages). Créer un réseau de professionnels capables de renseigner les étudiants. Valider leur projet professionnel au regard du marché de l emploi. Volume horaire Langue 1 13 TD Langue 2 13 TD Sport 13 TD 17

18 Droit social 6 C, 1 E Simulation de Gestion Entreprises SIGES 2 C + 8 TD + 1 E Projet Professionnel 1 C + 2 TD Crédits ECTS 6 Contrôle des connaissances Session 1 Langue 1 contrôle continu oral 6,25% examen écrit 6,25% examen oral 6,25% projet 6,25% Langue 2 contrôle continu écrit 6,25% contrôle continu oral 6,25% examen écrit 6,25% projet 6,25% Sport 17% Droit social examen écrit 1h45 8% Simulation de Gestion Entreprises SIGES contrôle continu 17% Projet Professionnel projet 8% Session 2 Idem session 1 Bibliographie Droit social Simulation de Gestion Entreprises SIGES Projet Professionnel Journaux d actualités et la presse spécialisée en informatique Base de données Factiva (voir bibliothèque de l ENSEEIHT) Méthode Déclic pour construire votre projet professionnel, l APEC, Édition d Organisation 18

19 8 Unité d enseignement Méthodes Formelles Code Mots clés Systèmes de transitions. Logiques temporelles. Vérification. Spécification. Simulation. Bisimulation. Raffinement de modules. Responsable Xavier Thirioux Intervenants Xavier Thirioux, Philippe Quéinnec, Aurélie Hurault, Adrien Champion Objectifs Représenter formellement un système informatique isolé/autonome et ses exécutions à travers la notion de système de transitions. Spécifier les propriétés comportementales d un tel système dans une logique temporelle. Comprendre les notions générales de raffinements de programmes non isolés/autonomes, d environnement et d événements observables. Comparer les systèmes et leurs exécutions à travers les relations fondamentales de simulation et bisimulation. Comprendre la relation de raffinement entre spécification et implantation, à travers la notion de module. Utiliser un outil de modélisation formelle et de vérification automatique (TLA+) afin d illustrer ces notions et de vérifier les propriétés des systèmes. Prérequis Programmation Impérative. Programmation Fonctionnelle. Outils Mathématiques pour l Informatique. Systèmes Concurrents. Contenu 1. Première partie : systèmes isolés (a) Systèmes de transitions. Traces et exécutions. (b) Notion d équité des exécutions. (c) Spécification en logique(s) temporelle(s). Linear Temporal Logic et Computational Tree Logic. (d) Introduction aux techniques de vérification de modèles. 2. Seconde partie : systèmes ouverts Volume horaire (a) Notion générale de raffinement. Systèmes de transitions étiquetés. Environnement. Evénements (non-)observables. (b) Relations de simulation et de bisimulation. Prise en compte des événements non-observables. (c) Notion de module et sémantique d exécution des modules. (d) Relation de raffinement entre modules. Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 10 C, 4 CTD, 4 TD, 10 TP, 2 E 19

20 Session 1 examen écrit 1 1h45 une page A4 manuscrite recto verso 40% examen écrit 2 1h45 une page A4 manuscrite recto verso 30% Projet 30% Session 2 examen écrit 1 1h45 une page A4 manuscrite recto verso 50% examen écrit 2 1h45 une page A4 manuscrite recto verso 50% Bibliographie Specifying Systems (L. Lamport - Addison-Wesley) 20

21 9 Unité d enseignement Architecture des ordinateurs 2 Code Mots clés VHDL, langage de description matériel, conception de composants, synthèse, programmation FPGA, Pipeline, hiérarchie mémoire, circuits spécialisés, amélioration des performances. Responsable Ronan Guivarch Intervenants Ronan Guivarch, Zouheir Hamrouni Objectifs 1. Présenter, en parallèle, des concepts avancés d architecture(cache, pipe-line, circuits spécialisés) ainsi que le langage VHDL, 2. Développer lors d un projet un de ces composants en VHDL et de l implanter sur une carte FPGA. 3. Etudier les facteurs performance et les solutions permettant leur amélioration. Prérequis UE Architecture I ou toute UE équivalente Contenu 1. Architecture Avancée, Optimisation des performances, circuits spécialisés (12 C) Technique du pipeline : description, contraintes, influence sur les performances, Hiérarchie mémoire : description, contraintes, influence sur les performances, Optimisation des performances : liens entre matériel et compilateurs, exploitation des caractéristiques matérielles, retouche de codes, Circuits spécialisés (DSP, GPU, etc.) : présentation d applications concrètes (produits industriels, projets de recherche). 2. Introduction au langage VHDL (2 C, 4 TD, 11 TP) présentation de VHDL sous forme d exemples pour comprendre comment décrire un composant matériel, présentation du langage en lui-même (types, instructions, notion de signal...), process synchrones (compteurs), modélisation par automate à états pour décrire le fonctionnement d un composant, implantation des composants développés (additionneurs, compteurs...) sur carte FPGA. Volume horaire Contrôle des connaissances Crédits ECTS 5 (en séances d 1h45) 14 C, 4 TD, 11 TP Session 1 examen écrit 1h45 tous 60% Projet 40% Session 2 Idem à la session 1. 21

22 Bibliographie Architecture des Ordinateurs : une approche quantitative (J.L. Hennessy et D.A. Patterson - Thomson Publishing) VHDL - langage, modélisation, synthèse (R. AIRIAU et al. - Presses Polytechniques et Universitaires Romandes) 22

23 10 Unité d enseignement Sémantique et traduction des langages Code IMA-2AI-IN-STL Mots clés Compilation, Interprétation, Typage, Génération de code, Grammaire attribuée, Sémantique opérationnelle, Sémantique axiomatique. Responsable Marcel Gandriau Intervenants Marcel Gandriau, Marc Pantel Objectifs L objectif de cette UE est de présenter et expérimenter les mécanismes d exécution des langages de programmation. Il s agit d étudier d une part, les techniques d implantation d outils de traduction et d interprétation, et d autre part les moyens de spécification formelle (grammaires attribuées, sémantiques opérationnelle, et axiomatique). Un projet (en groupe) utilisant un générateur de compilateurs basé sur les grammaires attribuées complète la formation théorique. Prérequis Génie Logiciel I et II. Outils mathématiques pour l informatique. Architecture des ordinateurs I. Contenu Introduction : Généralités sur l interprétation et la traduction des langages de programmation. Grammaires attribuées : Définitions et méthodologie. Evaluation descendante des grammaires attribuées. Interprétation : Etude d un interprète MiniML (sous-ensemble de CAML) avec typage et évaluation. Spécification par une sémantique opérationnelle naturelle de l évaluation et du typage. Concepts de la traduction : Table des Symboles, Types, Gestion de la mémoire et Génération de code. Mise en œuvre sur un langage impératif simple ( Bloc ) avec les grammaires attribuées. Utilisation du générateur de compilateurs Egg. Machine virtuelle TAM. Analyse de code généré par des compilateurs existants. Sémantiques : Présentation des différentes formes de sémantique formelle. Application à MiniML et au langage Bloc. Preuves de correction des mécanismes de typage et de génération de code. Volume horaire Contrôle des connaissances (en séances d 1h45) 7 C, 5 CTD, 8 TD, 9 TP, 1 E Crédits ECTS 5 Session 1 examen écrit 1h45 tous 60% Projet 6 semaines 40% Session 2 Idem à la session 1. 23

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Technologie et biologie (TB) Discipline : Informatique Première et seconde années Programme d informatique

Plus en détail

GPC Computer Science

GPC Computer Science CYCLE ISMIN P2015 GPC Computer Science P LALEVÉE lalevee@emse.fr @p_lalevee A3.01 0442616715 C YUGMA yugma@emse.fr A3.01 0442616715 01/09/2014 Présentation GPC CS - Ph. Lalevée - C Yugma 1 Scolarité Site

Plus en détail

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification

Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification 1 sur 8 26/09/2013 16:49 Le Répertoire National des Certifications Professionnelles (RNCP) Résumé descriptif de la certification Intitulé Licence : Licence Sciences, technologies, santé mention Informatique

Plus en détail

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013»

Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» Résumé du document «Programmes des classes préparatoires aux Grandes Écoles ; Discipline : Informatique ; Première et seconde années - 2013» I Objectifs Niveau fondamental : «on se fixe pour objectif la

Plus en détail

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr

Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Programme de la licence informatique, université de Caen http://www.info.unicaen.fr Unité Systèmes d'information CM : 45h - TD : 60h - TP : 12h - Coeff 2 Systèmes de Gestion de Bases de Données Modéliser

Plus en détail

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR

MATHEMATIQUES ET SCIENCES POUR L INGENIEUR MASTER SCIENCES, TECHNOLOGIES, SANTE / STAPS MATHEMATIQUES ET SCIENCES POUR L INGENIEUR Spécialité Ingénierie Numérique, Signal-Image et Informatique Industrielle (INS3I) www.univ-littoral.fr OBJECTIFS

Plus en détail

MTH8442 Ordonnancement de Plan production. (3-0-6) 3 cr

MTH8442 Ordonnancement de Plan production. (3-0-6) 3 cr MTH8442 Ordonnancement de Plan production de cours Automne 2008 (3-0-6) 3 cr Michel Gamache Local A-305.29 340-4711 poste 5920 michel.gamache@polymtl.ca François Soumis Local A-520.15 340-4711 poste 6044

Plus en détail

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

Descriptif de module. Page Hatem Ghorbel. 10 septembre 2015

Descriptif de module. Page Hatem Ghorbel. 10 septembre 2015 1/6 La description de module définit les conditions cadres du déroulement de l enseignement des matières du module. Filière(s) Informatique (INF) Option - Public Plein temps Unités Niveau d études 1 2

Plus en détail

- Mobiliser les résultats sur le second degré dans le cadre de la résolution d un problème.

- Mobiliser les résultats sur le second degré dans le cadre de la résolution d un problème. Mathématiques - classe de 1ère des séries STI2D et STL. 1. Analyse On dote les élèves d outils mathématiques permettant de traiter des problèmes relevant de la modélisation de phénomènes continus ou discrets.

Plus en détail

SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique

SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique SOCLE COMMUN - La Compétence 3 Les principaux éléments de mathématiques et la culture scientifique et technologique DOMAINE P3.C3.D1. Pratiquer une démarche scientifique et technologique, résoudre des

Plus en détail

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE)

INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) INGÉNIEUR DE L'ENSEEIHT SPÉCIALITÉ INFORMATIQUE ET RÉSEAUX (APPRENTISSAGE) RÉSUMÉ DE LA FORMATION Type de diplôme : Formation d'ingénieur classique Domaine : Sciences, Ingénierie et Technologies Mention

Plus en détail

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Informatique Première et seconde années

Plus en détail

COMPUTER SCIENCE Paris 7 Denis Diderot

COMPUTER SCIENCE Paris 7 Denis Diderot COMPUTER SCIENCE Paris 7 Denis Diderot LICENCE 1 SEMESTER 2 (Spring) o Initiation à la programmation 2 o Concepts informatiques o Internet et outils o Mathématiques élémentaires 2 COURSE DESCRIPTION Initiation

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

Plus en détail

PHYSIQUE. 5 e secondaire. Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN

PHYSIQUE. 5 e secondaire. Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN PHYSIQUE 5 e secondaire Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN MAI 1999 Quebec PHYSIQUE 5 e secondaire Optique PHY-5041-2 DÉFINITION DU DOMAINE D EXAMEN MAI 1999 Direction de la formation générale

Plus en détail

ENSEIRB-MATMECA PG-113 2014. TP6: Optimisation au sens des moindres carrés

ENSEIRB-MATMECA PG-113 2014. TP6: Optimisation au sens des moindres carrés ENSEIRB-MATMECA PG-113 014 TP6: Optimisation au sens des moindres carrés Le but de ce TP est d implémenter une technique de recalage d images qui utilise une méthode vue en cours d analyse numérique :

Plus en détail

Contenu de l action de formation BTS Comptabilité et Gestion des Organisations

Contenu de l action de formation BTS Comptabilité et Gestion des Organisations Contenu de l action de formation BTS Comptabilité et Gestion des Organisations INTITULE DE L ACTION DE FORMATION PUBLIC Brevet de Technicien Supérieur en Comptabilité et Gestion des Organisations L action

Plus en détail

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018

UFR d Informatique. FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 UFR d Informatique FORMATION MASTER Domaine SCIENCES, TECHNOLOGIE, SANTE Mention INFORMATIQUE 2014-2018 Objectif L UFR d informatique propose au niveau du master, deux spécialités sous la mention informatique

Plus en détail

DUT TECHNIQUES DE COMMERSIALISATION

DUT TECHNIQUES DE COMMERSIALISATION DUT TECHNIQUES DE COMMERSIALISATION RÉSUMÉ DE LA FORMATION Type de diplôme : DUT Domaine : Droit, Economie, Gestion Nature de la formation : Mention Niveau d'étude visé : BAC +2 Composante : Institut universitaire

Plus en détail

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques ANNEXE BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques L'enseignement des mathématiques dans les sections de techniciens supérieurs Agencement de l'environnement architectural

Plus en détail

GPA759 RÉSEAUX DE NEURONES ET INTELLIGENCE ARTIFICIELLE Préalable(s) : Aucun PLAN DE COURS SESSION AUTOMNE 2013

GPA759 RÉSEAUX DE NEURONES ET INTELLIGENCE ARTIFICIELLE Préalable(s) : Aucun PLAN DE COURS SESSION AUTOMNE 2013 École de technologie supérieure Département de génie de la production automatisée Responsable(s) du cours : Crédits : Richard Lepage, ing., Ph.D. GPA759 RÉSEAUX DE NEURONES ET INTELLIGENCE ARTIFICIELLE

Plus en détail

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant

Master CCI. Compétences Complémentaires en Informatique. Livret de l étudiant Master CCI Compétences Complémentaires en Informatique Livret de l étudiant 2014 2015 Master CCI Le Master CCI (Compétences Complémentaires en Informatique) permet à des étudiants de niveau M1 ou M2 dans

Plus en détail

Ma Licence à l ESTIM

Ma Licence à l ESTIM Ministère de l Enseignement Supérieur et de la Recherche Scientifique L Ecole Supérieure des Technologies d Informatique et de Management Ma Licence à l ESTIM Livret des études Année universitaire 2010-2011

Plus en détail

Informations de l'unité d'enseignement Implantation. Cursus de. Intitulé. Code. Cycle 1. Bloc 2. Quadrimestre 2. Pondération 4. Nombre de crédits 4

Informations de l'unité d'enseignement Implantation. Cursus de. Intitulé. Code. Cycle 1. Bloc 2. Quadrimestre 2. Pondération 4. Nombre de crédits 4 Informations de l'unité d'enseignement Implantation Cursus de Intitulé Code Institut Paul Lambin Bachelier en informatique de gestion Programmation Avancée en Java I2020 Cycle 1 Bloc 2 Quadrimestre 2 Pondération

Plus en détail

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire

INFORMATIQUE. Licence 3 e année (L3) & Master (M1-M2) Centre d Etudes Suisse Romande Formation universitaire Centre d Etudes Suisse Romande Formation universitaire INFORMATIQUE Licence 3 e année (L3) & Master (M1-M2) En collaboration avec l Université de Franche-Comté CTU de Besançon Unidistance 2 GÉNÉRALITÉS

Plus en détail

Pour un socle de la licence de MATHEMATIQUES

Pour un socle de la licence de MATHEMATIQUES Pour un socle de la licence de MATHEMATIQUES Société Mathématique de France Société de Mathématiques Appliquées et Industrielles Société Française de Statistique Contexte général Afin d éviter de trop

Plus en détail

CQPI Technicien qualité industriel

CQPI Technicien qualité industriel CQPI Technicien qualité industriel Public concerné Salariés ou futurs salariés qui auront pour mission d assurer le contrôle de la qualité et de participer à l amélioration des modes de production et/ou

Plus en détail

Le programme de mathématiques Classes de première STI2D STL

Le programme de mathématiques Classes de première STI2D STL Journée de l inspection 15 avril 2011 - Lycée F. BUISSON 18 avril 2011 - Lycée J. ALGOUD 21 avril 2011 - Lycée L. ARMAND Le programme de mathématiques Classes de première STI2D STL Déroulement de la journée

Plus en détail

Première STMG1 2014-2015 progression. - 1. Séquence : Proportion d une sous population dans une population.

Première STMG1 2014-2015 progression. - 1. Séquence : Proportion d une sous population dans une population. Première STMG1 2014-2015 progression. - 1 Table des matières Fil rouge. 3 Axes du programme. 3 Séquence : Proportion d une sous population dans une population. 3 Information chiffrée : connaître et exploiter

Plus en détail

Niveaux 1 2 3 4 Option spécifique - 2 2 3 Option complémentaire - - 2 2

Niveaux 1 2 3 4 Option spécifique - 2 2 3 Option complémentaire - - 2 2 Direction de l'instruction publique, de la culture et du sport Direktion für Erziehung, Kultur und Sport Service de l enseignement secondaire du deuxième degré Amt für Unterricht der Sekundarstufe 2 CANTON

Plus en détail

LICENCE INFORMATIQUE

LICENCE INFORMATIQUE COLLEGIUM SCIENCES ET TECHNOLOGIES LICENCE RMATIQUE Parcours Informatique (Nancy ou Metz) et Parcours ECS (Metz) OBJECTIFS DE LA FORMATION La licence Informatique délivre les connaissances et les compétences

Plus en détail

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques

Maquette Pédagogique. Diplôme d Ingénieur spécialité. Sciences Informatiques Maquette Pédagogique Diplôme d Ingénieur spécialité Sciences Spécialité SCIENCES INFORMATIQUES EP3IUE1 : Informatique Théorique 1 4,5 Mathématiques Discrètes Cours élémentaire de mathématiques discrètes

Plus en détail

Systèmes et applications distribués Intergiciels et applications communicantes

Systèmes et applications distribués Intergiciels et applications communicantes Systèmes et applications distribués Intergiciels et applications communicantes Philippe Quéinnec Télécommunication et Réseaux 2e année ENSEEIHT 24 février 2014 Inspiré de cours de G. Padiou, Ph. Mauran

Plus en détail

IFT 187 Éléments de bases de données

IFT 187 Éléments de bases de données Département d informatique IFT 187 Éléments de bases de données Plan de cours Automne 2014 Enseignants Marc Frappier Courriel : marc.frappier@usherbrooke.ca Local : D4-1010-08 Téléphone : (819) 821-8000

Plus en détail

Maquette pédagogique 2012-2013 spécialité Sciences de la Terre

Maquette pédagogique 2012-2013 spécialité Sciences de la Terre Maquette pédagogique 2012-2013 spécialité Sciences de la Terre Sciences de la Terre Premier semestre du cycle d ingénieur (S5) Il commence par la période d intégration que suivent tous les élèves de Polytech

Plus en détail

1 Présentation générale

1 Présentation générale Parcours «Management des processus de production de biens et services» du Master de Sciences de Gestion (M2) - mention «Management Global» de l Université Paris Dauphine 1 Présentation générale 1.1 Objectifs

Plus en détail

ANNEXE : Evaluation et ECTS* pour les étudiants de

ANNEXE : Evaluation et ECTS* pour les étudiants de Année académique 2012-2013 ANNEXE : Evaluation et ECTS* pour les étudiants de - 1ère année (Promotion 2017) - 2ème année (Promotion 201) - 3ème année (Promotion 2015 - Formation initiale et Formation par

Plus en détail

LICENCE. Mention Mathématiques. BAC + 1 2 3 4 5 Domaine :

LICENCE. Mention Mathématiques. BAC + 1 2 3 4 5 Domaine : LICENCE 2013-2014 Mention 1. Editorial du responsable La licence de mathématiques est une filière interdisciplinaire à dominante mathématique. Elle propose une formation générale en mathématiques, indispensable

Plus en détail

Programme détaillé BTS COMPTABILITE ET GESTION DES ORGANISATIONS. Objectifs de la formation. Les métiers DIPLÔME D ETAT

Programme détaillé BTS COMPTABILITE ET GESTION DES ORGANISATIONS. Objectifs de la formation. Les métiers DIPLÔME D ETAT Objectifs de la formation Le Brevet de Technicien Supérieur de Comptabilité et Gestion des Organisations est un diplôme national de l enseignement supérieur dont le titulaire, au sein des services administratifs,

Plus en détail

Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC

Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC Informatique commune en CPGE PSI-PC-PT-MP-TSI-TPC L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité

Plus en détail

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion

Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion LICENCE FONDAMENTALE INFORMATIQUE DE GESTION Domaine de Formation : Sciences et Technologies Mention : Informatique Spécialité : Informatique de Gestion I. Présentation de la licence Le but de la Licence

Plus en détail

Chapitre 1. Introduction aux Bases de Données. Cours de Bases de Données. Polytech Paris-Sud. Chapitre 1 : Quelques questions

Chapitre 1. Introduction aux Bases de Données. Cours de Bases de Données. Polytech Paris-Sud. Chapitre 1 : Quelques questions Cours de Bases de Données Chapitre 1 Polytech Paris-Sud Sarah Cohen-Boulakia LRI, Bât 490, Université Paris-Sud 11, Orsay cohen @ lri. fr 01 69 15 32 16 Introduction aux Bases de Données 1 2 Chapitre 1

Plus en détail

Les sections 6 et 7. du ComitéNational de la RechercheScientifique

Les sections 6 et 7. du ComitéNational de la RechercheScientifique Les sections 6 et 7 du ComitéNational de la RechercheScientifique (CoNRS) Frédérique Bassino et Michèle Basseville Plan Le comité national Les missions des sections Les sections 6 et 7 Le comiténational

Plus en détail

Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE)

Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE) Fiche descriptive d une unité d enseignement (UE) et de ses éléments constitutifs (ECUE) Intitulé de l UE Informatique Générale et SIG 2 Nombre des crédits:.. 6.. Code UE : GEOIDE2F1. Université : Mannouba.

Plus en détail

Ingénierie d aide à la décision

Ingénierie d aide à la décision Ingénierie d aide à la décision Maria Malek 1 er septembre 2009 1 Objectifs et débouchés Nous proposons dans cette option deux grands axes pour l aide à la décision : 1. La recherche opérationnelle ; 2.

Plus en détail

Programme détaillé des enseignements

Programme détaillé des enseignements Programme détaillé des enseignements SEMESTRE S1 STATISTIQUES Méthodes d'estimation ponctuelle (méthodes des moments, du maximum de vraisemblances, bayésienne) et par intervalles de confiance. Statistiques

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) Intitulé (cadre 1) Master domaine Sciences humaines et sociales, mention Sciences Du Langage, spécialité Didactique des langues et des cultures

Plus en détail

PROJET DE SPÉCIALITÉ DU MASTER DE MATHÉMATIQUES. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE

PROJET DE SPÉCIALITÉ DU MASTER DE MATHÉMATIQUES. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE PROJET DE SPÉCIALITÉ DU MASTER DE MATHÉMATIQUES. MODÉLISATION MATHÉMATIQUE & ANALYSE STATISTIQUE Porteurs du projet Marc Arnaudon, professeur des universités, responsable des relations avec les entreprises.

Plus en détail

I. Bases de données. Exemples classiques d'applications BD. Besoins de description

I. Bases de données. Exemples classiques d'applications BD. Besoins de description I. Bases de données Exemples classiques d'applications BD Les besoins Qu est ce qu un SGBD, une BD Architecture d un SGBD Cycle de vie Plan du cours Gestion des personnels, étudiants, cours, inscriptions,...

Plus en détail

sous réserve de validation des modifications DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT FINANCE

sous réserve de validation des modifications DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT FINANCE sous réserve de validation des modifications Niveau : MASTER année Domaine : Mention : DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT M2 Spécialité : FINANCE 120 ES Volume horaire étudiant : 335 h 35 h

Plus en détail

Programme détaillé BTS INFORMATIQUE DE GESTION DIPLÔME D ETAT. Objectifs de la formation. Les métiers. Durée de la formation

Programme détaillé BTS INFORMATIQUE DE GESTION DIPLÔME D ETAT. Objectifs de la formation. Les métiers. Durée de la formation Objectifs de la formation Les inscriptions sont réservées aux élèves de niveau BAC ou plus, et sont ouvertes dans la mesure des places disponibles. Le Brevet de Technicien Supérieur d Informatique de Gestion

Plus en détail

MAT265 ÉQUATIONS DIFFÉRENTIELLES Préalable(s) : MAT145 PLAN DE COURS SESSION AUTOMNE 2013

MAT265 ÉQUATIONS DIFFÉRENTIELLES Préalable(s) : MAT145 PLAN DE COURS SESSION AUTOMNE 2013 École de technologie supérieure Service des enseignements généraux Responsable(s) du cours : Michel Beaudin Luc Soucy Crédits : 4 MAT265 ÉQUATIONS DIFFÉRENTIELLES Préalable(s) : MAT145 PLAN DE COURS SESSION

Plus en détail

OFFRE DE FORMATION L.M.D.

OFFRE DE FORMATION L.M.D. REPUBLIQUE ALGERIENNE DEMOCRATIQUE ET POPULAIRE MINISTERE DE L ENSEIGNEMENT SUPERIEUR ET DE LA RECHERCHE SCIENTIFIQUE OFFRE DE FORMATION L.M.D. MASTER PROFESSIONNEL ET ACADEMIQUE Systèmes d Information

Plus en détail

1 Objectif de la formation MASTER PROFESSIONNEL (1 ANNEE) 2 Poursuite d étude. 3-Moyens mis en œuvre. 4- Conditions d'admission

1 Objectif de la formation MASTER PROFESSIONNEL (1 ANNEE) 2 Poursuite d étude. 3-Moyens mis en œuvre. 4- Conditions d'admission MASTER PROFESSIONNEL (1 ANNEE) INFORMATIQUE, STATISTIQUE, MATHEMATIQUES APPLIQUEES A LA GESTION DE PRODUCTION 2009-2010 Département de mathématiques et informatique UFR Sciences, Espaces et Sociétés Université

Plus en détail

STAGES INTENSIFS DE REVISION

STAGES INTENSIFS DE REVISION CENTRE SCOLAIRE OZANAM Internat et externat pour lycéens et étudiants Etudes encadrées et soutien scolaire Stages intensifs de révision 60 rue Vauban 69006 LYON 04 78 52 27 99 / Fax : 04 78 52 11 15 www.ozanamlyon.fr

Plus en détail

LICENCE. Mathématiques

LICENCE. Mathématiques LICENCE Mathématiques Que sont les mathématiques? Les mathématiques, par l étude d objets abstraits (nombres, figures géométriques...) et le recours au raisonnement logique, permettent de décrire et de

Plus en détail

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées

ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées ACADiE : Assistance à la Certification d Applications Distribuées et Embarquées Permanents (11) Doctorants (10) Permanents Doctorants Jean-Paul Bodeveix Julien Brunel Xavier Crégut Benoît Combemale Mamoun

Plus en détail

Objectifs. Maîtriser. Pratiquer

Objectifs. Maîtriser. Pratiquer 1 Bases de Données Objectifs Maîtriser les concepts d un SGBD relationnel Les modèles de représentations de données Les modèles de représentations de données La conception d une base de données Pratiquer

Plus en détail

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation.

Objectifs du cours. Master mention Informatique M1. Construction d Applications Réparties. Sommaire. Organisation. Master mention Informatique M1 Construction d s Réparties Lionel Seinturier USTL-LIFL Équipe GOAL/Projet INRIA Jacquard Lionel.Seinturier@lifl.fr 2006/2007 1 Objectifs du cours Appréhender la conception

Plus en détail

Composante(s) de rattachement : UFR des Sciences et Techniques

Composante(s) de rattachement : UFR des Sciences et Techniques Niveau : MASTER année Domaine : Mention : Spécialité : SCIENCES - TECHNOLOGIES - SANTE MATHEMATIQUES ET APPLICATIONS Mathématiques pour l'informatique Graphique et les statistiques (MIGS) M1 60 ES Volume

Plus en détail

Systèmes d Information Avancés (et répartis)

Systèmes d Information Avancés (et répartis) Systèmes d Information Avancés (et répartis) Université Lyon 1 MIAGE L. Médini, mars 2005 Plan des cours Protocole HTTP et programmation serveur Architectures réparties Objets distribués Introduction aux

Plus en détail

Introduction aux Bases de Données

Introduction aux Bases de Données Introduction aux Bases de Données I. Bases de données I. Bases de données Les besoins Qu est ce qu un SGBD, une BD Architecture d un SGBD Cycle de vie Plan du cours Exemples classiques d'applications BD

Plus en détail

Optimisation et programmation mathématique. Professeur Michel de Mathelin. Cours intégré : 20 h

Optimisation et programmation mathématique. Professeur Michel de Mathelin. Cours intégré : 20 h Télécom Physique Strasbourg Master IRIV Optimisation et programmation mathématique Professeur Michel de Mathelin Cours intégré : 20 h Programme du cours d optimisation Introduction Chapitre I: Rappels

Plus en détail

L analyse d images regroupe plusieurs disciplines que l on classe en deux catégories :

L analyse d images regroupe plusieurs disciplines que l on classe en deux catégories : La vision nous permet de percevoir et d interpreter le monde qui nous entoure. La vision artificielle a pour but de reproduire certaines fonctionnalités de la vision humaine au travers de l analyse d images.

Plus en détail

TABLEAU D EQUIVALENCE DE MODULES

TABLEAU D EQUIVALENCE DE MODULES Licence Fondamentale Sciences de Gestion 1 er Cycle Sciences de Gestion et Etudes Comptables UEF 1 Introduction à la Gestion I Comptabilité Financière I I Microéconomie Micro-économie I ou II Mathématique

Plus en détail

sous réserve de validation des modifications DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT MARKETING

sous réserve de validation des modifications DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT MARKETING sous réserve de validation des modifications Niveau : MASTER Année Domaine : Mention : DROIT ECONOMIE GESTION SCIENCES DU MANAGEMENT M1 Parcours : MARKETING 60 ES Volume horaire étudiant : 262 h 154 h

Plus en détail

Développement de logiciel

Développement de logiciel approche formelle et approche à objets Pascal ANDRE Université de Nantes Master Miage M1 Plan Introduction Développement formel du logiciel Développement du logiciel à objets Projection Développement du

Plus en détail

IT203 : Systèmes de gestion de bases de données. A. Zemmari zemmari@labri.fr

IT203 : Systèmes de gestion de bases de données. A. Zemmari zemmari@labri.fr IT203 : Systèmes de gestion de bases de données A. Zemmari zemmari@labri.fr 1 Informations pratiques Intervenants : Cours : (A. Zemmari zemmari@labri.fr) TDs, TPs : S. Lombardy et A. Zemmari Organisation

Plus en détail

1 ère année de Licence de Mathématiques et Informatique

1 ère année de Licence de Mathématiques et Informatique 1 ère année de Licence de Mathématiques et Informatique Mesures transitoires : tableau des correspondances Semestre 1 Ancienne Nouvelle habilitation habilitation Analyse S1 Analyse S1 Algèbre S1 Algèbre

Plus en détail

FORMATION. 3eme ANNEE DE SPECIALISATION COMMUNICATION, RP, EVENEMENTIEL en alternance. Préparation au DEESCOM Diplôme de la FEDE

FORMATION. 3eme ANNEE DE SPECIALISATION COMMUNICATION, RP, EVENEMENTIEL en alternance. Préparation au DEESCOM Diplôme de la FEDE FORMATION 3eme ANNEE DE SPECIALISATION COMMUNICATION, RP, EVENEMENTIEL en alternance Préparation au DEESCOM Diplôme de la FEDE 1 DESCRIPTIF DE LA FORMATION 3 ème année COMMUNICATION/RP/EVENEMENTIEL La

Plus en détail

Programme détaillé BTS MANAGEMENT DES UNITES COMMERCIALES. Objectifs de la formation. Les métiers. Durée des études DIPLÔME D ETAT

Programme détaillé BTS MANAGEMENT DES UNITES COMMERCIALES. Objectifs de la formation. Les métiers. Durée des études DIPLÔME D ETAT Objectifs de la formation Le BTS Management des unités commerciales a pour perspective de vous permettre de prendre la responsabilité de tout ou partie d une unité commerciale. Une unité commerciale est

Plus en détail

COURS CAPITOLE CONCOURS PASSERELLE 1 :

COURS CAPITOLE CONCOURS PASSERELLE 1 : COURS CAPITOLE CONCOURS PASSERELLE 1 : Les admissions parallèles sont un moyen d intégrer une école supérieure de commerce, sans avoir à effectuer les classes préparatoires. Les étudiants issus d un 1er

Plus en détail

Ingénieur de recherche en statistique

Ingénieur de recherche en statistique Ingénieur de recherche en statistique E1D24 Statistique - IR Dans le cadre d une étude ou d un projet de recherche, l ingénieur de recherche en statistique conçoit le plan d analyse statistique et prend

Plus en détail

Formations Management

Formations Management Formations Management MANAGEMENT ET COMMUNICATION Ecole du Management : Cycle Animateur d équipe Ecole du Management : Cycle Maîtrise Ecole du Management : Cycle Coordinateur Technique Animateur (trice)

Plus en détail

LICENCE SCIENCES, TECHNOLOGIES, SANTE MENTION INFORMATIQUE

LICENCE SCIENCES, TECHNOLOGIES, SANTE MENTION INFORMATIQUE LICENCE SCIENCES, TECHNOLOGIES, SANTE MENTION INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine : Sciences, Ingénierie et Technologies Mention : Informatique Présentation Informatique

Plus en détail

Livre Blanc. Optimiser la gestion et le pilotage des opérations. Août 2010

Livre Blanc. Optimiser la gestion et le pilotage des opérations. Août 2010 Livre Blanc Optimiser la gestion et le pilotage des opérations Août 2010 Un livre blanc édité par : NQI - Network Quality Intelligence Tél. : +33 4 92 96 24 90 E-mail : info@nqicorp.com Web : http://www.nqicorp.com

Plus en détail

CQPI Technicien qualité

CQPI Technicien qualité CQPI Technicien qualité Public concerné Salariés ou futurs salariés qui auront pour mission d assurer le contrôle de la qualité et de participer à l amélioration des modes de production et/ou à la mise

Plus en détail

COMPÉTENCES, ÉLÉMENTS DE COMPÉTENCES ET RESSOURCES À MOBILISER POUR LE DESS, LA MAÎTRISE PROFESSIONNELLE, LA MAÎTRISE RECHERCHE ET LE DOCTORAT

COMPÉTENCES, ÉLÉMENTS DE COMPÉTENCES ET RESSOURCES À MOBILISER POUR LE DESS, LA MAÎTRISE PROFESSIONNELLE, LA MAÎTRISE RECHERCHE ET LE DOCTORAT Direction des affaires académiques et internationales Études supérieures COMPÉTENCES, ÉLÉMENTS DE COMPÉTENCES ET RESSOURCES À MOBILISER POUR LE DESS, LA MAÎTRISE PROFESSIONNELLE, LA MAÎTRISE RECHERCHE

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE OPERATIONNELLE METIERS) Intitulé (cadre 1) Licence de droit, économie, gestion Mention Administration économique et sociale Autorité responsable de la certification

Plus en détail

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B :

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B : SEMESTRE S Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Discipline B : 0 0 Biologie Biologie Chimie Chimie Géologie Géologie Informatique Informatique Physique

Plus en détail

INFORMATIQUE & WEB. PARCOURS CERTIFICAT PROFESSIONNEL Programmation de sites Web. 1 an 7 MODULES. Code du diplôme : CP09

INFORMATIQUE & WEB. PARCOURS CERTIFICAT PROFESSIONNEL Programmation de sites Web. 1 an 7 MODULES. Code du diplôme : CP09 INFORMATIQUE & WEB Code du diplôme : CP09 Passionné par l informatique et le web, vous souhaitez obtenir une certification dans un domaine porteur et enrichir votre CV? PARCOURS CERTIFICAT PROFESSIONNEL

Plus en détail

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE)

RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) RESUME DESCRIPTIF DE LA CERTIFICATION (FICHE REPERTOIRE) Intitulé (cadre 1) Master Sciences Humaines et Sociales Mention : Stratégies Internationales et Diversités Culturelles Spécialité: Langues et Communication

Plus en détail

Contrôle en Cours de Formation Diplôme préparé Baccalauréat Professionnel : Séquence 1 - Semestre 1. Session.

Contrôle en Cours de Formation Diplôme préparé Baccalauréat Professionnel : Séquence 1 - Semestre 1. Session. Contrôle en Cours de Formation Diplôme préparé Baccalauréat Professionnel : Séquence 1 - Semestre 1 LP Nelson Mandela 8 rue Julien Pranville BP 168 91154 Etampes Cedex Session. Nom :.. Prénom :.. Note

Plus en détail

SYLLABUS SEMESTRE 9 Année 2011-2012

SYLLABUS SEMESTRE 9 Année 2011-2012 SYLLABUS SEMESTRE 9 2011-2012 Parcours S2I «Systèmes d Information et Informatique» François Brucker Tel.: 04 91 05 43 95 E-mail : francois.brucker@centrale-marseille.fr PROGRAMME Nb heures élèves (hors

Plus en détail

LICENCE (LMD) - INFORMATIQUE

LICENCE (LMD) - INFORMATIQUE LICENCE (LMD) - INFORMATIQUE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine ministériel : Sciences, Technologies, Santé OBJECTIFS Les connaissances et compétences informatiques visées par

Plus en détail

II. Modalités de mise en œuvre du CCF pour l épreuve E4 et E6 du BTS TC

II. Modalités de mise en œuvre du CCF pour l épreuve E4 et E6 du BTS TC 1. RECOMMANDATIONS pour l épreuve E4 en CCF II. Modalités de mise en œuvre du CCF pour l épreuve E4 et E6 du BTS TC E4 : Négociation technico-commerciale (coef 4) SITUATION 1 SITUATION 2 Compétences C111

Plus en détail

Informatique en CPGE

Informatique en CPGE Informatique en CPGE L ingénieur doit maîtriser les concepts fondamentaux de l informatique pour : communiquer avec les informaticiens comprendre les questions de complexité algorithmique, de précision

Plus en détail

UE 8 Systèmes d information de gestion Le programme

UE 8 Systèmes d information de gestion Le programme UE 8 Systèmes d information de gestion Le programme Légende : Modifications de l arrêté du 8 mars 2010 Suppressions de l arrêté du 8 mars 2010 Partie inchangée par rapport au programme antérieur Indications

Plus en détail

L approche Bases de données

L approche Bases de données L approche Bases de données Cours: BD. Avancées Année: 2005/2006 Par: Dr B. Belattar (Univ. Batna Algérie) I- : Mise à niveau 1 Cours: BDD. Année: 2013/2014 Ens. S. MEDILEH (Univ. El-Oued) L approche Base

Plus en détail

Qu est ce qu un Système d Information

Qu est ce qu un Système d Information Introduction Qu est ce qu un Système d Information Système = ensemble auto-réglable et interagissant avec l environnement qui fonctionne en vue d un objectif précis environnement entrées sorties régulation

Plus en détail

La gestion de la clientèle pour le commerce et l artisanat : vos clients et leurs besoins

La gestion de la clientèle pour le commerce et l artisanat : vos clients et leurs besoins Qu une entreprise cherche à s adapter à son environnement et/ou à exploiter au mieux ses capacités distinctives pour développer un avantage concurrentiel, son pilotage stratégique concerne ses orientations

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

SYLLABUS / PLAN DE COURS. 40,5 Charge de travail personnel de 2 heures/semaine TP : 1 semaine. QCM Dissertation Cas Pratique

SYLLABUS / PLAN DE COURS. 40,5 Charge de travail personnel de 2 heures/semaine TP : 1 semaine. QCM Dissertation Cas Pratique SYLLABUS / PLAN DE COURS Matière : Algorithmique pour l infographie: 2I Code du module : * Cursus : * Semestre : 1 et 2 Nombre ECTS du cours : * Rempli par l administration de PPA * Responsable du cours

Plus en détail

Nicolas Kielbasiewicz C.D.C.S.P. / I.S.T.I.L./ U.C.B.L. Domaine Scientifique de la Doua 15, boulevard André Latarjet 69622 Villeurbanne cedex

Nicolas Kielbasiewicz C.D.C.S.P. / I.S.T.I.L./ U.C.B.L. Domaine Scientifique de la Doua 15, boulevard André Latarjet 69622 Villeurbanne cedex Nicolas Kielbasiewicz C.D.C.S.P. / I.S.T.I.L./ U.C.B.L. Domaine Scientifique de la Doua 15, boulevard André Latarjet 69622 Villeurbanne cedex 27 ans e-mail : nicolas.kielbasiewicz@cdcsp.univ-lyon1.fr Permis

Plus en détail

SCIENCES - TECHNOLOGIES - SANTE. STIC : Sciences et Technologies de l Information et de la Communication. Parcours Informatique

SCIENCES - TECHNOLOGIES - SANTE. STIC : Sciences et Technologies de l Information et de la Communication. Parcours Informatique 2012-2015 Niveau : MASTER année Domaine : Mention : Spécialité : Volume horaire étudiant : SCIENCES - TECHNOLOGIES - SANTE STIC : Sciences et Technologies de l Information et de la Communication Parcours

Plus en détail

Activité Intitulé de l'activité Volume horaire

Activité Intitulé de l'activité Volume horaire Informations de l'unité d'enseignement Implantation IPL Cursus de Bachelier en chimie Introduction à la statistique C1110 Cycle 1 Bloc 1 Quadrimestre 2 Pondération 1 Nombre de crédits 4 Nombre d heures

Plus en détail