Académique Documents
Professionnel Documents
Culture Documents
Intitul : TYPES DE DONNEES ET ALGORITHMES Filire: G. Informatique Option : Gnie Logiciel Niveau : 2me Anne Cycle : Long V.H.H : Cours: 3h ; TD: 1h 30 ; TP: 1h30 Coefficient: 5 Objectifs: Introduire la Notion de Types Abstraits de Donnes et dAlgorithmes ainsi que les aspects implmentation aussi bien des Types que des Algorithmes. Recommandations: Il est ncessaire dinculquer ltudiant la sparation entre laspect Abstraction et laspect Implmentation des donnes et des algorithmes. La partie 3 (programmation) doit tre dispense indpendamment et paralllement aux autres parties. La rfrence 1 est vivement recommande. CONTENU: Premire Partie : Structures de donnes (40%) CHAPITRE I :Notions de base dalgorithmique (5%) CHAPITRE II : Types abstraits (5%) II.1 - Dfinitions et Motivations II.2 - Notions de Signature et dOprations CHAPITRE III: Structures squentielles (5%) III.1 - Le Type Abstrait LISTE III.2 - Reprsentation des Listes III.3 - Les Types Abstraits PILE et FILE III.4. Reprsentation des Piles et des Files CHAPITRE IV: Ensembles (5%) IV.1. Le type abstrait ENSEMBLE IV.2. Reprsentation des ensembles par des tableaux IV.3 - Reprsentation des ensembles par des listes CHAPITRE V:Structures arborescentes (15%) V.1. Arbres binaires V.1.1.Le Type abstrait ARBRE BINAIRE V.1.2.Representation des arbres binaires V.2. Arbres planaires gnraux V.2.1. Le type abstrait ARBRE PLANAIRE GENERAL V.2.2. Reprsentation des arbres gnral CHAPITRE VI : Les graphes (5%) VI.1. Le Type abstrait GRAPHE VI.2. Reprsentation des graphes VI.3. Par module des graphes
Intitul : ARCHITECTURE DES ORDINATEURS I Filire: G. Informatique Option : Architecture des systmes Informatiques Niveau : 2me Anne Cycle : Long V.H.H : Cours: 1h30 ;TD: 1h 30 ; TP: 1h30 Coefficient: 5 Objectif: - Expliquer l'tudiant le principe de fonctionnement et l'organisation d'un ordinateur indpendamment des aspects ralisation et technologie. Inculquer l'tudiant les concepts d'architecture, de couche ( matrielle/Logicielle), de systme informatique. Recommandations: Situer ce cours par rapport l'architecture globale (en couches) d'un systme informatique. Les concepts d'architecture, de couche, de ralisation peuvent tre introduits via des exemples illustratifs du monde rel. (voir rfrence 2,3). Il est conseill d'expliquer le fonctionnement d'une machine de VON NEWMAN avec une approche algorithmique ( les composants de bases de la machine seront dcrits en termes de structure de donnes et d'algorithmes) ( voir rfrence 1) TP dirig: Programmation en assembleur; il est conseill d'utiliser un sousensemble de l'assembleur PC (MASM ou autre). CONTENU: CHAPITRE I :Introduction gnrale a l'architecture des ordinateurs ( 10% ) I.1. Introduction l'Informatique I.2. Notion de Systme Informatique I.2.1. Description succincte I.2.2. Machine Relle; Machine Virtuelle I.2.3. concept de Matriel/ Logiciel I.3. Notion d' Architecture d'un systme I.3.1. Dfinition informelle du concept I.3.2. Caractristiques : ouverture; souplesse; indpendance vis a vis ralisation et technologie I.3.3. Modle en couches ( informel) I.4. Architecture en couches d'un Systme Informatique I.4.1. Description Globale I.4.2. Compromis Matriel/Logiciel I.4.3. Localisation de la couche relative la machine relle I.5. Architecture de la machine relle
Intitul : INTRODUCTION AUX SYSTEMES D'INFORMATION Filire: G. Informatique Option : Ingnierie de dInformation Niveau : 2me Anne Cycle : Long V.H.H : Cours: 3h ; TD : 1h30 ; TP: 1h30 Coefficient: 3
V.1. Pourquoi une mthode V.2. Historique V.2.1. Mthodes cartsiennes V.2.2. Mthodes systmiques V.2.3. Mthodes assistes par les outils (CASE,...) Rfrences Bibliographie : 1. J. L. Lemoigne La thorie du systme gnral, Ed. Presse Universitaire Franaise 2. V. Bertalanfy Thorie gnrale des systmes Ed. Dunod 3. X. Castellani, Mthode gnrale d'analyse d'une application informatique Tome 2. 4. Mintzberg, Structures dynamiques des organisations Ed. D'organisation 1982 <![endif]>
Intitul : LOGIQUE MATHEMATIQUE Filire: G.Informatique Option: Fondements des langages de programmation Niveau : 2me Anne Cycle : Long V.H.H: Cours: 1h30 ; TD: 1h 30 Coefficient: 4 Objectif: Permettre l'tudiant tre rigoureux dans le raisonnement. Apprendre a raisonner d'une manire formelle. Introduire les concepts de langage et d'algorithme au sens formel. Introduire les concepts logiques pour l'IA. CONTENU: CHAPITRE I :Rappels ( 10%) I.1. Ensembles, Relations, etc. I.2.Notions de Treillis, etc. CHAPITRE II : Systmes axiomatiques dductifs (15%)
CHAPITRE III : Calcul propositionnel (calcul logique d'ordre) (20%) III.1. Thorie de la preuve III.2. Thorie des modles (TV, Tautologie, Dduction logique, etc.) III.3. Equivalence entre 3.1 et 3.2 CHAPITRE IV : Logique d'ordre 1 ( 20%) IV.1.Thorie de la preuve IV.2. Thorie des modles IV.3. Equivalence entre 4.1 et 4.2 (Compltude) CHAPITRE V:Modle d'Herbrand (15%) V.1.Forme prnexe, Forme clausale, etc V.2.Le plus petit modle de Herbrand (prfixe) CHAPITRE VI : Calculabilit effective ( 20%) VI.1. Machine de Turing, Ensemble rcursivement numrable VI.2. Thorme de Godel VI.3. Problmes d'indcidabilit
Intitul : INTRODUCTION AUX PROBABILITES ET STATISTIQUES Filire: G. Informatique Niveau : 2me Anne Cycle : Long V.H.H : Cours: 1h30 ; TD : 1h30 Coefficient: 2 Objectifs: Initier ltudiant aux statistiques et probabilits. Ces connaissances lui serviront pour la comprhension du module Modlisation et Simulation . Recommandations: Vu le volume horaire limite consacre a ce module, il est recommande de ne pas trop sattacher a laspect dtails de dmonstration des diffrents thormes qui seront introduits. CONTENU: Premire Partie : statistique descriptive (30%) CHAPITRE I : Population variable CHAPITRE II : Distribution de frquence CHAPITRE III : Caractristiques de la valeur centrale Chapitre IV : Caractristiques de la dispersion CHAPITRE V : Caractristiques de force V.1 Coefficient de YULE V.2 Coefficient de PEARSON V.3 Coefficient de SHEPPART Deuxime Partie : Probabilits (50%) CHAPITRE I :Analyse combinatoire I.1. Permutation I.2. Combinaison I.4. Arrangement CHAPITRE II : Espace de probabilit II.1. Notions Fondamentales II.2 - Variables Alatoires CHAPITRE III : Caractristiques des variables alatoires III.1. Esprance mathmatique CHAPITRE III : Tests dhypothses III.1. Cas dune hypothse - courbe defficacit III.2. Cas de deux hypothses - courbe defficacit III.3. Thorme de NEWMAN-PEARSON III.4. Test non paramtrique: test de KOLMOGOROV III.2. Moyenne III.3. Variance III.4. Ecart-type
Intitul : MATHEMATIQUES POUR LINFORMATIQUE Filire: G. Informatique Option : UP Commune Niveau : 2me Anne Cycle : Long V.H.H : Cours :1h30 ; TD : 1h30 Coefficient : 2 Objectif: L'objectif de ce module est double: D'une part faire acqurir l'tudiant les concepts mathmatiques de base permettant d'apporter les fondements thoriques ncessaires la comprhension et la matrise des concepts informatiques importants. D'autre part mettre la disposition de l'tudiant un minimum de connaissances mathmatiques utilises dans le monde de la recherche acadmique ( physique, chimie, automatique...) et de l'industrie: Rsolution informatique de problmes rels pour lesquels un modeler mathmatique a t labor. Recommandations: La premier Partie doit tre au tant que possible dispense par un informaticien. Les Exemples illustratifs doivent tre tires du domaine informatique (au tant que possible) CONTENU: Premire Partie: Mathmatiques Pour Linformatique Thorique (50%) CHAPITRE I : Rappels et conventions (5%) I.1.Notations Gnrales I.2.Relations I.3.Fonctions, Applications, Relations I.4.Applications bijections I.5.Composition des Applications I.6.Constructions, Types I.7.Indexation, Familles densembles I.8.Relations dquivalence I.9.Equivalence dapplication CHAPITRE II : Algbre abstraite (10%) II.1. Dfinitions II.2. Objet Indfini II.3. Sous-Algbres II.4. Proprits des Sous-Algbres II.5. Sous-Algbre Engendre II.6. Morphismes dAlgbre
Intitul : THEORIE DES LANGAGES Filire: G. Informatique Option : Fondements des langages de programmation Niveau : 3me Anne Cycle : Long V.H.H : Cours: 3h ; TD: 1h 30 Coefficient: 5 Objectif: Permettre d'tablir la relation entre les mathmatiques et les langages. Mettre la disposition de l'tudiant les connaissances ncessaires pour aborder la Compilation. CONTENU: CHAPITRE I :Rappels mathmatiques (5%) I.1.Ensembles I.2.SemiGroupes I.3.Monoides I.4. Homomorphismes CHAPITRE II : Introduction aux langages ( 10%) II.1.Ensemble quotient II.2. Dfinition d'un alphabet, des mots, des langages II.3. Oprations sur les langages CHAPITRE III : Classification des grammaires ( 20%) III.1.Hirarchie de Chomsky III.2. Dfinition formelle des grammaires III.2.Systmes de rcriture CHAPITRE IV: Les langages rguliers ( 10%) IV.1. Dfinition, IV.1.1. Automates de Rabin Scott, IV.1.2 - Oprations sur les automates IV.1.3 - Automate minimum IV.1.4 - Automate dterministe IV.2. Grammaires rgulires Thorme de Nrode CHAPITRE V : Expressions rgulires ( 10%) V.1.Passage des expressions rgulires aux automates et vis versa CHAPITRE VI : Les langages reconnaissables Thorme de KLEEN
Intitul : THEORIE DES LANGAGES Filire: G. Informatique Option : Fondements des langages de programmation Niveau : 3me Anne Cycle : Long V.H.H : Cours: 3h ; TD: 1h 30 Coefficient: 5 Objectif: Permettre d'tablir la relation entre les mathmatiques et les langages. Mettre la disposition de l'tudiant les connaissances ncessaires pour aborder la Compilation. CONTENU: CHAPITRE I :Rappels mathmatiques (5%) I.1.Ensembles I.2.SemiGroupes I.3.Monoides I.4. Homomorphismes CHAPITRE II : Introduction aux langages ( 10%) II.1.Ensemble quotient II.2. Dfinition d'un alphabet, des mots, des langages II.3. Oprations sur les langages CHAPITRE III : Classification des grammaires ( 20%) III.1.Hirarchie de Chomsky III.2. Dfinition formelle des grammaires III.2.Systmes de rcriture CHAPITRE IV: Les langages rguliers ( 10%) IV.1. Dfinition, IV.1.1. Automates de Rabin Scott, IV.1.2 - Oprations sur les automates IV.1.3 - Automate minimum IV.1.4 - Automate dterministe IV.2. Grammaires rgulires Thorme de Nrode CHAPITRE V : Expressions rgulires ( 10%) V.1.Passage des expressions rgulires aux automates et vis versa CHAPITRE VI : Les langages reconnaissables Thorme de KLEEN
Intitul : BASE DE DONNEES Filire: G. Informatique Option: Ingnierie de dInformation Niveau : 3me Anne Cycle : Long V.H.H: Cours: 1h30 ; TD: 1h30, TP: 1h30 Coefficient: 3 Objectif: L'objectif de ce Cours est d'tudier de manire dtaille les principaux modles de donnes. Les mthodes de conception associes doivent tre approfondies en s'appuyant sur un modle de donne ( le modle relationnel). Recommandations: Travaux pratiques avec SGBD relationnel. CONTENU: CHAPITRE I : Introduction aux bases de donnes (5%) I.1. Bases de donnes I.1.1. dfinition I.1.2. niveaux de reprsentation des donnes I.2. Systmes de gestion de bases de donnes I.2.1. dfinition I.2.2. fonctions I.2.3. architecture gnrale CHAPITRE II : Diffrents types de modles de donnes (20%) II.1. modle smantique des donnes II.2. modle entit association ou modle individuel II.3. modle rseau II.4. modle hirarchique II.5. modle relationnel CHAPITRE III : Prsentation du modle relationnel (25%) III.1. Dfinition, schma III.2. Normalisation des relations III.3. algbre relationnelle et calcul relationnel III.4. langages de requte relationnelles CHAPITRE IV : ArchiteCture et fonctionnement d'un SGBD relationnel(15%) IV.1. accs et stockage de donnes CHAPITRE V : Etude d'un SGBD commercialise (10%) (System-R, Ingres, Oracle, )
Intitul : ARCHITECTURE DES ORDINATEURS II Filire: G. Informatique Option : Architecture des systmes Informatiques Niveau : 3me Anne Cycle : Long V.H.H : Cours: 3h ; TD: 1h 30 Coefficient: 5 Objectif: Initier l' tudiant la Vision de l'informaticien - architecte, en termes de concepts architecturaux avances du composant PROCESSEUR en vue: - de supporter la construction de compilateurs efficaces (gnration de code) de langages volues (procduraux; modulaires...) - de supporter avec efficacit les concepts systmes volues: mmoires virtuelles; processus; E/S... - d'amliorer les performances des Processeurs en vue de rpondre aux besoins des applications de complexit croissante. Recommandations: Inculquer les concepts architecturaux avancs indpendamment d'un processeur ( ou microprocesseur) donn; cependant il serait intressant d'illustrer, pour chaque concept ou mcanisme, la vision des diffrents constructeurs de processeurs ( INTEL; MOTOROLA; NS; ZILOG ...). Les sances de TD peuvent tre consacres l'apprentissage de la programmation des circuits spcialises programmables ( Coupleurs; Interface E/S; DMA;. Gestionnaire IT..) et ventuellement des exposes relatifs des familles de processeur connus. Prvoir au moins un TP en langage C pour illustrer ce cours ( TP non dirig). CONTENU: Premire Partie CHAPITRE I : Architecture d'un processeur : orientations et motivations ( 10 %) I.1.Notion d'architecture avance + Motivations I.1.1. Support Langages Evo I.1.2. Support Systmes exploitation I.1.3. Amlioration Performances+ Choix d'un jeu d'instructions appropri I.2. Conception de processeur+ Vision de l'architecte: Deux composantes concevoir I.2.1. Partie Oprative (P.O) I.2.1.1. Units de mmorisation I.2.1.2. Units de traitement I.2.1.3. Units de transfert I.2.2. Partie Contrle du processeur (PC) + Conception partie contrle: I.2.3. Complexit de cette partie I.2.4. Adoption de mthodologies de conception (Par analogie la dmarche Gnie Logiciel)
CHAPITRE III : Spcifications des logiciels III.1 Spcification dinterface III.2 Spcification oprationnelle III.3 Spcification de donnes (type abstrait) CHAPITRE IV : Conceptions des logiciels IV.1 Conception modulaire IV.2 Conception structure IV.3 Conception oriente objet CHAPITRE V : Testes et preuves de logiciels V.1 Tests statiques V.2 Tests dynamiques V.3 Tests dintgration V.4 Preuves de logiciels CHAPITRE VI : Mise au point et maintenance de logiciels VI.1 Maintenance corrective, adaptative et perfective VI.2 Estimation des cots de maintenance VI.3 Documentation CHAPITRE VII: Les langages de programmation VII.1 Typologie de programmation
CHAPITRE III: Interprtation numrique (20%) III.1. Interpolation polynomiale, Erreurs III.2. Fonction de Spline, Interpolation trigonomtrique III.3. Drivation Numrique CHAPITRE IV: Intgration numrique (20%) IV.1. Gnralits, tude de lerreur, formules de SIMPSON, NEWTON, GAUSS IV.2. Intgration des Intervalles finis IV.3. Intgration multiples CHAPITRE V: Mthodes de rsolutions par lments finis (20%)
2. M; RAYNAL "Systmes rpartis et rseaux : concepts, outils et algorithmes" EYROLLES,1987 3. M, RAYNAL "Algorithmique de paralllisme : le problme de l'exclusion parallle" DUNOD,1984.
CHAPITRE III : Analyse syntaxique (25%) III.1.Analyse descendante III.2.Descente rcursive, LL(1), LL(k) III.3.Traitement des erreurs III.4.Analyse Ascendante III.5.Analyse par prcdence simple III.6.Analyseurs SI. R, LR et LALR CHAPITRE IV : CHAPITRE V : CHAPITRE VI : Traduction dirige par la syntaxe (5%) Contrle de type (15%) Environnement d'excution (10%)
CHAPITRE VII : Gnration de code et optimisation de code (30%) VII.1.Gnraton du code intermdiaire VII.2.Gnration du code cible
VII.3.Optimisation de code
Intitul : TLTRAITEMENT, COMMUNICATION DE DONNES ET RSEAUX Filire : G. Informatique Option : Architecture des systmes Informatiques Niveau : 4me Anne Cycle : Long V.H.H : Cours : 3h : TD : 1h 30 Coefficient : 5 Objectifs : Comme son tire l'indique ce module se compose de deux parties : une partie Communication de Donnes et une partie Rseaux. La premire partie est consacre aux technique (et la terminologie) associes la Communication de Donnes, et sur lesquelles reposent toutes les formes de "rpartition des systmes" au sens large. De manire particulire, cette partie sera consacre la comprhension des diverses techniques utilises pour aboutir un transfert fiable de donnes entre deux dispositifs. La sparation physique des deux dispositifs peut varier de quelques dizaines de mtres (cas de deus ordinateurs connects localement par exemple) plusieurs centaines, voire milliers, de Kilomtres (cas ou les deux dispositifs sont connects travers un rseau tlphonique par exemple). La seconde partie est consacre au mode de fonctionnement des diffrents types de rseaux de donnes (rseaux locaux, rseaux mtropolitains, rseaux large porte) qui sont utilises pour interconnecter une communaut rpartie d'ordinateurs, ainsi qu'aux diffrents standards d'interface et aux protocoles qui leur sont associs. Recommandation : La matire propose dans le contenu suivant est plu ou moins couvert par les diffrents ouvrages cits en rfrence (disponible au niveau du CPN ) pour des considrations d'ordre pdagogique approche en couches selon les recommandations du modle OSI de l'ISO, indication d'implmentation pour les diffrents concepts du modle OSI dans un langage pseudo-Pascal. CONTENU : Premire Partie : Communication de Donnes (50%) CHAPITRE 1 : I.1. I.2. I.3. I.4. Rseaux de communication de donnes systmes ouverts (5%) et Standards des
Intitul : GENIE LOGICIEL II Filire : G. Informatique Option : Gnie Logiciel Niveau : 4me Anne Cycle : Long V.H.H : Cours: 1h 30 ; TP : 1h30 Coefficient : 3 Objectifs : Ce module est la continuit du module Gnie Logiciel 1. II a pour objectif de mettre en relief la conduite d'un logiciel et les diffrentes "Mtriques" de qualit d'un logiciel. Le modle COCOMO sera pris comme modle type. Recommandations : Dans le cadre des projets annuels (minis projets), il est ncessaire de prendre une mthodologie de conception de logiciels (MERISE ou autres) et de l'utiliser du dbut jusqu' la fin. CHAPITRE 1 : Conduite de projets logiciels (type Cocomo) (25%)
CHAPITRE II : Divers types d'organisation d'quipe de Programmation (25%) II.1. La planification des projets II.2. La planification et l'estimation des cours II.3. L'assurance qualit du logiciel II.4. Les outils de gestion de projets logiciels II.5. Ateliers de gnie logiciel. CHAPITRE III : Mthodologie du logiciel (35%) III.1. Le couplage et la cohsion III.2. Fiabilit III.3. Productivit, valuation des cours et dlais III.4. Autres mesures CHAPITRE IV : CHAPITRE V : Gnie logiciel et l'intelligence artificielle (10%) Conclusion et thmes ouverts (5%)
CHAPITRE III : Les diffrents formalismes de spcification d'interface (20%) III.1.Graphes III.2.Diagramme de transition III.3.Grammaire hors contexte III.4.Rseau de Petri III.5.Systmes rgles de production CHAPITRE IV : CHAPITRE V : V.1. V.2. V.3. V.4. Motif X-Windows X-II Windows Aspects ergonomiques intervenant dans la Conception des Interfaces (10%) Etude de quelques environnements de dveloppement d'interfaces (20%)
Rfrences Bibliographiques : 1.D.Floy et A. Vandam "Fundamentals of interactive computer graphics" Addison Wesley, 1983 2.B. Shnelderman "Designing the user interface : Strategies for effective humancomputers" Addison Wesley, 1987.
Chapitre I
I.1. La thorie I.1.1. dfinition type I.1.2. Alphabet I.1.3. Variable et constantes I.2. Expressions et assertions I.3. Champ dun quantifieur, Occurrence et variable libres et lies I.4. Substitutions I.4.1. Substitution dans une assertion
Notions mathmatiques
Chapitre II
II.1. II.2. II.3. II.4. II.1. II.2. II.3. II.4.
Etude Smantique
Chapitre II
Syntaxe Smantique et systmes de transitions La thorie des preuves La thorie des preuves dterministes (SPD)
5me Anne
1. TEC 628 (CONSTRUCTION DE PROGRAMMES) I. Thorie de la programmation structure II. Etude comparative de la programmation procdurale et non procdurale III. Les tendance en programmation Programmation logique programmation fonctionnelle Programmation oriente objet IV. Mthodes et outils de spcification de logiciels V. Evaluation et complexit des logiciels 2. TEC 629 (SEMINAIRES A THEMES OUVERTS) 1re option: Les nouvelles tendances de la programmation 2me option: Intelligence artificielle 3me option: Systme rpartis 4me option: Infographie 3. Mmoire de fin dtudes