EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun ALGORITHMIQUE CODE : ALGO1 1/4

Objectif : Ltudiant doit tre capable partir de l'nonc d'un problme de : Elaborer une analyse adquate de ce dernier. Formaliser sous forme d'un algorithme. Transcrire cet algorithme dans un langage de programmation et de le raliser sur un ordinateur. De plus, l'tudiant doit tre aussi en mesure de procder une reprsentation correcte des informations travers la manipulation des objets lmentaires et structurs tels que les tableaux, les chanes de caractres, les ensembles, les enregistrements et les fichiers.
CHAPITRE 1 : ELEMENTS DE BASE 1 - Algorithme, processeur, environnement de travail, action primitive 2 - Programme et langage de programmation 3 - Du problme au rsultat CHAPITRE 2 : PRESENTATION D'UN FORMALISME ALGORITHMIQUE 1 - Ncessit d'un formalisme algorithmique 2 - Prsentation du formalisme adopt 2.1 - Structures d'un algorithme 2.2 - Le corps de l'algorithme 2.2.1 - Les structures de contrle 2.2.1.1 - enchanement 2.2.1.2 - la conditionnelle 2.2.1.3 - l'alternative 2.2.1.4- La rptitive 2.2.2 - Autres actions de base 2.2.2.1 - l'affectation 2.2.2.2 - les expressions 2.2.2.2.1- arithmtiques 2.2.2.2.2- logiques 2.2.2.2.3- relationnelles 2.2.2.3 - la lecture 2.2.2.4- l'criture 3 - Exemple CHAPITRE 3 : L'ENVIRONNEMENT - OBJETS ELEMENTAIRES 1 - Objets dans un environnement 2 - Les dclarations 3 - Dclarations de constantes 4 - Dclarations de types 4.1 - Les types standards 4.2 - Les types non-standards 5 - Dclarations de variables
1

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun ALGORITHMIQUE CODE : ALGO1 2/4

CHAPITRE 4 : ELEMENTS DE PASCAL 1 - Structure d'un programme 2 - L'environnement du programme 2.1 - Dfinition d'un identificateur 2.2 - Dclaration de constantes 2.3 - dclaration de types 2.4 - Dclaration de variables 3 - Le corps du programme 3.1 - L'affectation 3.2 Les expressions arithmtiques 3.3 - L'instruction IF 3.4 - L'instruction FOR 3.5 - L'instruction WHILE 3.6 - L'instruction REPEAT 3.7 - Les procdures d'entre READ - READLN 3.8 - Les procdures de sortie WRITE - WRITELN 4 - Exemple CHAPITRE 5 : LES SOUS-PROGRAMMES 1 - La modularit 2 - Objets globaux et objets locaux 3 - Passage des paramtres 4 - Les fonctions 4.1 - Les fonctions standards 4.2 - Les fonctions utilisateurs 4.2.1 - Structure d'une fonction 4.2.2 - Appel d'une fonction 4.2.3 - Dclaration d'une fonction en PASCAL 4.3 - Fonctions incorpores et fonctions externes 4.4 - Exemple 5 - Les procdures 5.1 - Les procdures standards 5.2 - Les procdures utilisateurs 5.2.1 - Structure d'une procdure 5.2.2 - Appel d'une procdure 5.2.3 - Dclaration d'une procdure en PASCAL 5.3 - Exemple 6 - Les effets de bord

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun ALGORITHMIQUE CODE : ALGO1 3/4

CHAPITRE 6 : LES OBJETS STRUCTURES 1 - Tableaux une dimension 2 - Les tris 2.1 - Tri par slection 2.2 - Tri par transposition 2.3 - Tri "bulles" 2.4 - Tri par comptage 3 - Tableaux deux dimensions 4 - Le chane de caractres 4.1 - Les constantes chanes de caractre 4.2 - Les variables chanes de caractres 4.3 - Procdures et fonctions standards de traitement des chanes de caractres 5 - Les ensembles 6 - Les enregistrements CHAPITRE 7 : LES FICHIERS 1 - Raisons de l'utilisation des mmoires secondaires 2 - Dfinition d'un fichier 3 - Fichiers de donnes et fichiers textes 4 - Fichiers accs squentiel et fichiers accs direct 5 - Oprations fondamentales sur les fichiers 5.1 - Fichiers physiques et fichiers logiques 5.2 - Ouverture et fermeture des fichiers 5.3 - Cration d'un fichier squentiel 5.4 - Consultation d'un fichier squentiel 5.5- Mise jour d'un fichier squentiel 5.6 - Fonctions et procdures standards sur les fichiers 5.7 - Exemple d'application

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun ALGORITHMIQUE CODE : ALGO1 4/4

Travaux Pratiques
* Pr-requis: initiation l'informatique * Une introduction la mise en uvre devra tre faite au niveau des premires sances de TDs * La mthodologie utilise devra imprativement mettre l'accent sur la modularit et l'approche descendante * Le langage PASCAL sera introduit en parallle avec l'algorithmique, et il serait intressant qu'il soit tudi durant les Sances de TDs * Langage utilis TURBO PASCAL V5.0, C,

BIBLIOGRAPHIE Introduction la programmation systmatique (N.WIRTH) Algorithms and data structures (N.WIRTH) Mthodes de programmation (B.MEYER & C.BAUDOIN) Informatique et algorithmique (L. GOLDSCHLAGER & A.LISTER) Inter dition Programmatique ( C & P RICHARD) Belin Turbo Pascal User guide Borland Turbo Pascal Rfrence guide Borland Turbo Pascal V5 et 5.5 ( H.L.PLANCHAT) Eyrolles

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun

STRUTURE MACHINE CODE : STRM1 1/2

Objectif : Connatre la reprsentation des nombres. Connatre les mthodes de synthse des systmes logiques combinatoires et squentiels. Vulgariser lensemble des concepts de base dun ordinateur. Connatre les principaux composants dun ordinateur. Acqurir une connaissance de la programmation bas niveau. Chapitre 1 : Systmes de numration 11. Bases de numration 12. Conversions 13. Oprations arithmtiques sur les diffrentes bases Chapitre 2 : Reprsentation et codage des informations 2.1. Reprsentations et oprations arithmtiques sur les nombres: 2.1.1 Signe et valeur absolue 2.1.2 Complment restreint et complment vrai 2.1.3 Virgule fixe 2.1.4 Virgule flottante 2.2. Codage des informations

Chapitre 3 : Logique combinatoire et squentielle Algbre de Boole Variables et fonctions boolennes Simplification des fonctions logiques Circuits combinatoires 5.4.1. Portes logiques 5.4.2. Conception des circuits combinatoires (dcodeur, encodeur, circuits arithmtiques,...) 5.5. Circuits squentiels 5.5.1. Dfinition 5.5.2. Bascules RS, JK, D, 5.5.3. Conception de circuits squentiels Synchrones et Asynchrones (compteurs, dcompteurs, registres dcalage,...) Chapitre 4 : rseaux logiques programmables
( PAL, FPLA combinatoires et squentiels, FPGA)

5.1. 5.2. 5.3. 5.4.

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun

STRUTURE MACHINE CODE : STRM1 2/2

Chapitre 5 : Les mmoires 6.1. Introduction 6.2. Caractristiques d'une mmoire 6.3. La mmoire centrale 6.3.1. Organisation externe de la mmoire centrale 6.3.2. Droulement des oprations de lecture et d'criture 6.3.3. Organisation interne de la mmoire centrale 6.3.4. Conception d'une mmoire centrale 6.3.5. Architecture des mmoires centrales Chapitre 6: Prsentation gnrale de lordinateur Les diffrents organes 3.1 Machines 3 adresses, 2 adresses, 1 adresse 3.2 Le cheminement des adresses et les diffrents modes dadressage. Chapitre 7 : Etude d'une machine pdagogique 4.1. Les diffrents organes 4.2. Etude et droulement des instructions 4.3. Ecriture de programmes

Bibliographie

Electronique Numrique T1 : Logique Combinatoire et technologie

T2 : Logique Squentielle Denis Roux et Marcel Gindre, 1987, Mc Graw Hill Digital Design M.Morris Mano, 1984, Printice Hall

Architecture des Ordinateurs, Des techniques de base aux techniques avances

G. Blanchet, B. Dupouy, 1991, Masson

Pratique des circuits logiques J.M.Bernard et J.Hugon

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun

MATHEMATIQUES CODE : MATH1 1/7

Objectif : Acqurir les techniques de dcomposition des fractions rationnelles. Etude des concepts fondamentaux relatifs aux espaces vectoriels de dimension finie. Apprendre lalgbre linaire et assimiler les bases du calcul matriciel. Calcul diffrentiel et intgrale. Etudier les concepts relatifs aux suites numriques Donner des mthodes de rsolutions des EDO (Equations Diffrentielles Ordinaires) en vue de lutiliser dans les autres disciplines.

ALGEBRE
Chapitre 1 : Rappels et complments Logiques et ensembles Relations et Application Chapitre 2 : Polynmes et fractions rationnelles Partie 1 : Structures Algbriques : 1- Dfinition dun groupe, dun sous groupe 2 - Dfinition dun anneau , dun sous anneau, proprits 3 - Dfinition dun corps , proprits 4 - Dfinitions dhomomorphismes. Partie 2 : Polynmes : 1 - Dfinition de K [X] , K= IR , K = C 2 - Opration dans K [X] , K [X] est un anneau commutatif unitaire 3 - Degr dun polynme , proprits des degrs , valuation dun polynme , fonction polynomiale 4 - Drivation dans K [X], Formule de Taylor 5 - Divisibilit dans K [X], Division euclidienne de polynmes , PGDC , Identit de Bezout , Polynome irrductible dans K [X] ( K= IR ou C ) 6 - Racine dun polynme et caractrisation , ordre de mutiplicit et caractrisation . 7 - Polynme irrductible dans C [X] et IR [X] , Dcomposition dun polynme dans K[X] (K = IR ou C ) 8 - Division suivant les puissances croissantes Partie3: Fractions rationnelles 1 - Dfinition et notations

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun

MATHEMATIQUES CODE : MATH1 2/7

2 - Fraction rationnelle irrductible et caractrisation des fractions rationnelles 3 - Oprations dans K (X) 4 - Dcomposition des fractions rationnelles en lments simples dans K(X) 5 - Mthodes de dcomposition

Chapitre 3 : Les espaces vectoriels 1 - Espaces vectoriels, Premires proprits 2 Sous-espace vectoriel, Intersection de sous-espaces vectoriels, Somme de deux sous espaces vectoriels, somme directe 3 - Combinaison linaire, Indpendance linaire, proprits 4 - Caractrisation dune base, proprits 5 - Thorme de la base incomplte, consquence. 6 - Dimension, rang dun systme de vecteur 7 - Echelonnement, compltion dune partie libre en utilisant lchelonnemen Chapitre 4 : Applications linaires 1 - Dfinition 2 - Structure de K espace vectoriel de L ( E,.F) 3 - Proprits dune application linaire 4 - Noyau et Image dune application linaire, proprits 5 - Relation entre le rang dune application linaire et la dimension de son noyau Chapitre 5 : Matrices 1 - Matrice associe une application linaire, Matrice associe la somme de deux applications, Matrice associe au produit dune application par un scalaire. 2 - Matrice associe la compose de deux applications, proprits du produit matriciel. 3 - Ecriture matricielle de lquation f (x) = y 4 - Rang dune matrice, lanneau des matrices carres, binme de Newton. 5- Inversion dune matrice, Mthodes dinversion (Mthode de Gauss -Jordan.... ) 6 - Transpose dune matrice, Matrices symtrique, anti-symtrique, matrice triangulaire. 7 - Changement de base. Chapitre 6 : Dterminants 1. Dfinitions: Forme linaire, Forme multilinaire, Forme ultilinaire, alterne 2. Proprits

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1me Anne Tronc-Commun MATHEMATIQUES CODE : MATH1 3/7

3. 4. 5. 6. 7.

Expression dune forme multilinaire alterne dans une base donne Dterminant : Dterminant dune matrice carre et proprits Mthodes de calcul dun dterminant Application au calcul de linverse dune matrice Rsolution du systme de Cramer

Chapitre 7 : Valeur et vecteur propre, Rduction des matrices

1 - Dfinition dune valeur propre et dun vecteur propre, Cas matriciel 2- Polynme caractristique et proprits 3- Dfinition de la diagonalisation dun endomorphisme ( dune matrice) 4- Condition suffisante de diagonalisation 5- Condition ncessaire et suffisante de diagonalisation 6- Thorme de Cayley Hamilton ANALYSE

Chapitre 1 : La droite relle 1- Structure algbrique de IR. 2- Ordre sur IR, Valeur absolue, Partie entire 3- Partie majore, minore, borne 4- Maximum, minimum, borne suprieure, infrieure, caractrisations 5- Axiomes de la borne suprieure et infrieure 6- Axiome dArchimde, Densit de Q dans IR 8- Intervalle, caractrisation dun intervalle, Voisinage dun point Chapitre 2 : Suites numriques Partie 1 : Suites 1- Dfinition 2- Oprations sur les suites, Suite bornes et suites monotones Partie 2 : Suites Convergentes : 1- Dfinition 2- Thormes sur les suites convergentes 3- Suites convergentes et ordre 4- Thorme des trois suites, Critre de convergence 6- Sous suite et convergence des sous suites 7- Thorme de Bolzano-Wierstrass
9

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun MATHEMATIQUES CODE : MATH1 4/7

8- Suite de Cauchy et thormes 9- Suites rcurrentes et suites adjacentes Partie 3 : Extension aux limites infinies

Chapitre 3 : Fonctions relles dune variable relle Partie 1 : Introduction 1- Dfinition 2- Relation dordre sur F(A,IR), Graphe dune fonction 3- Monotonie, Fonction paire, impaire, priodique et fonction borne 4- Fonction dfinie au voisinage dun point Partie 2 : Limites 1- Dfinition, Oprations sur les limites 2- Caractrisation des limites par les suites numriques 3- Extension aux limites infinies 4- Formes indtermines Partie 3 : Continuit 1- Dfinition, Continuit sur un intervalle 2- Oprations sur les fonctions continues 3- Prolongement par continuit 4- Continuit et suites, Continuit uniforme 5- Thormes sur les fonctions continues : - Thorme des valeurs intermdiaires - Thorme du point fixe. - Bornitude dune fonction continue sur [a,b] - Fonction lipschitzienne, fonction contractante. - Fonction rciproque dune fonction strictement monotone (continue) - Inversion des fonctions trigonomtriques - Fonctions hyperboliques et leurs inverses Partie 4 : Drivabilit 1- Dfinition 2- Diffrentiabilit 3- Drivabilit sur un intervalle, fonction drive et drives successives 4- Oprations sur les fonctions drivables

10

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun MATHEMATIQUES CODE : MATH1 5/7

5- Formule de Leibnitz, Drive de la fonction compose, drive de la fonction rciproque dune fonction bijective 6- Thormes sur les fonctions drivables - Extremum dune fonction, Proprits des extremums - Thorme de Rolle,Thorme des accroissements finis - Drive et monotonie - Ordre entre deux fonctions en utilisant les drives - Rgle de lHopital - Fonctions de classe Cn et formule de Taylor-Lagrange, formule de Mac-Laurin.

Chapitre 4 : Fonctions quivalentes et dveloppements limits Partie 1 : Fonctions quivalentes 1-Notation de Landau, dfinitions et proprits 2- Fonctions quivalentes au voisinage dun point 3- Fonction quivalente une fonction n fois drivable en un point, proprits.
Partie 2 : Dveloppements limits (DL) 1- Dfinition dun DL au voisinage dun point, Unicit dun DL. 2- Condition suffisante dexistence dun DL dordre n (Formule de Taylor young) 3- DL dune fonction paire, et dune fonction impaire. 4- Oprations sur les DL

Chapitre 5 : Intgrale de Riemann

Partie 1 : Dfinition de lintgrale de Riemann 1- Subdivision, Somme de Darboux 2- Intgrale infrieure de Darboux, Intgrale suprieure de Darboux 3- Dfinition de lintgrabilit au sens de Riemann, Thorme de Darboux 4- Somme de Riemann et thormes 5- Proprits des fonctions intgrables au sens de Riemann 6- Proprits de lintgrale exprimes par des ingalits 7- Ingalits de Schwartz

11

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun MATHEMATIQUES CODE : MATH1 6/7

Partie 2 : Intgrales et primitives 1- Primitive dune fonction continue. 2- Primitive dune fonction intgrable au sens de Riemann. Partie 3 : Procds gnraux dintgration dans une intgrale dfinie 1- Changement de variables, Intgration par parties 2- Formule de la moyenne et applications Partie 4 : Intgrales indfinies 1- Dfinition et exemples, Quelques intgrales usuelles 2-Mthodes dintgration - changement de variable et intgration par parties - primitive dune fonction rationnelle. -Primitive dune fonction en sin x et cos x - Intgration des fractions rationnelles en ex - Intgrales abliennes. - Intgrales du type X (A X + B) dX

Chapitre 6 : Equations Diffrentielles Ordinaires (EDO) Partie 1 : EDO dordre 1 1- Dfinition et terminologie 2- Equations variables spares 3- Equations homognes 4- Equations linaires 5- Equations de Bernoulli, Lagrange et Ricatti Partie 2 : EDO dordre 2 1- Dfinition et terminologie 2- EDO dont lordre peut tre abaiss 3- EDO linaire dordre 2 4- EDO linaire coefficients constants ( EDO homogne, EDO avec 2nd membre) 5- Mthode de variation des contantes. Partie 3 : EDO dordre suprieur 1- Dfinition et terminologie 2- EDO dont lordre peut tre abaiss 3- EDO linaire 4- EDO linaire cofficient constants

12

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun MATHEMATIQUES CODE : MATH1 7/7

5- Mthodes de la variation des constantes. Partie 4 : Systme dEDO 1- Dfinition, forme normale dun systme dordre, solution 2- Systme diffrentiel linaire 3- solution particulire dun systme homogne coefficients constants 4- Mthode de variation des constantes

BIBLIOGRAPHIE
Elments dAnalyse Kada ALLAB Algbre linaire Zizi KHELIFA Cours dAnalyse Christian LEBOEUF Algbre 1er cycle Michel QUEYSANNE Analyse Mathmatique D.E MEDJANI- BK SADALLAH

13

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun

ELECTRICITE ET ELECTRONIQUE FONDAMENTALE CODE : ELEC1 1/2

Objectif : Introduction des notions de base lies llectricit, magntisme Introduction des lments de la thorie du signal Etudes des semi-conducteurs PARTIE I : NOTIONS FONDAMENTALES DE L'ELECTRICITE Chapitre 1 : ANALYSE MATHEMATIQUE 1. 2. 3. 4. Vecteurs Oprations sur les vecteurs Coordonnes polaires, cylindriques, sphriques Nombres complexes.

Chapitre 2 : ELECTROSTATIQUE 1. Champ lectrique 2. Potentiel d'une charge ponctuelle 3. Thorme de Gauss, flux de forces, condensateurs Chapitre 3. ELECTROCINETIQUE 1. 2. 3. 4. 1. 2. 3. 4. 5. Densit et intensit de courant Circuits lectriques Force lectromotrice Loi d'ohm, loi de Joule, loi de Kirchhoff Introduction Champ magntique Flux d'induction magntique Champs d'induction cre par un courant alternatif : Valeur maximale, valeur efficace Notion de puissance

Chapitre 4 : NOTIONS DE MAGNETISME ET D'ELECTROMAGNETISME

PARTIE II : RESEAUX ELECTRIQUES Chapitre 1 : ANALYSE DE RESEAUX ELECTRIQUES - Thormes de : 1. Thevenin 2. Norton 3. Superposition Chapitre 2 : QUADRIPOLES 1. Associations de quadriples 2. Fonction de rseaux gain en tension et en courant 3. Impdance d'entre, de sortie et de transfert

14

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1re Anne Tronc-Commun

ELECTRICITE ET ELECTRONIQUE FONDAMENTALE CODE : ELEC1 2/2

Chapitre 3 : REPRESENTATION DES FONCTIONS DE RESEAUX 1. Diagramme de Bode 2. Diagramme de Black 3. Diagramme de Nyquist... Chapitre 4 : ELEMENTS DE LA THEORIE DU SIGNAL 1. Transforme de Fourrier 2. Transforme de Laplace 3. Exemple de circuit RLC en rgime libre et forc PARTIE III : SEMI-CONDUCTEURS Chapitre 1 : LA JONCTION PN 1. Notion de physique des semi-conducteurs 2. Dopage 3. La diode jonction (caractristiques et applications) 4. Eeffet Zener et effet d'avalanche Chapitre 2 : TRANSISTORS BIPOLAIRES 1. Dfinition 2. Fonctionnement 3. Rgime statique : caractristiques-point de fonctionnement (repos) 4. Polarisation et stabilisation du point de repos. 5. Commutation - tat de fonctionnement d'un transistor en commutation. 6. Rgime dynamique : paramtres hybrides, schma faible. 7. Diffrents types de montages 8. Modes de fonctionnement du transistor 9. Amplificateurs BIBLIOGRAPHIE : Introduction la thorie des rseaux lectriques A.G BOSE et KN STEVENS. Electronic's principales A.P MALVINO Electricit et ondes Polycopie OPU Mini projet ou sminaire - Association des quadriples - Transformateurs - Alternateurs - Technologie des piles - accumulateurs quivalent en bande passante

15

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1me Anne Tronc-Commun ANGLAIS CODE : ANGL1 1/1

Objectif : Assimilation des lments du discours. Chapitre 1 : LE GROUPE NOMINAL 1. LE NOM 1.1 Les types de noms 1.2 La distribution des noms 1.3 Les drivations du nom 1.4 La dtermination 2. LE PRONOM 2.1 Les types de pronoms 2.2 La distribution des pronoms 2.3 Les expressions pronominales 3. LES PREMODIFIANTS 3.1 Les types de pr modifiants 3.2 La distribution 3.3 La drivation 4. LES POSTMODIFIANTS Les locutions prpositionnelles Chapitre 2 : LE GROUPE VERBAL 1. LE VERBE 1.1 Les types de verbes 1.2 La modalit 1.3 Les aspects temporels 1.4 La voix passive 2. L'ADVERBE 2.1 Les types d'adverbes 2.2 La distribution 2.3 Les locutions adverbiales Chapitre 3 : LES TRANSFORMATIONS DE LA PHRASE SIMPLE Chapitre 4 : LES ASPECTS RHETORIQUES 1. La rfrence contextuelle 2. La description 3. La dfinition BIBLIOGRAPHIE :
M. BELLAL, The Parts of Speech: A Workbook , OPU, 2000.

16

EcolenationaleSuprieuredInformatique(ESI)

1I-TRC

1me Anne Tronc-Commun

INITIATION A LECONOMIE DES ENTREPRISES CODE : IECO1 1/1

Objectif : Il sagira dlargir le champ de connaissance des tudiants par la thorie des entreprises Ce cours sarticule autour de deux parties essentielles : La 1re partie : Introduction lconomie et lentreprise La 2me partie prsente le fonctionnement de lentreprise en insistant sur les principales fonctions (objectifs, composants,..) Chapitre 1 : Introduction lconomie dentreprise Les agents conomiques Les oprations des agents conomiques Chapitre 2 : Prsentation gnrale de lentreprise Suivant le secteur dactivit Suivant la taille Suivant les statuts juridiques Chapitre 3 : Lentreprise et son environnement interne et externe Notion de flux La tenue obligatoire des comptes Ltude des documents commerciaux Ltablissement de la facture et le calcul des rductions commerciales et financires. Chapitre 4 : Lorganisation de lentreprise Les principes de Fayol, Taylor, Mintzberg Notion de structure, dorgane et de fonction Chapitre 5 : La cration et la dissolution de lentreprise Chapitre 6 : Les grandes fonctions de lentreprise

BIBILIOGRAPHIE :

L. BOYER , M.POIRE, E.SALIN Prcis dorganisation et de gestion de production Ed. dorganisation, 1986 D. ROUX Analyse conomique et gestion de lentreprise. 1. Thorie, mthodes et
pratiques Ed. Dunod, 1989

17

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc Commun

CODE : ALGO2 1/4

ALGORITHMIQUE STRUCTURE DE DONNEES

Objectif : Matrise des structures de donnes dynamiques Utilisation de la rcursivit

PARTIE I : STRUCTURE DE DONNEES (EN MEMOIRE CENTRALE)

Chapitre : 1 Les listes linaires chanes

1.1 Notion d'allocations statique et dynamique 1.2 Exemple d'introduction 1.3 Dfinition d'une liste linaire chane 1.4 Modle sur les listes linaires chanes 1.5 Exemple : Solution du problme d'introduction 1.6 Algorithmes sur les listes 1.7 Listes particulires 1.8 Les listes en Pascal 1.9 Implmentation des listes chanes avec la reprsentation contigu Chapitre 2 : Les files d'attente 2.1 Principe, domaine d'application 2.2 Modle 2.3 Implmentation

Chapitre 3 : Les piles

3.1 Principe, domaine d'application 3.2 Modle 3.3 Implmentation

Chapitre 4 : La rcursivit
4.1 Exemples d'introduction 4.2 Conception d'algorithmes rcursifs 4.3 Smantique de la rcursion 4.4 Passage d'algorithmes rcursifs en algorithmes itratifs 4.5 Rcursivit en Pascal 4.6 Conclusion

Chapitre 5 : Les arbres

5.1 Arbres binaires : dfinition, terminologie 5.2 Modle sur les arbres binaires. 5.3 Parcours des arbres binaires 5.4 Arbre de recherche binaire 5.5 Applications des arbres binaires

18

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc Commun

ALGORITHMIQUE STRUCTURE DE DONNEES CODE : ALGO2 2/4 5.6 Implmentation 5.7 Arbres AVL, Arbre Red-Black 5.8 Les arbres m-aires 5.9 Les arbres de recherche m-aires 5.10 Arbres B, Arbres 2-3, Arbres 2-3-4 5.11 Implmentation des arbres de recherche m-aires Chapitre 6 : Les graphes 6.1Graphes orients et non orients 6.2Modle sur les graphes 6.3Parcours des graphes : DFS et BFS 6.4Quelques applications sur les graphes 6.5Implmentation

Chapitre 7 : Hachage
7.1 Introduction, dfinitions 7.2 Fonction de hachage 7.3 Mthode de rsolution de collisions 7.4 Comparaison entre les diffrentes mthodes. 7.5 Etude de la distribution des cls PARTIE II : STRUCTURES DE FICHIERS

Chapitre 1 : Introduction aux structures de fichiers 1.1 Raisons de l'utilisation de l'espace secondaire 1.2 Problmes avec le stockage externe 1.3 Diffrence entre la RAM et la mmoire secondaire 1.4 Fichier (vues logique et physique ) 1.5 Bloc den-tte 1.6 Fichiers statique et dynamique 1.7 Mthode d'accs 1.8 Organisation du fichier 1.9 Adressage 1.10 Critre de mesure d'une mthode d'accs dans les langages de programmation 1.11 Algorithme 1.12 Conclusion et Objectif du cours

19

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc Commun

ALGORITHMIQUE STRUCTURE DE DONNEES CODE : ALGO2 3/4

Chapitre 2 : Structures simples de fichiers

2.1 Fichier vu comme un tableau 2.2 Fichier vu comme une liste linaire chane 2.3 Remarques sur ces mthodes d'accs 2.4 Rcapitulatif et utilisation de ces mthodes 2.5 Exemple : recherche dichotomique

Chapitre 3 : Les mthodes d'index 3.1 Des structures simples aux mthodes dindex 3.2 Index un niveau 3.3 Index 2 niveaux 3.4 Oprations de base 3.5 Remarques 3.6 Avantages des mthodes d'index Chapitre 4 : Indexation pour l'accs multi-cls
4.1 Introduction 4.2 Organisation d'un index secondaire 4.3 Exemple de combinaison de cls secondaires 4.4 Remarque:(pourquoi passer par l'index primaire?)

Chapitre 5 : Les mthodes d'arbres 5.1 Des mthodes dindex aux mthodes darbres 5.2 Arbre de recherche m-aire
5.2.1 Dfinition 5.2.2 Modle 5.2.3 Oprations : 5.2.4 Utilisation d'un arm comme mthode d'accs 5.2.5 Implmentation 5.3 Les arbres B 5.3.1 Une introduction aux arbres B 5.3.2 Dfinition 5.3.3 Illustration du mcanisme d'insertion 5.3.4 Oprations sur un arbre B 5.4 Variantes des B-arbre 5.4.1 Arbre B* 5.4.2 Arbre B prfix 5.4.3 Arbres B+

20

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc Commun

ALGORITHMIQUE STRUCTURE DE DONNEES CODE : ALGO2 4/4

Chapitre 6 : Les mthodes de hachage 6.1 Introduction 6.2 Chanage avec des listes spares 6.3 Adressage ouvert 6.4 Avantages et inconvnients

Travaux Pratiques LANGAGES DE PROGRAMMATION : PASCAL ET C.

BIBLIOGRAPHIE :

The art of computer programming ( Vol 3 : Searching and sorting ) D.E KNUTH, ADDISON WESLAY (1973). Data structures and algorithms. AHO ULLMANN A.V AHO, J.E HOPCROFT, J.D ADDISON WESLAY ( 1985) ULLMANN Files Structures using Pascal. NANCY E. MILLER ADDISON WESLAY (1987) Files Structures, a conceptual toolkit. MICHAEL J.FOLK; BILL ZOELLICK, THE
BENJAMIN/CUMMINGS PUBLISHING COMPANY, INC. (1987)

21

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc-Commun

STRUCTURE MACHINE CODE : STRM2 1/4

Objectif : Connatre le rle de chaque composant dans le chemin de donne dun calculateur Matrise du cheminement de linformation dans les circuits de base Connatre le fonctionnement de lunit de contrle Comprendre les mcanismes de base permettant un calculateur de communiquer Chapitre 1: Technologie des mmoires
1.1. Technologie des mmoires semi conducteurs 1.1.1. Les mmoires vives accs alatoire 1.1.1.1. Les RAM statiques 1.1.1.2. Les RAM dynamiques 1.1.2. Les mmoires mortes 1.1.2.1. Les ROM (Read Only Memory) 1.1.2.2. Les PROM (Programmable ROM) 1.1.2.3. Les EPROM (Erasable PROM) et EEPROM (Electrically EPROM) 1.1.2.4. Applications des mmoires mortes 1.2. Les mmoires accs squentiel 1.2.1. Les mmoires FIFO (First In First Out) 1.2.2. Les mmoires LIFO (Last In First Out) 1.3. Les mmoires associatives 1.3.1. Description d'une mmoire associative 1.3.2. Oprations sur une mmoire associative 1.3.3. Applications des mmoires associatives 1.2.4. Exemples d'utilisation d'une mmoire associative 1.4. Les mmoires cache ou mmoires tampon 1.4.1. Principe des mmoires cache 1.4.2. Principe de calcul des adresses physiques 1.4.3. Remplacement d'une information 1.4.4. Ecriture en mmoire cache 1.4.5. Taille de la mmoire cache
Chapitre 2: Organes lis une opration d'entre/sortie

2.1. Introduction 2.2. Le priphrique 2.2.1. Principaux types de priphriques 2.2.2. Quelques exemples de priphriques 2.2.2.1. Disque magntique et disque optique 2.2.2.2. Tube rayons cathodiques 2.3. Le contrleur de priphrique 2.3.1. Architecture d'un contrleur 2.3.2. Interface de dialogue avec l'unit centrale 2.3.3. Interface de dialogue avec le priphrique 2.3.4. Ordres excuts par un contrleur
22

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc-Commun

STRUCTURE MACHINE CODE : STRM2 2/4

Chapitre 3: Les modes d'entres/sorties 3.1. Introduction 3.2. Modes d'entres / sorties 3.2.1. Le mode programm 3.2.1.1. Mode par test d'tat 3.2.1.2. Mode par interruption 3.2.2. L'accs direct mmoire (DMA: Direct Memory Access) 3.2.2.1. Architecture dun DMAC (Direct Memory Access Controller) 3.2.2.2. Droulement dune entre/sortie en mode DMA 3.2. Le processeur dEntres/Sorties 3.2.1. Architecture du processeur dentres/sorties 3.2.2. Programme canal 3.2.3. Droulement dune entre sortie en mode canal Chapitre 4: Les systmes d'interruption
4.I. Introduction 4.2. Diffrentes causes d'interruption 4.2.1. Les interruptions internes ou droutements 4.2.2. Les interruptions externes 4.3. Dtection et prise en compte d'une interruption dans un systme simple 4.3.1. Dtection d'une interruption 4.3.2. Sauvegarde du contexte 4.3.3. Recherche de la cause de l'interruption 4.3.4. Acquittement de l'interruption 4.3.5. Traitement de l'interruption 4.3.6. Restauration du contexte du programme interrompu 4.4. Les systmes hirarchiss d'interruptions 4.4.1. Inhibition, masquage et validation 4.4.2. Dtection et prise en compte d'une interruption dans un systme hirarchis 4.4.3. Codage des niveaux 4.4.4. Interruptions vectorises.

Chapitre 5: Squencement des instructions 5.1. Le squencement cbl 5.1.1. Chemin de donnes d'un calculateur 5.1.2. Dfinition et fonction d'un squenceur 5.1.3. Distribution de phases 5.1.3.1. Rappel sur le fonctionnement du bistable RS 5.1.3.2. Schma d'un distributeur de phases 5.1.4. Les entres du squenceur 5.1.4.1. Les indicateurs d'tat de la machine 5.1.4.2. Le code opration et son dcodage

23

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun STRUCTURE MACHINE CODE : STRM2 3/4

5.1.5. Les chronogrammes 5.1.5.1. Rpartition des microcommandes dans le temps 5.1.5.2. Principes du squencement 5.1.5.3. Exemple de microcommande 5.1.5.4. Les chronogrammes de la machine Boulix 5.1.6. Les quations logiques 5.1.7. La simplification des quations logiques

5.2. Squencement microprogramm 5.2.1. Introduction 5.2.2. Mthode de Wilkes 5.2.3. Techniques de codage des micro-instructions 5.2.3.1. Codage par champs spars 5.2.3.2. Codage par champ global 5.2.3.3. Codage de type instruction 5.2.3.4. Comparaison entre les diffrents types de codage 5.2.4. Influence de la microprogrammation sur la structure des ordinateurs 5.2.5. Concept d'mulation
BIBLIOGRAPHIE

AER J.L., "Computer Systems Architecture", Computer Science Press. BERNARD J.M. et HUGON J., "Pratique des circuits logiques", Eyrolles, 1987. BERNARD J.M., HUGON J. et LECORVEC R., "de la logique cable AU MICROPROCESSEUR (Tome 3)", Eyrolles. BOUCHER H., "Architecture de l'ordinateur", Ecole Nationale Suprieure de Techniques Avances, 1979. BOULAY G., "La microprogrammation", Dunod. CIARCIA S., "Circuits", Mc Graw-Hill. CLEMENT L., "Systmes microprocesseurs", Cabay, 1983. DELSOL, "Circuits intgrs et techniques numriques", SUPAERO. FLORES I., "Peripheral devices", Prentice Hall. GINDRE M. et ROUX D., "Comprendre les microprocesseurs (Tome 3)", McGrawHill. GINDRE M. et ROUX D., "Electronique numrique, logique combinatoire et technologie", McGraw-Hill, 1987. GINDRE M. et ROUX D., "Electronique numrique, logique squentielle", McGrawHill, 1987. HAMACHER M.C., VRANESIC Z.G. et ZAKY S.G., "Structure des ordinateurs", McGraw-Hill, 1985.

24

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun STRUCTURE MACHINE CODE : STRM2 4/4

HENNESSY J.L. et PATTERSON D.A., "Architecture des ordinateurs, une approche quantitative", McGraw-Hill, 1992. KOUDIL M. et KHELIFATI S.L., "Structure des ordinateurs, autour du processeur", O.P.U., 1994. LETOCHA R., "Circuits numriques", Mc Graw-Hill, 1988. LILEN H., "Circuits intgrs MOS, principes et applications", Radio, 1972. LILEN H., "Circuits intgrs numriques", Radio, 1975. MANO M.M., "Computer system architecture", Prentice Hall, 1982. MEINADIER J.P., "Structure et fonctionnement des ordinateurs", Larousse, 1986. RISTORI J. et UNGARO L., "Cours d'architecture des ordinateurs", Eyrolles, 1991. TANENBAUM A., "Architecture de l'ordinateur", InterEditions, Novembre 1988. ZACKS R. et LESEA A. "Techniques d'interfaces aux microprocesseurs", Sybex. ZANELLA P. et LIGIER Y., "Architecture et technologie des ordinateurs", Dunod informatique, 1989.

25

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne : Tronc Commun

INTRODUCTION AUX SYSTEMES D'EXPLOITATION CODE : SYST2 1/2

Objectif : Comprendre le fonctionnement de la machine Comprendre lexcution des programmes en langage machine Chapitre 1 : INTRODUCTION AUX SYSTEMES DEXPLOITATION
1.1 1.2 Fonction dun systme dexploitation Evolution historique des systmes dexploitation Porte ouverte Moniteur denchanement Traitement par lot avec entres/sorties spares (Batch) Systmes multiprogramms Systmes en temps partag Rseaux et systmes rpartis Machines individuelles (P.C) Les diffrents types de systmes dexploitation Systme dun ordinateur individuel ou P.C. Systme en temps rel Systmes transactions ou transactionnels Systmes en temps partag Systmes distribus ou rpartis Architecture dun systme dexploitation Les diffrentes couches Composants dun systme dexploitation Gestion de processus Gestion de mmoire centrale Gestion de la mmoire secondaire Gestion des Entres/Sorties Gestion des fichiers Systme de protection Exemples de systmes dexploitation Systmes MS-DOS et Windows (95,98,...) Systme Unix Prsentation de la machine Description fonctionnelle de la machine (unit centrale et mmoire) Description du code interne (format interne dune instruction et des programmes) Descriptions du langage symbolique (syntaxe gnrale du langage). Prsentation du langage assembleur Les directives Les instructions de transferts
Les instructions arithmtiques et comparaison Les instructions de branchement Les instructions de traitement des bits (logiques et dcalage) Les instructions de traitement de chanes de caractres

1.3

1.4

1.5

Chapitre 2 : ETUDES DUN ASSEMBLEUR

2.1

2.2

26

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne : Tronc Commun

INTRODUCTION AUX SYSTEMES D'EXPLOITATION CODE : SYST2 2/2

Chapitre 3 : LES METHODES DASSEMBLAGE

3.1 3.2 Le cheminement dun programme travers le systme Les assembleurs Dfinition Dfinition des diffrentes tables Technique dassemblage Assembleur deux passes Assembleur une passe Les diteurs de liens Editeur de liens deux passes Editeur de liens une passe Les chargeurs Chargeurs absolus Chargeurs de rimplantation Chargeurs avec adressage sans registre de base Chargeur avec adressage avec registre de base

Chapitre 4 : LES EDITEURS DE LIENS ET CHARGEURS

4.1

4.2

BIBLIOGRAPHIE M. J. Bach : The design of the UNIX operating system Prentice Hall (Software series) 1986. J. Beauquier et B. Brard : Systmes dexploitation - Concepts et Algorithmes. Mc Graw-Hill 1991. H.M. Deitel : Operating systems Addison-Wesley 1990. D.Grosshans : File systems : Design and Implementation Printice-Hall 1986. S. Krakowiak : Principes des systmes dexploitation des ordinateurs. Dunod 1985. M. Raynal : Algorithmique du paralllisme : le problme de lexclusion mutuelle Dunod 1984. Silberschatz et P. B. Galvin : Principes des systmes dexploitation. Addison-Wesley 4e dition 1994. Tanenbaum : Les systmes dexploitation : Systmes centraliss, Systmes distribus. Prentice Hall InterEditions 1994.
The IA-32 Intel Architecture Software Developers Manual (3 volumes) H. LILEN, 80286 Assembleur, Edition radio H. LILEN, 80386 Modes de fonctionnement Architecture - Programme - Caractristique : Edition radio D. J- BRADLEY, Assembleur sur IBM PC , Edition Masson R. HYDE, The Art Of Assembly Language Programming, 2003 http://webster.cs.ucr.edu/Page_asm/ArtOfAsm.html Livres et brochures du langage Assembleur de la machine cible.

27

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc-Commun

SYTSTEMES D'INFORMATION CODE : SINF2 1/3

Objectif : Comprendre le concept de systme afin de mieux lutiliser en modlisation des situations complexes. Percevoir limportance des systmes dinformation de lentreprise.

Chapitre 1 : LES SYSTEMES

1. Elments mthodologiques: systme, environnement-frontire, sous-systme, interfaces. 2. Composition d'un systme 3. Les modles de base 4. Classification des systmes 4.1. Les systmes dterministes et les systmes probabilistes 4.2. Les systmes ferms et les systmes ouverts 5. Contrle d'un systme 5.1. Dfinition 5.2. Composition d'un contrle 5.3. Qualits d'un contrle 6. Les sous-systmes 6.1. La dcomposition 6.2. La simplification 6.3. Les mthodes de dcouplage 7. Entropie d'un systme

Chapitre 2 : LES SYSTEMES D'INFORMATION

1. Le concept d'information 1.1. Dfinitions de l'information 1.2. Les diffrentes formes de l'information 2. La thorie de l'information 2.1. Introduction 2.2. La mesure de la quantit d'information 2.3. L'analyse de la chane de communication 2.4. La distinction des trois niveaux d'information 2.4.1. Niveau technique 2.4.2. Niveau smantique 2.4.3. Niveau efficacit 3. Les systmes d'information 3.1. Dfinitions 3.2. Rle d'un SI 3.3. Place d'un SI

28

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun

SYTSTEMES D'INFORMATION CODE : SINF2 2/3

3.4. Statique et dynamique d'un SI 3.5. Cycle de vie d'un SI Chapitre 3 : LES OUTILS DE STRUCTURATION DE DONNEES 1. Le concept de base du formalisme de donnes (individuel) Le concept individu (objet, entier) Le concept de relation (liaisons) Le concept de proprits Le concept de cardinalits 2.Elaboration du modle conceptuel des donnes Notion du rel peru 3.Elaboration du modle conceptuel brut

Chapitre 4 : LES OUTILS D'ANALYSE

Introduction 1. La codification 1.1. Dfinitions 1.2. Puissance lexicographique 1.3. Types de codification 1.4. Objectif de la codification 1.5. Caractristiques d'un code 1.6. Les systmes de codification 1.7. Comment choisir une codification 2. Les contrles 2.1. Ncessit des contrles 2.2. Les diffrents types de contrle 2.3. Lordre d'excution des contrles 2.4. Contrles manuels et contrles automatiques

Travaux Pratiques
Un TP sur la codification et les contrles Un mini projet dans lequel ltudiant abordera dune manire pratique les notions de structuration de donnes, de codification et de contrles.

29

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc-Commun.

SYTSTEMES D'INFORMATION CODE : SINF2 3/3

BIBLIOGRAPHIE: J.L. LEMOIGNE: "La thorie du systme gnral", (Ed. Presses Universitaires Franaises). J. SORNET: "Guide de l'analyse informatique", (Ed. d'Organisation). C. COCHET, A. GALLIOT:"L'analyse fonctionnelle et organique" T1 et T2, (Ed. Dunod). X. CASTELLANI:"Mthode gnrale d'analyse d'une application informatique" T1 et T2, (Ed. Masson) Y. LASFARGUES: "Une informatique par et pour les gestionnaires", (Ed. d'Organisation). G.B. DAVIS, M.H. OLSON, J. AJENSTAT, J.L. PEAUCELLE: "Systmes d'informations pour le management", (Ed. G. Vermette Inc.). J.A. SENN: "Analyse et conception des S.I.", (Ed. Mc Graw Hill). ROLES: "Thorie de l'information" L. VON BERTALANFFY: "Thorie gnrale des systmes", (Ed. Dunod). J.L. PEAUCELLE:"Informatique", (Ed. Vuibert). G. SOLLIN: "Informatique applique la gestion: choix des structures et des moyens de gestion", (Ed. Masson). M. AUMIAUX:"Informatique de gestion". R. REIX: "Traitement des informations".

30

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun MATHEMATIQUES CODE : MATH2 1/3

Objectif : Dcouvrir quelques concepts topologiques de IR2 et IR3 Etendre les notions de limite, continuit et diffrentiabilit des fonctions de IRn dans IR et les gnraliser des fonctions de IRn dans IRp Exploiter les rsultats ci-dessus pour traiter certains problmes doptimisations avec ou sans contraintes Etendre la notion dintgrale de Riemann aux cas dun intervalle non born ou dune fonction non borne. Dfinir lintgrale de Riemann en dimensions 2 et 3 Introduire quelques notions sur les EDPs Etablir les critres de convergences des sries. Dfinir les modes usuels de convergences des sries de fonctions et les exploiter afin dtudier la conservation de la continuit et la drivabilit et lintgration par passage la limite Dterminer les dveloppements en sries entires des fonctions usuelles de lanalyse Chapitre 1 : Fonctions de plusieurs variables On gnralise les notions connues sur les fonctions numriques dune variable relle aux fonctions numriques et vectorielles de n variables relles (n IN*) 1-Quelques notions topologiques sur IRn 2-Limites et continuit de fonctions de IRn dans IR 3-Limites et continuit de fonctions de IRn dans IRp 4-Drives partielles et thorme de SHWARZ 5-Diffrentiabilit 6-Composition de fonctions diffrentiables, fonctions implicites 7-Formule de Taylor 8-Extrema libres et lis Chapitre 2 : Intgrales doubles et triples On dfinit lintgrale de fonctions de deux variables et de trois variables dans un domaine born, et on donne des techniques dintgration en plus de certaines applications. - Partie 1: Intgrales doubles 1-Dfinition dune intgrale double 2-Thorme de Fubini 3-Changement de variables 4-Applications (Calcul daires et de volumes) - Partie 2 : Intgrales triples 1-Dfinition dune intgrale triple 2-Changement de variables 3-Utilisation des intgrales doubles

31

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun MATHEMATIQUES CODE : MATH2 2/3

Chapitre 3 : Intgrales impropres On gnralise la notion dintgrale de Riemann de fonctions dune variable relle au cas de domaine dintgration non born ou de fonction non dfinie dans tout le domaine dintgration. 1-Dfinition de tous les types dintgrales impropres et proprit lmentaires 2-Convergence des intgrales de fonctions positives (comparaison , quivalence) 3-Intgrales de fonctions de signe quelconque 4-Techniques dintgration (Intgration par parties, changement de variables) 5-Intgrales paramtrs Chapitre 4 : Sries numriques Les sries numriques sont des suites numriques particulires, leur tude permet de dfinir et dtudier rigoureusement la somme dune infinit dlments 1-Dfinitions et proprits lmentaires 2-Sries termes positifs (critres de comparaison, quivalence) 3-Sries termes quelconques (critre dAbel) 4-Proprits dassociativit et de commutativit et produit de sries ** Remarque : La rgle n Un est voir et montrer en TD Chapitre 5 : Suites et sries de fonctions On dfinit des suites et des sries dont les termes sont des fonctions numriques dune variable relle, on tudie tous les types de convergence et on voit dans quelle mesure la fonction limite conserve les proprits analytiques. On considre ensuite des sries de fonctions particulires: les sries entires et les sries de Fourier et on tudie la question de reprsentation dune fonction donne par de telles sries.
Partie 1 : Suites de fonctions 1-Dfinitions, convergence simple et uniforme, rgles pratiques de convergence 2-conservation de la continuit 3-conservation de lintgrabilit 4-conservation de la drivabilit Partie 2 : Sries de fonctions 1-Dfinitions, convergence simple, uniforme et normale, critres de convergence uniforme et normale.

32

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun MATHEMATIQUES CODE : MATH2 3/3

2-Proprits de la somme dune srie de fonctions (continuit, intgrabilit, drivabilit) Patie 3 : Sries entires 1-Dfinitions et proprits (Premier lemme dAbel, rayon et intervalle de convergence) 2-Dtermination du rayon de convergence (thorme de Hadamard) 3-Proprits des sries entires (continuit, intgrabilit, drivabilit, rgularit C , second lemme dAbel) 4-Sries de Taylor et dveloppements usuels Partie 4 : Sries de Fourier 1-Sries trigonomtriques et sries de Fourier 2-Reprsentation dune fonction par sa srie de Fourier (thorme de Dirichlet) 3-Egalit de Parseval 4-Cas de fonctions dfinies dans un intervalle

Chapitre 6 : Fonction dune variable complexe On dfinit les fonctions dune variable complexe et on tudie les notions de limites, continuit, drivabilit et intgration. 1-Dfinitions avec rappels sur les nombres complexes 2-Limites et continuit 3-Drivation, fonctions holomorphes et analytiques, sries de Taylor, point singuliers, sries de Laurent 4-Intgration, thorme de Cauchy, thorme des rsidus, applications au calcul dintgrales de fonctions dune variable relle BIBLIOGRAPHIE:
E. AZOULAY, J. AVIGNANT, Mathmatiques tomes 1,2,3 , Mc GRAW-HILLS 1985 B. CALVO, J. DOYEN, cours danalyse, collection U,1977 G. FLORY, topologie - analyse, vuibert, 1990, J. GUEGAND, J-P. GAVINI, analyse 2 , ellipses, 1993 J. GUEGAND, J.L. ROQUE, C. LEBOEUF, cours danalyse, ellipses, 1985. D.E MEDJADI, M. BOUKRA, A. DJADANE, B-K. SADALLAH, analyse mathmatique, volume 2, OPU 1994.

33

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun

INTRODUCTION A LA LOGIQUE MATHEMATIQUE CODE : LOGM2 1/3

Objectif :

Matriser les proprits de consistance et de compltude dun systme logique Comprendre ce quest une thorie logique et ce quest la smantique dun langage logique. Apprendre reprsenter un nonc dans un langage logique et en vrifier la cohrence. Comprendre les fondements thoriques de linformatique et cerner les limites des ordinateurs. Comprendre les fondements de la calculabilit et les notions de dcidabilit et de non dcidabilit. Prparer ltudiant divers modules informatiques (thorie des langages, thorie de la preuve, ). Chapitre 1 : Le calcul propositionnel 1.1. Introduction 1.2. Le langage propositionnel La syntaxe du langage propositionnel Lalphabet Les rgles dcriture Priorit des connecteurs 1.3. Etude smantique du langage propositionnel Satisfiabilit Tautologie Consquence logique5 Systme complet de connecteurs Connecteurs de Sheffer Proprits des connecteurs logiques Forme normale disjonctive et forme normale conjonctive 1.4. Thorie de la dmonstration Introduction La rsolution en calcul des propositions Mise sous forme normale Arbre smantique Consistance de la rsolution Compltude de la rsolution

34

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC

2me Anne Tronc-Commun

INTRODUCTION A LA LOGIQUE MATHEMATIQUE CODE : LOGM2 2/3

Chapitre 2 : Le calcul des prdicats du premier ordre 2.1. Introduction 2.2. Les langages du premier ordre Syntaxe Priorits des connecteurs Systme complet de connecteurs Champ dun quantifieur Variables libres, variables lies Substitution dun terme une variable Terme libre pour une variable 2.3. Thorie des modles Interprtation des termes et des formules Satisfiabilit Modle d'un ensemble de formules Formule valide Consquence logique Forme normale conjonctive et forme normale disjonctive Forme normale prnexe Forme de Skolem 2.4. Thorie de la dmonstration Introduction La rsolution en calcul des prdicats du premier ordre Forme clausale dune formule L'univers de Herbrand d'un ensemble de clauses Interprtation de Herbrand (H-interprtation). Arbre smantique Arbre smantique clos Rsolution applique des instances de base Substitution Unification Principe de la rsolution Chapitre 3 : Rappels mathmatiques 3.1 Les ensembles 3.2. Relations 3.3. Fonctions partielles et totales 3.4. Injections, Surjections, Bijections, Induction Chapitre 4 : Calculabilit 4.1. Introduction 4.2. Fonctions caractristiques 4.3. Fonctions primitives rcursives
35

EcolenationaleSuprieuredInformatique(ESI)

4.4. Fonctions rcursives

2I-TRC 2me Anne Tronc-Commun

INTRODUCTION A LA LOGIQUE MATHEMATIQUE CODE : LOGM2 3/3

4.5. Fonctions rcursives 4.6. Thse de Church 4.7. Ensembles numrables et ensembles dcidables 4.8. Ensembles et relations rcursifs 4.9. Ensembles rcursivement numrables 4.10. Les machines de Turing Composition de deux machines de Turing Machine de Turing dune fonction dfinie par composition Machine de Turing dune fonction dfinie par rcursion Machine de Turing dune fonction dfinie par minimisation 4.15. Thse de Church-Turing Travaux Pratiques Un TP au 2me semestre : Donner la possibilit aux tudiants de faire le lien entre le cours thorique et la pratique informatique et de les initier la programmation logique.

BIBLIOGRAPHIE:

INTRODUCTION TO MATHEMATICAL LOGIC; ELLIOT MENDELSON LOGIQUE MATHEMATIQUE; S.C.KLEEN; COLLECTION U COMPRENDRE LA LOGIQUE MODERNE (TOME I); F.CHENIQUE; DUNOD COURS DE LOGIQUE MATHEMATIQUE; R.FRAISSE INTRODUCTION A LA LOGIQUE; A.TARSKI SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING; C-L.CHANG

36

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun STATISTIQUES CODE : STAT2 1/2

Objectif : Comprendre les notions et les thmes de probabilits et statistiques plus approfondies Assimiler les observations exprimentales aux lois thoriques Fournir des lments de dcision Chapitre 1 : La statistique descriptive
1. Introduction 2. Tableaux et graphes 3. Analyse dune distribution de frquences

Chapitre 2 : Calcul des probabilits

1 : Analyse combinatoire 2 : Espace de probabilits - exprience alatoire, - vnements alatoires, - Probabilits (approche intuitive, dfinition, proprits et probabilit uniforme) 3 : Probabilit conditionnelle et indpendance Introduction, dfinition, formule des probabilits composs, formule des probabilits totales, formule de bayes, indpendance. 4 : variables alatoires discrtes (V.A.D) a) V.a.d b) Lois de probabilit c) Fonction de rpartition d) Mode, moments, esprance et variance e) Couple alatoire discret Loi du couple Lois marginales Indpendance Lois conditionnelle Lois de la somme 5 : Modles probabilistes discrets Loi uniforme, loi de Bernoulli, loi binomiale, loi de poisson, loi hypergomtrique, loi de pascal, approximations 6 : Variables alatoires continues (V.A.C) 1.V.A.C 2.Couple de variables alatoires continues 7: Modles probabilistes continus 1. Loi normale 2. Autres lois continues usuelles Loi uniforme, loi exponentielle, loi du khi-deux, loi de Student, loi de Fisher.

37

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun STATISTIQUES CODE : STAT2 2/2

Chapitre 3 : Gnralisation au vecteur alatoire Chapitre 4 : Convergence Ingalits Convergence en probabilit Loi faible des grands nombres Convergence en loi Thorme de limite centrale Approximations
Chapitre 5 : La statistique infrentielle 1 : Thorie de lchantillonnage 2 : Estimation -Estimation ponctuelle -Mthode des moments -Mthode du maximum de vraisemblance. -Estimation par intervalle de confiance 3 : Tests statistiques -Tests paramtriques -Tests non paramtriques. . BIBLIOGRAPHIE :

P. JAFFARD : STATISTIQUES RESUME DE COURS - EXERCICE PROBLEMES MASSON 1977 C. LAROUSSE : STATISTIQUE EXERCICES CORRIGES AVEC RAPPELS DE COURS TOME1,2 et 3) DUNOD 1983 M. BENYAKHLEF : PROBABILITES ET STATISTIQUES MATHEMATIQUE TOME P.E.M. 1977 C. LEBOEUF, J.L. ROQUE, P. LANDRY EXERCICES CORRIGES DE PROBABILITES. ELLIPSE 1983 C. LEBOEUF, J.L ROQUE, P. GUEGAND EXERCICE DE PROBABILITES ET DE STATISTIQUE ELLIPSE 1983 C. MOUCHOT EXERCICES PEDAGOGIQUES DE STATISTIQUES ET ECONOMIE ECONOMICA 1979.

38

EcolenationaleSuprieuredInformatique(ESI)

2I-TRC 2me Anne Tronc-Commun ANGLAIS CODE : ANGL2 1/1

Objectif : Extraire laspect grammatical du texte technique informatique

Chapitre 1 : Computer vocabulary Computer vocabulary Basic components. Translation texts Passages

Chapitre 2 : Structure of sentence Definition Types of sentences Identification of sentences. Chapitre 3 : Complex sentence Kinds of clauses. Noun clause ( that , wh , yes-no) Adjective clause. (Restrictive, non-restrictive) Adverb clause.

Chapitre 4 : Phrase Difference between phrase and sentence. Types of phrases. BIBLIOGRAPHIE : Natural English, upper intermediate student book, Oxford university press, 2003 Oxford advanced learners dictionary, Oxford university press, 2000 Santiago esters, English for computer uses, Raymond-Murphy, English grammar in use

39