Académique Documents
Professionnel Documents
Culture Documents
Programme Ingenieur en Informatique
Programme Ingenieur en Informatique
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
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 :
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
CHAPITRE III :
III.1. Laplace
III.2 - Fourrier
III.3. en Z
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 :
G Gardarin et P. Valduriez Bases de donnes relationnelles analyse et comparaison des systmes, Edition Eyrolles 1985.
G Gardarin et P. Valduriez SGBD avancs Edition Eyrolles 1990.
C. J. Date An Introduction to database systems Addison Wesley, 1986
Chrisment Mise en oeuvre des bases de donnes Ed. Eyrolles, 1991.
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:
CHAPITRE II :
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 :
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.
Rappel
Rseaux de communication de donnes
Standards
Modle de rfrence OSI
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 :
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 :
Rfrences :
1.B".Softwer Engineering Economies" Prentice.
Niveau
Niveau
Niveau
Niveau
tache
smantique
syntaxique
lexical
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
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
Notions mathmatiques
Chapitre II
Etude Smantique
Chapitre II
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
II.1.
II.2.
II.3.
II.4.
II.1.
II.2.
II.3.
II.4.
Domaine smantique
Smantique des assertions
Dfinitions
Systme de preuves
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