1 ère année L1 (Programme Mathématiques Informatique- Appliquées) : MIA

Transcription

1 Description et organisation générale du diplôme 1 ère année L1 (Programme Mathématiques Informatique- Appliquées) : MIA Semestre 1 CM TD TP Crédits UE 1 (Fondamentale) 15 Algèbre 1 1h 30 1h 30 3 Analyse 1 3h 3h 6 Informatique 1 3h 1h 30 1h 30 6 UE 2 (de découverte) 9 Mécanique du point 1h 30 1h 30 3 Electricité 1h 30 1h option à choisir parmi 1h30 3 Physique Optique Chimie Economie de l'entreprise ou d autres options à définir par l'établissement UE 3 (méthodologique) 6 TP bureautique 1h30 3 Technique d'expression et de 1h30/quinz. 1,5 communication Anglais 1 1h30/quinz. 1,5 Total (25h30, 30 crédits) 13h30 9h 3h 30 Semestre 2 CM TD TP Crédits UE 4 (fondamentale) 12 Algèbre 2 1h 30 1h 30 4 Analyse 2 1h 30 1h 30 4 Statistique Descriptive 1h 30 1h 30 4 UE 5 (fondamentale) 12 Calcul Formel 1h 30 1h30 3 Structure Machine 1h 30 1h 30 3 Informatique 2 3h 1h 30 1h 30 6 UE 6 (culture générale) 6 Anglais 2 1h 30 2 Histoire des sciences 1h 30 2 Technologie WEB 1h 30 2 Total (25h30, 30 crédits) 15h 7h30 3h 30 3

2 LICENCE INFORMATIQUE L2, L3 Condition d'accès A l'issue de la première année MI, les étudiants peuvent choisir de s'inscrire en L2 de ce parcours (Ingénierie des systèmes informatique) conformément aux règles de progression en vigueur. 2 ème ANNEE L2 : LICENCE INFORMATIQUE Semestre 3 CM TD TP CR UE 7 (Enseignements généraux) 12 Mathématique : Probabilités et statistiques 1h30 1h30 4 Recherche opérationnelle 1h30 1h30 4 Logique Mathématique 1h30 1h30 4 UE 8 (Enseignements spécialisés) 16 éléments d' algorithmique et structure de 3h 1h30 1h30 6 données Architecture des ordinateurs 3h 1h30 1h30 6 Modélisation 1h30 1h30 4 UE 9 (Culture générale) 2 Histoire de l'informatique (de préférence en 1h30 2 anglais) Total (25h30, 30 crédits) 13h30 9h00 3h 30 Semestre 4 CM TD TP CR UE 10 (Enseignements généraux) 14 Programmation impérative et structure de 3h 1h30 1h30 6 données avancées Complexité 1h30 1h30 4 Paradigme des langages de programmation 1h30 1h30 4 UE 11 (Enseignements spécialisés) 14 Théorie des langages 1h30 1h30 4 Principes des systèmes d'exploitation 1h30 1h30 1h30 6 Génie logiciel 3h 1h30 1h30 4 UE 12 (Méthodologique) 2 Publication assistée par ordinateur (latex,...) 1h30 1h30 2 Total (28h30, 30 crédits) 13h30 10h30 4h ème ANNEE L3 : LICENCE INFORMATIQUE 4

3 Semestre 5 CM TD TP CR UE 13 (Enseignements specialisés) 18 Compilation 3h 1h30 1h30 6 Bases de données 3h 1h30 6 Introduction aux réseaux 3h 1h30 6 UE 14 (Enseignements généraux) 10 Systèmes formels 1h30 1h30 5 Programmation orientée objet 1h30 1h30 5 UE 15 (Culture générale) 2 Informatique et société 1h30 2 Total (22h30, 30 crédits) 13h30 6h00 3h00 30 Semestre 6 CM TD TP CR UE 16 (Enseignements spécialisés) 30 Sécurité 1h30 5 Un à choisir parmi : 1h Systèmes embarqués - Systèmes distribués Mémoire 20 Total (03h00, 30 crédits) 3h 30 CONTENUS PEDAGOGIQUES : 1 ère Année L1 (PCMI : Programme Commun Mathématiques Informatiques) Semestre 1 UE1 (Fondamentale) 15 crédits Analyse 1 - Nombres réels et nombres complexe. - Suites et limites. - Fonctions à une variable réelle, continuité, dérivabilité. - Théorème des accroissements finis - Formule de Taylor et développements limités - Fonctions élémentaires Algèbre 1 5

4 - Rappels sur l'anneau Z (théorème de Bézout, équations diophantiennnes, idéaux, congruences) - Applications d'ensembles: injection, surjection, bijection, image réciproque, restriction, prolongement,représentation. - Relations binaires sur un ensemble: équivalence, ordre. - Structures algébriques: monoïde, demi-groupe, groupe, exemples. - Homomorphismes de groupes, isomorphismes, endomorphismes, automorphismes, exemples. - Anneau de polynômes Z[X], R[X], C[X], zéros, polynômes irréductibles. Informatique 1 L'objectif de cette première unité d'introduction à la discipline informatique est de permettre aux étudiants de mieux comprendre les principes de fonctionnement d'une machine (ou d'un réseau de machines) et d'un logiciel, ainsi que certains principes de base de la programmation. UE2 (de découverte) 9 Crédits Mécanique du Point (même programme que SM et STPI) Electricité (même programme que SM et STPI) Physique optique (optionnelle : même programme que SM et STPI) Chimie (optionnelle : même programme que STPI) Economie de l Entreprise (optionnelle) UE3 (Méthodologique) 6 Crédits TP Bureautique Objectif : Apprentissage de l interface graphique Windows (Système Windows), et des outils de bureautique pour la conception de documents sous différents formats : Word, Scientific Word, PowerPoint, Excel, FrontPage. Familiarisation avec les services d Internet : Internet Explorer (navigation sur Internet), Moteurs de recherche (Google, Altavista, ), Messagerie électronique, Techniques d expression et de communication - Techniques d expression écrite : mémoire, rapport, synthèse, etc. - Techniques d expression orale : soutenance, exposé, utilisation des moyens de communication modernes. Expression et communication dans un groupe. Anglais 1 - Amélioration de la compétence linguistique générale sur le plan de la compréhension et de l expression - Acquisition du vocabulaire spécialisé de l anglais informatique. Semestre 2 6

5 UE4 (Fondamentale) 12crédits Analyse 2 - Intégrales définies, primitives. - Equations différentielles du 1 er et 2 ème ordre à coefficients constants. Algèbre 2 - Espaces vectoriels de dimension finie, bases, sous-espaces. - Applications linéaires, matrice d'une application linéaire. - Déterminants. - Applications aux systèmes d'équations linéaires, système de Cramer. - Opérations sur les matrices. Statistique descriptive Chapitre 1. Séries statistiques à une variable 1- Population. Individu. Echantillon. Caractères quantitatifs, variables statistiques discrètes et continues. 2- Effectif. Fréquence. Pourcentage. 3- Effectif cumulé. Fréquence cumulée. 4- Représentations graphiques: diagramme à bande, diagramme circulaire, diagramme en bâton. Polygone des effectifs (et des fréquences). Histogramme. Courbes cumulatives. 5- Caractéristiques de position: mode, moyenne arithmétique, moyenne harmonique, moyenne géométrique, médiane. 6- Caractéristiques de dispersion: étendue, variance et écart-type, coefficient de variation, quartiles, étendue interquartile. 7- Représentation graphique des résultats à l'aide du box-plot. Chapitre 2. Séries statistiques à deux variables 1- Tableaux de données (tableau de contingence). Nuage de points. 2- Distributions marginales et conditionnelles. Covariance. 3- Coefficient de corrélation linéaire. Droite de régression et droite de Mayer. 4- Courbe de régression, couloir de régression et rapport de corrélation. 5- Ajustement fonctionnel. UE5 (Fondamentale) 12 crédits Informatique 2 Au second semestre sont abordées les notions de base de la modélisation informatique de problème : analyse et modélisation d'un problème, algorithmique et programmation. L'enseignement s'appuie sur un langage impératif et typé (Pascal ou C). 7

6 De plus, un enseignement est conçu autour d'une étude de cas dont le thème porte sur une application de l'informatique à la résolution d'un problème de mathématique ou de physique Calcul Formel - Apprentissage d un langage de calcul scientifique (Mathématica, ) - Quelques techniques de résolution des problèmes numériques, - Evaluation des performances (prévision/efficacité) d une méthode de calcul. Structure Machine Objectif: Prendre connaissances de la théorie formelle basée sur l Algèbre de Boole pour la synthèse des circuits. Plan du cours: Partie 1 - Les systèmes de numération - Les conversions entre ces systèmes - Les opérations de base (base 2, base 16, base 8) Addition Soustraction Multiplication Division Le complément à 1 et 2 Les différents codages Partie 2 : Algèbre de Boole Définition Définition axiomatique de l algèbre de Boole Théorèmes et propriétés de l algèbre de Boole Principe de dualité Théorèmes fondamentaux Précédence des opérateurs Diagramme de Venn Fonctions booléennes Manipulations algébriques Complément d une fonction D autres Opérateurs Binaires Simplification des fonctions booléennes Méthode de Karnaugh Table à deux et trois variables o Propriété des carrés adjacents Table à quatre variables Table à cinq et six variables Simplification en produits de somme Conditions indéfinies et fonctions incomplètes Méthode de Quine Mc Cluskey o Détermination des monômes premiers o Sélection des monômes premiers 8

7 Les circuits combinatoires Analyse d un circuit combinatoire Synthèse d un circuit combinatoire Exemple : Additionneur. Un circuit particulier : les Multiplexeurs / Demultiplexeurs UE6 (Culture Générale) 6 crédits Technologie Web - Introduction à l Internet - Réseau et Communication - Introduction au Word-Wide-Web (WWW) : technologies Web, protocole HTML, format d une page web, outils de création d un site web - Technologies des données : son, image, animation et vidéo, outils pour le développement multimédia - Interactivité sur le Web : rôle des applets Histoire des Sciences Anglais 2 Objectif : Soutenir une conversation technique avec un interlocuteur anglophone, comprendre et rédiger des documents techniques. Chaque étudiant aura la possibilité de se présenter au TOEFL. Ce cours est organisé en groupes de niveau : - Anglais de base - Anglais technique - Préparation au TOEFL. 9

8 2 ème Année L2 (Licence d'informatique) Semestre 3 UE7 (Enseignements généraux) 12 crédits Mathématique : Probabilités et statistiques Chapitre 1: Théorie des Probabilités. Notions de probabilités Analyse combinatoire (rappels) Epreuves et Evènements Espace probabilisé Probabilité conditionnelle - Théorème de Bayes Le paradoxe de Bertrand Chapitre 2 : Variables aléatoires Chapitre 3 : Statistique inférentielle Echantillonnage, constitution des échantillons, distributions d'échantillonnage, Estimation : théorie élémentaire, estimation ponctuelle et par intervalle de confiance. Chapitre 4 : Tests d'hypothèses: Test entre deux hypothèses simples, Test entre hypothèses composées, Test de comparaison, Test du rapport des vraisemblances maximales, Recherche opérationnelle Objectif : Le but ce cours est de fournir des méthodes ou des techniques pour répondre à un type précis de problème, c'est-à-dire à élaborer une démarche universelle pour un type de problème qui aboutit à la (les) solution(s) la (les) plus efficace(s). Cette démarche comporte en général deux parties : la modélisation, qui consiste à représenter les opérations du système par un modèle mathématique, et le calcul d'un plan optimal ou quasi optimal. Chapitre 1: Introduction Présentation de la Recherche Opérationnelle. Domaines D application (problèmes combinatoires, aléatoires,.). Chapitre 2 : Rappels mathématiques Matrices Espace Vectoriel Base et Dimensions Déterminant, inverse d une matrice Système de m équations linéaires à n inconnues. Chapitre 3 : Programmation Linéaire Généralités, Exemple Eléments d un modèle de programmation linéaire. Forme canonique, générale et standard des programmes linéaires. Résolution graphique (avec deux variables). Chapitre 3 : Méthodes du Simplexe. Principe de l algorithme du simplexe. Forme matricielle (algébrique), Méthode des tableaux. 10

9 Méthode des 2 phases, la Méthode des pénalités (Big M). Chapitre 4 : Dualité. Ecriture et formulation du problème dual, relation entre le primal et le dual. Résolution du problème dual. Chapitre 5 : Problème de transport Modélisation du problème Recherche d une solution de base. Chapitre 6 : Théorie des graphes Notions fondamentales de la théorie des graphes. Problèmes de plus court chemin. Problèmes d ordonnancement. Problèmes d affectation. 1. C. Berge. Graphes et Hypergraphes. Dunod, Gérard Desbazeille Exercices et problèmes de recherche opérationnelle Dunod, Paris, Robert Faure Précis de recherche opérationnelle Dunod, Paris, Michel Gondran et Michel Minoux Graphes et algorithmes Eyrolles, Paris, Logique Mathématique Chapitre 1 : Calcul des propositions : tables de vérité, tautologies, formes normales, compacité. Chapitre 2 : Calcul des prédicats : langages du premier ordre, termes, formules, modèles ; satisfaction d une formule dans un modèle ; sous-structures ; isomorphismes ; équivalence élémentaire. Chapitre 3 : Théorie des ensembles : axiomes de Zermelo-Frænkel ; cardinaux ; théorèmes de Cantor et de Cantor-Bernstein ; ensembles finis, ensembles dénombrables. Chapitre 4 : Calculabilité : fonctions récursives et fonctions calculables par machine ; caractérisation logique des fonctions calculables R. CORI & D. LASCAR : Logique mathématique : cours et exercices (nouvelle édition, Dunod, 2 tomes, 2003, chapitres 1, 3, 7). P. HALMOS : Introduction à la théorie des ensembles (Gauthiers-Villars, 1967 ; reimpression : Jacques Gabay, 1997). Version originale : Naïve Set Theory, (Van Nostrand, 1960, dernière édition : Springer, 1998) UE8 (Enseignements spécialisés) 16 crédits Eléments d'algorithmique et structure de données Notion d'algorithme. Les données et leur structure : Notion de variable,... Instructions en séquence, instructions conditionnelles Structures de contrôle Fonctions et Procédures Récursivité Algorithmes de recherche : séquentielle, dichotomique. Analyse de complexité Algorithmes de tri : bulle, insertion, tri rapide. Analyse de complexité 11

10 : Introduction to Algorithms; Cormen, Leiserson et Rivest; Wiley Architecture des ordinateurs Objectifs : - Expliquer à l étudiant le concept d architecture à travers le modèle multicouche. - Décrire la structure et le fonctionnement d un ordinateur selon l architecture conventionnelle de Von Newman - Présenter quelques méthodes de codage des instructions machine (codage par champs). - Comprendre le principe de fonctionnement des différentes architectures (à Accumulateur, à pile, à Registres généraux) et être capable de comparer entre elles sur le plan programmation, en utilisant le langage assembleur. - Familiariser l étudiant avec les jeux d instructions RISC et CISC et savoir convertir des fragments de programme écrit pour l une de ces architectures qu ils puissent être exécutés avec l autre. - Comprendre la différence entre l architecture du jeu d instructions et la microarchitecture des processeurs. - Initier l étudiant aux techniques de conception de l unité de commande: câblée et micro-programmée. - Initier l étudiant à la conception guidée par des concepts de langages évolués et des systèmes d exploitation, afin de mettre en place des processeurs qui supportent l exécution efficace des programmes générés par des compilateurs, et l exécution d un noyau système (inclure également la vision des constructeurs de processeur : Intel, Motorola, MIPS, SPARC, ). Chapitre 1 : Introduction aux systèmes Informatiques - Modèle en couches d un système informatique - Architecture de Von Newman (processeur, mémoire, E/S) Chapitre 2 : Architecture du jeu d instructions (ISA) - Concept d architecture logicielle : Registres accessibles, Modes d adressages - Langage machine et son codage (taille fixe & variable), langage assembleur - Jeu d instructions (différents types d instructions machine) - Exécution des instructions machines (cycle de recherche & d exécution) - Modèles d exécution (Accumulateur, Registres Généraux, Pile et Load/Store) - Complexité du jeu d instruction et démarche CISC/RISC Chapitre 3 : Microarchitecture des processeurs - Conception des processeurs (Partie Opérative & Partie Contrôle) - Contrôle câblé, micro-programmé Chapitre 4 : Interface Langages Evolués - Gap : langage machine langage évolué - Implémentation machine des concepts de langages évolués (Procédures, récursivité, SDD,...) - Interaction compilateur et architecture logicielle Chapitre 5 : Interface Systèmes d exploitation - Interruptions, trappes et exception - Modes de fonctionnement (user & superviseur), support multitâche (commutation de contexte) - Support d E/S - A J. Van de GOOR «Computer Architecture and Design» Wesley Publishing Company. - A. Mostafa «Fundamentales of Computer Organisation and Architecture» Wiley Edition - S. G. SHIVA «Computer Design and Architecture» Marcel dekker

11 - N.A.B GRAY «Introduction to Computer Systems» Rentice Hall, A. Tanenbaum «Architecture de l ordinateur» DUNOD, 4 ème édition - J. Hennessy, D. Patterson «Architecture des ordinateurs : une approche quantitative» - Nicholas P. CARTER «Architecture de l ordinateur». EdiScience Schaum s. Modélisation Objectif : La modélisation de systèmes logiciels est une activité qui prend une importance de plus en plus grande. En effet, modéliser un système informatique en général et un logiciel en particulier permet de l analyser, de l étudier et éventuellement de l améliorer. L objectif de cette unité est de présenter à l étudiant l intérêt de la modélisation au travers de quelques outils et de le rendre apte à réaliser et à évaluer des modèles en utilisant un logiciel de modélisation. Chapitre I - Introduction Chapitre II Modélisation Aspects de modélisation - Structurels - Fonctionnels Approches de modélisation - Modèles E/R - Etats-transitions - Réseaux de Petri - UML Chapitre III - Méta-modélisation Conception de modèles d analyse-conception Rôle des méta-modèles dans la vérification des diagrammes Chapitre IV - Transformation de modèles Règles de transformation Relation entre source et domaine cible Stratégie et planification d application des règles Traçabilité G.w.Brams : Réseaux de Petri : Théorie et pratique, Masson, C.Cauvet : Ingénierie des systèmes d information, Hermes,2001. J. GABAY : Merise et UML : pour la modélisation des systèmes d information, Dunod, P.Maret, J.Pinon : Ingénierie des savoir-faire - Compétences individuelles et mémoire collective, Hermes, P.A.Mulla : Modélisation objet avec UML, Eyrolles, UE9 (Culture Générale) 02 crédits Histoire de l'informatique 13

12 Semestre 4 UE10 (Enseignements généraux) 14 crédits Programmation impérative et structure de données avancées Noyau du langage C/Pascal : Composition et récursion, instructions conditionnelles. Noyau du langage C/Pascal : Notion de variable. Instructions en séquence. Boucles Noyau du langage C/Pascal : fonctions Noyau du langage C/Pascal : pointeurs et allocation dynamique Structures séquentielles: piles, files et listes. Structures hiérarchiques: arbres. Structures hiérarchique: arbres binaires de recherche. Structures hiérarchiques : Les tas. Tables de hachage. Graphes: Propriétés générales Parcours Graphes: Applications des parcours: - Plus court chemin (Algorithme de Dijkstra) - Arbre couvrant de coût minimum (Algorithme de Prim). - Cormen, Lieserson, Rivest et Stein (2002) Introduction à l'algorithmique (Dunod) - Beauquier, Berstel et Chrétienne (1992) Eléments d'algorithmique (Masson) - Aho, Hopcroft et Ullman (1987) Structures de données et algorithmes (InterEditions) Complexité Objectif : Etudier et comprendre la notion de complexité en se basant sur des exemples d algorithmes afin de comparer les performances en temps et en place mémoire. Chapitre 1 : Notions de bases et propriétés. Chapitre 2 : Introduction à l étude de la complexité des algorithmes : analyse des performances en temps et en place en fonction de la taille du problème. Chapitre 3 : Méthodes de recherche d algorithmes efficaces. Chapitre 4 : Introduction aux problèmes non traitables en machine : les problèmes NP-Complets. : C.H. Papadimitriou. Computational Complexity. Addison-Wesley, M.V.Caneghem. Calculabilité, Décidabilité, Complexité. Fondements d Informatique (INF7) # 8. MVC Paradigme des langages de programmation Objectif : permettre à l'étudiant d'avoir une idée sur les différents styles de programmation. Chapitre 1: Paradigme Impératif Chapitre 2: Paradigme Fonctionnel Chapitre 3: Paradigme Logique Chapitre 4: Paradigme Orienté objet Chapitre 5: Paradigme Concurrent 14

13 : 1. D.A. WATT "Programming Languages : Concepts and Paradigms"Prentice-Hall International, E. HOROWITZ "Fundamentals of Programming Languages"Computer Science Press, UE11 (Enseignements spécialisés) 14 crédits Théorie des langages Objectif : Permettre d'établir la relation entre les mathématiques et les langages. Mettre à la disposition de l'étudiant les connaissances nécessaires pour aborder la compilation Chapitre 1 : Introduction aux langages Chapitre 2 : Classification des grammaires Chapitre 3 : Expressions régulières et langages réguliers Chapitre 4 : Les langages reconnaissables Chapitre 5 : Langages algébriques (contexte libre) et langages a contexte lie Chapitre 6 : Machines de Turing : 1. I. E. HOPCROFT, J.D ULLMAN "Formal Languages and their Relation to Automata" Addison-Wesley 2. M. NIVAT "Théorie des automates et des langages Formels" Cours Université Paris VII Principes des systèmes d'exploitation Objectif : S Génie Logiciel Objectif : La complexité des systèmes informatiques a nécessité l élaboration d approches rigoureuses de développement de logiciels. Celles-ci sont supportées par des mécanismes pertinents de planification, d analyse de conception et de vérification. Cette unité vise à apporter aux étudiants les connaissances théoriques, techniques et pratiques leur permettant d étudier et de réaliser des logiciels répondant à des besoins spécifiques. Un TP permettra aux étudiants de mettre en œuvre les connaissances théoriques Chapitre I Introduction générale Chapitre II Développement de logiciel Introduction Qualités exigées d un logiciel Activités principales du processus de développement de logiciel Modèles de développement Approches de spécification Approches de conception 15

14 Implémentation et langages de programmation Tests de logiciel Méthodologie de correction Maintenance Chapitre III Technologie des patrons Patrons de conception MDA M.C.Gaudel et al : Précis du génie logiciel, Masson, H. Kadima/ MDA : Conception orientée objet guidée par les modèles, Dunod, 2005 B.Meyer : Conception et Programmation Orientée Objet, Eyrolles, A.Strohmeier, D.Buchs : Génie logiciel :principes, méthodes et techniques, informatique, D.Tamzalit, : Ingénierie des composants et systèmes d information, Hermes,2006. UE12 (Méthodologique) 02 crédits Publication assistée par ordinateur (latex,...) 3 ème Année L3 (Licence d'informatique) Semestre 5 UE13 (Enseignements généraux) 18 crédits Compilation Objectif : Etudier les différentes techniques et algorithmes mis en œuvre dans le processus de compilation. Comprendre le fonctionnement et utiliser les générateurs automatiques d analyseurs lexicales et syntaxiques (Lex et Yacc). Chapitre 1 : Analyse Lexicale - Définitions régulières - Diagrammes de Transition - Outil Lex Chapitre 2 : Analyse Syntaxique - Analyse descendante prédictive LL(1) (récursive, itérative) - Analyse Ascendante par Décalage/réduction (Analyse LR) - Analyse SLR(1) - Analyse LR(1) - Analyse LALR(1) - L outil Yacc Chapitre 3 : Traduction dirigée par la syntaxe - Grammaire attribuée - Schémas de Traduction Chapitre 4 : Contrôle de Type Chapitre 5 : Production et Optimisation du Codeti : Aho, R.Sethi, J.Ullman. Compilateurs Principes, Techniques et Outils. Dunod, Paris, Nino Silverio. Réaliser un compilateur: les outils Lex et Yacc. 16

15 Bases de données Objectifs : Comprendre les objectifs, les architectures et les langages de manipulation de bases de données. Donner les fondements théoriques nécessaires et les algorithmes de base des SGBD, depuis la conception de BD jusqu au traitement de requêtes et la gestion de transactions. Le cours s appuie sur le modèle relationnel et les langages de manipulation associés. Chapitre 1 : Les bases de données et les systèmes de gestion des BD 1. Notion de bases de données 2. Les systèmes de gestion des bases de données 3. Les niveaux d abstraction Chapitre 2 : Le modèle relationnel 1. Les objectifs du modèle relationnel 2. Les structures de données de base 3. Conception d une BD (diagramme de classe UML) 4. Passage d un diagramme de classes à un modèle relationnel Chapitre 3 : Les langages de manipulation des données relationnelles 1. Introduction 2. L algèbre relationnelle 3. Le langage SQL Chapitre 4 : Logique pour les bases de données relationnelles 1. Calcul des prédicats 2. Calcul relationnel à variable n-uplet 3. Calcul relationnel à variable domaine Chapitre 5 : Normalisation des relations 1. Notion de redondance 2. Dépendances fonctionnelles 3. Couverture minimale 4. Formes normales Chapitre 6 : Les transactions 1. Définition et propriétés (Atomicité, Cohérence, Isolation, Durabilité) 2. Résistance aux pannes (Journalisation, Validation, Reprise à froid et à chaud) 3. Contrôle de concurrence (Sérialisabilité, Verrouillage deux phases, Interblocages, Ordonnancement par estampillage) : Geoges GARDARIN. Bases de données : objet et relationnelle, Eyrolles, Tamer ÖZSU, Patrick VALDURIEZ, Principles of Distributed Database Systems, 2nd edition, Prentice Hall, Geoges GARDARIN, Patrick VALDURIEZ. Bases de Données relationnelles : analyse et comparaison des systèmes. Eyrolles, Christian CARREZ. Des structures aux bases de données. DUNOD, Paris, France,

16 Introduction aux réseaux Objectif : Les objectifs de ce module sont les suivants : - familiarisation de l'étudiant avec le vocabulaire "réseaux" ; - compréhension des concepts fondamentaux : structuration en couches d'une architecture de communication, notions de protocoles et d'encapsulation des données ; - mécanismes de communication : contrôle d'erreurs, contrôle de flux, contrôle de congestion, commutation, adressage, routage ; - initiation aux protocoles courants (notamment Ethernet, IP, TCP) ; Chapitre 1. Généralités : les différents types de réseaux (LAN, WAN, MAN). Chapitre 2. Transmissions en bande de base et techniques de codage des données Chapitre 3. Techniques de protection contre les erreurs Liaisons de données : rôle, interaction avec les matériels de communication Chapitre 4. Liaisons de données : protocoles HDLC, SLIP et PPP Chapitre 5. Techniques d'accès dans les réseaux locaux Chapitre 6. Infrastructure d'un réseau de communication : techniques de commutation et de multiplexage Chapitre 7. Exemple d'une interface réseau en mode connecté : le protocole X25 Chapitre 8. Techniques de routage dans les grands réseaux Chapitre 9. Protocole IP : principes, adressage, découpage d'un réseau en sous-réseaux Chapitre 10. Protocoles TCP et UDP : principes, interfaçage avec le protocole IP Chapitre 11. Interconnexions de réseaux : les équipements, leurs fonctions Configuration de TCP/IP sur le système LINUX Chapitre 12. Formalisations d'une architecture de communication : le modèle OSI, la pile TCP : Comer, D. Ed. InterEditions - "TCP/IP : Architectures, Protocoles, Applications" Pujolle, G. Ed. Eyrolles - "Les réseaux" Servin, C. Ed. Dunod - "Réseaux et télécoms" Rolin, P. Ed. Hermès - "Réseaux locaux, normes et protocoles" UE14 (Enseignements spécialisés) 10 crédits Systèmes formels Objectifs : Le système formel joue un rôle fondamental en Informatique dans la spécification, construction et vérification des programmes. L objectif du cours est de donner les bases pour son utilisation dans les différents domaines, en mettant l accent sur la notion d'analyse des problèmes et sur l'application de schémas de programme et de structuration des données. Introduction : Notion de système formel. Domaines D application. Chapitre 1 : Récursion et Induction Introduction, de l itération à la récursion, problèmes de terminaison, prouver un programme. Notion de génération par induction, analyse d'un schéma d'induction, raisonnement et calcul par induction. Chapitre 2 : Système de réécriture. Introduction à la réécriture et aux grammaires, réécriture de mots, réécriture de 18

17 termes, terminaison. Chapitre 3 : Type de donnés abstrait Définitions, Structures de donnés usuelles, Type de donnés abstrait graphe, arbre binaire. Chapitre 4 : Graphes et Arbres : Implémentation des graphes, algorithme de parcours, recherche de cycle. Arbres binaires, Parcours en profondeur, en largeur, traitement préfixe, infixe, postfixe, 1. C.FROIDEVAUX, M.C.GAUDEL, M.SORIA : "Types de données et algorithmes", McGraw-Hill, C. BENZAKEN, Systèmes Formels, Masson Comprendre les méthodes formelles (J.F.Monin - Masson). 4. N. WIRTH, Algorithmique et Structures de données, Eyrolles, Claude Berge Graphes Gauthiers-Villars, Paris, Programmation orientée objets Objectif : La maîtrise de l approche orientée objet nécessite d une part la compréhension des concepts de base et d autre part la connaissance des aspects fondamentaux de la programmation orientée objet. L objectif de cette unité est de faire comprendre à l étudiant les notions liées à la programmation orientée objet et de le rendre apte à créer des objets et de les manipuler. Enfin, l étudiant devra être capable de transcrire une application dans un langage orienté objet. Un TP permettra aux étudiants de concrétiser une application. Chapitre I - Introduction au génie logiciel Crise du logiciel Principes du génie logiciel Cycle de vie d un logiciel Chapitre II - Approche orientée objet Introduction Objet Classe Méthodes et envoi de messages Héritage Encapsulation Polymorphisme Liaisons statique et dynamique Chapitre III - Introduction à Java Syntaxe Interfaces Collections Exceptions Programmation événementielle et composants graphiques H.Bersini : L orienté objet, Eyrolles,2004. C.Delannoy : Programmer en Java, Eyrolles, A.Flory, M.Ayache : Approche Orientée Objet : Concepts et utilisation, Economica J.P.Fournier : Algorithmique objet : Avec C++, Vuibert, A.Tasso : Le livre de Java premier langage, Eyrolles,

18 UE15 (Culture Générale) 02 crédits Informatique et société Semestre 6 UE16 (Enseignements spécialisés) 30 crédits Sécurité Objectif : Présenter les problèmes généraux de sécurité. Etudier les différentes techniques (logicielles ou matérielles) pour résoudre ces problèmes. Chapitre1 : Principes généraux et définitions o Attaques Caractérisation des attaques Niveaux d attaque (matérielles, logicielles et données) Scénarios d attaque o Protection physique et logique Chapitre 2 : Cryptographie o Méthodes de permutation et de substitution o Notion de clé o Systèmes à clés privées et à clés publiques o Exemples : DES, RSA Chapitre 3 : Protocoles de sécurité o Echanges sécurisés de données o Authentification des partenaires o Signature des documents o Exemple : commerce électronique Chapitre 4 : Contrôle d accès o Type des contrôles d accés o Modèles (Graham Denning) Chapitre 5 : Identification des personnes o Codes personnels et méthodes de contrôle o Biométrie o Signatures à clavier o Emploi des cartes à microprocesseurs Chapitre 6 : Les techniques d attaques réseau et système Chapitre 7 : Modèles de sécurité pour les systèmes Chapitre 8 : Sécurité niveau réseau : Bruce Schneier. Cryptographie Appliquée. International Thomson Publishing France, Paris, A.J.Menezes, P.C.Van Oorschot, and S.A.Vanstone. Handbook of Applied Cryptography. CRC Press, Jean François Pillou. Tout sur la sécurité informatique. 20

19 Systèmes distribués Objectif : L objectif de ce module est de montrer à l étudiant toutes les techniques distribuées d allocation de ressources. Montrer à l étudiant les différents problèmes d ordonnancement, de protocole de communication, de sécurité, de fiabilité CHAPITRE I: Introduction I-1-Concepts généraux I-2-Notion de client/serveurs CHAPITRE II : Architecture d un système d exploitation distribué(sed) ou réparti (SER) II-1-Noyau distribué fonctionnalité de base, exemples CHAPITRE IV II-2-Service de base II-3-Composantes logicielles de base associées II-4-Exemples de SER (SED) CHAPITRE III : Communication dans les SERs (SEDs) III-1-Schéma global de fonctionnement III-2-Exemples: Chorus, Eden, Mach, Chapitre IV : Gestion répartie des fichiers IV-1-Services fichiers IV-2-Services répertoires IV-3-Exemples Chapitre V : protection V-1-Sécurité et tolérances aux pannes (généralités) -KAI HWANG & FAYE A.BRIGGS: computer Architecture and parallel processing Mc GRAW-Hill, P.MKOGGE: The Architecture of pipelined Computers MC GRAW-HILL, JESSHOPE & OKNEY: parallel computers: architecture, programming and algorithms ADAM MILGER ltd, England H.JSIEGEL: Interconnection Networks for large-scale parallel processing: theory and case studies Lexington Books, Systèmes embarqués Objectif : Les systèmes embarqués intègrent des applications de plus en plus complexes tout en exigeant des débits plus importants. Les systèmes embarqués sont généralement soumis à des contraintes strictes à la fois fonctionnelles mais également temporelles et de robustesse. Ce module a pour objectif de présenter les critères à prendre en compte lors de la conception de ces systèmes, et aussi d'étudier les méthodes d'allocation et d'ordonnancement visant à rechercher le meilleur compromis en terme de performance, consommation énergétique et surface. CHAPITRE I: Introduction (Concepts généraux) CHAPITRE II : Allocation, Ordonnancement et analyse d'ordonnançabilité CHAPITRE III : Optimisation multicritères Chapitre V : Systèmes embarqués et réseaux temps réel 1) Wayne Wolf, Computers as Components, Principles of embedded computing system design, Morgan Kaufmann,