Vous êtes sur la page 1sur 13

Concours externe de lagrgation du second degr Section Mathmatiques Programme de la session 2014

____________________________________________________________________________________________________________ Ministre de lducation nationale > www.education.gouv.fr 24 janvier 2013

Le programme des preuves de lagrgation nest pas rdig comme un plan de cours. Il dcrit un ensemble de connaissances que le candidat doit matriser. Il comporte des rptitions lorsque des notions interviennent naturellement plusieurs endroits. Dune faon gnrale, les candidats doivent connatre des applications qui illustrent les notions gnrales. Le programme en propose ainsi un certain nombre. Il ne sagit que de simples suggestions dapplications possibles, qui peuvent tre compltes ou remplaces par dautres. Dans les titres 1 5 qui suivent, tous les corps (nots K en gnral) sont supposs commutatifs.

1 Algbre linaire
1.1 Espaces vectoriels
1. Espaces vectoriels, applications linaires. Produit despaces vectoriels. Sous-espaces, image et noyau dune application linaire. Espaces quotients. Somme de sous-espaces, somme directe, supplmentaires. Familles libres, gnratrices ; bases. Algbre des endomorphismes dun espace vectoriel E , groupe linaire GL (E ). 2. Sous-espaces stables dun endomorphisme. Valeurs propres, vecteurs propres, sous-espaces propres. 3. Reprsentations linaires dun groupe et dune algbre. Irrductibilit. En dimension nie : exemples de dcomposition dune reprsentation linaire en somme directe de sous-reprsentations, lemme de Schur.

1.2 Espaces vectoriels de dimension nie


1. Espaces vectoriels de dimension nie. Existence de bases : isomorphisme avec Kn . Existence de supplmentaires dun sous-espace. Rang dune application linaire, rang dun systme de vecteurs. Espace dual. Rang dun systme dquations linaires. Transpose dune application linaire. Base duale. Bidualit. Orthogonalit. 2. Applications multilinaires. Dterminant dun systme de vecteurs, dun endomorphisme. Groupe spcial linaire SL (E ). Orientation dun R-espace vectoriel. 3. Matrices coefcients dans un corps. Oprations matricielles. Rang dune matrice. Reprsentations matricielles dune application linaire. Changement de base. Oprations lmentaires sur les lignes et les colonnes dune matrice. Mthode du pivot de G AUSS. Notion de matrices chelonnes. Application la rsolution de systmes dquations linaires, au calcul de dterminants, linversion des matrices carres, la dtermination du rang dune matrice, la dtermination dquations dnissant un sous-espace vectoriel. Extension lmentaire de ces notions aux matrices coefcients dans un anneau commutatif. 4. Sous-espaces stables dun endomorphisme, lemme des noyaux. Polynme caractristique, polynmes annulateurs dun endomorphisme, polynme minimal. Thorme de C AYLEY-H AMILTON. Diagonalisation, trigonalisation, applications. Sous-espaces caractristiques, dcomposition de D UN FORD . Exponentielle des matrices relles ou complexes.

2 Groupes et gomtrie
Les diffrentes notions de thorie des groupes introduites dans les paragraphes suivants seront illustres et appliques dans des situations gomtriques. 1. Groupes, morphismes de groupes. Produit direct de groupes. Sous-groupes. Sous-groupe engendr par une partie. Ordre dun lment. Sous-groupes distingus (ou normaux), groupes quotients. Opration dun groupe sur un ensemble. Stabilisateur dun point, orbites, espace quotient. Formule des 1

classes. Classes de conjugaison. Application la dtermination des groupes disomtries dun polydre rgulier en dimension 3. 2. Groupes cycliques. Groupes abliens de type ni. Groupe des racines complexes n -imes de lunit, racines primitives. 3. Groupe des permutations dun ensemble ni. Dcomposition dune permutation en produit de transpositions, en produit de cycles supports disjoints. Signature. Groupe altern. Application : dterminants. 4. Dnition des groupes classiques dautomorphismes dun espace vectoriel de dimension nie : groupe gnral linaire, groupe spcial linaire ; groupe orthogonal, groupe spcial orthogonal ; groupe unitaire, groupe spcial unitaire. 5. Reprsentations dun groupe ni sur un C-espace vectoriel. Cas dun groupe ablien. Orthogonalit des caractres irrductibles. Groupe dual. Transforme de Fourier. Convolution. Application : transforme de Fourier rapide. Cas gnral. Thorme de Maschke. Caractres dune reprsentation de dimension nie. Fonctions centrales sur le groupe, base orthonorme des caractres irrductibles. Exemples de reprsentations de groupes de petit cardinal.

3 Anneaux, corps, polynmes et fractions rationnelles


1. Anneaux (unitaires), morphisme danneaux, sous-anneaux. Lanneau Z des entiers relatifs. Produit danneaux. Idaux dun anneau, anneaux quotients. Idaux premiers, idaux maximaux dun anneau commutatif. Notion de module sur un anneau commutatif, dalgbre (associative ou non) sur un anneau commutatif. 2. Algbre des polynmes une ou plusieurs indtermines sur un anneau commutatif. Polynmes homognes. Polynmes symtriques. Dcomposition en polynmes homognes. Tout polynme symtrique sexprime en fonction des polynmes symtriques lmentaires. 3. Sries formelles une indtermine coefcients dans un corps. Addition, multiplication, composition, lments inversibles. 4. Corps, sous-corps. Caractristique. Extension de corps. Corps des fractions dun anneau intgre. Le corps Q des nombres rationnels. Le corps R des nombres rels. Le corps C des nombres complexes. Thorme de D A LEMBERT-G AUSS. 5. Divisibilit dans les anneaux commutatifs intgres. lments irrductibles, lments inversibles, lments premiers entre eux. Anneaux factoriels. Plus grand diviseur commun, plus petit multiple commun. Factorialit de A [ X ] quand A est un anneau factoriel. Anneaux principaux. Thorme de B ZOUT. Anneaux euclidiens. Algorithme dE UCLIDE. Cas de lanneau Z et de lalgbre K[ X ] des polynmes sur le corps K. Polynmes irrductibles. Exemples : polynmes cyclotomiques dans Q[ X ], critre dE ISENSTEIN. 6. Congruences dans Z. Nombres premiers. tude de lanneau Z/n Z et de ses lments inversibles. Thorme chinois et applications : multiplication, pivot de G AUSS, systmes linaires. . . 7. Racines dun polynme, multiplicit. Polynme driv. lments algbriques et transcendants. Extensions algbriques. Corps algbriquement clos. Corps de rupture et corps de dcomposition. Corps nis. 8. Relations entre les coefcients et les racines dun polynme scind. Sommes de N EWTON. Rsultant. Discriminant. Application lintersection ensembliste de deux courbes algbriques planes. 9. Corps des fractions rationnelles une indtermine sur un corps. Dcomposition en lments simples. Cas rel et complexe. Drive logarithmique dun polynme et applications. 2

Formes bilinaires et quadratiques sur un espace vectoriel


1. Formes bilinaires. Formes bilinaires alternes. Formes bilinaires symtriques, formes quadratiques, forme polaire dune forme quadratique (en caractristique diffrente de 2). lments orthogonaux, interprtation gomtrique. Formes non dgnres. Adjoint dun endomorphisme. Reprsentation matricielle, changement de base. Rang dune forme bilinaire. 2. Orthogonalit. Sous-espaces isotropes. Dcomposition dune forme quadratique en somme de carrs. Thorme dinertie de S YLVESTER. Classication dans le cas de R ou C. Procds dorthogonalisation. 3. Espaces vectoriels euclidiens, espaces vectoriels hermitiens. Isomorphisme dun espace vectoriel euclidien avec son dual. Supplmentaire orthogonal. Ingalit de C AUCHY-S CHWARZ. Norme. Bases orthonormales. 4. Groupe orthogonal, groupe spcial orthogonal. Exemple de gnrateurs du groupe orthogonal : dcomposition dun automorphisme orthogonal en produit de rexions. Endomorphismes symtriques, endomorphismes normaux. Diagonalisation dun endomorphisme symtrique. Rduction simultane de deux formes quadratiques relles, lune tant dnie positive. Dcomposition polaire dans GL (n , R). Espaces vectoriels euclidiens de dimension 2 ou 3 : groupe des rotations ; produit mixte ; produit vectoriel. 5. Angles en dimension 2 : angles de vecteurs, angles de droites. Thorme de langle inscrit. Cocyclicit. 6. Groupe unitaire, groupe spcial unitaire. Diagonalisation des endomorphismes normaux. Dcomposition polaire dans GL (n , C).

5 Gomtries afne, projective et euclidienne


Tous les espaces considrs dans ce chapitre sont de dimension nie. 1. Espace afne et espace vectoriel associ. Application afne et application linaire associe. Sousespaces afnes, barycentres. Repres afnes, quations dun sous-espace afne. Groupe afne, notion de proprit afne. Groupe des homothties-translations, afnits. Parties convexes, enveloppe convexe dune partie dun espace afne rel, points extrmaux. Projection sur un convexe ferm. 2. Droite projective relle ou complexe : groupe des homographies, birapport. 3. Isomtries dun espace afne euclidien. Groupe des isomtries dun espace afne euclidien. Dplacements, antidplacements. En dimension 2 : classication des isomtries, similitudes directes et indirectes. En dimension 3 : rotations. 4. Groupe des isomtries laissant stable une partie du plan ou de lespace. Polygones rguliers. Relations mtriques dans le triangle. Utilisation des nombres complexes en gomtrie plane. 5. Coniques et quadriques Application des formes quadratiques ltude des coniques propres du plan afne euclidien et des quadriques de lespace afne euclidien de dimension 3. Classication des coniques. Intersection de quadriques et rsultant. Proprits gomtriques (afnes et mtriques) des coniques. Dnition par foyer et directrice, dnition bifocale.

6 Analyse une variable relle


1. Nombres rels Le corps R des nombres rels. Topologie de R. Sous-groupes additifs de R. Droite numrique acheve. Suites de nombres rels : convergence, valeur dadhrence. Limites infrieure et suprieure. Suites 3

de Cauchy. Compltude de R. Thorme de B OLZANO -W EIERSTRASS. Parties compactes de R. Parties connexes de R. Convergence des sries termes rels. Sries gomtriques, sries de R IEMANN. Sries termes positifs. Sommation des relations de comparaison. Comparaison dune srie et dune intgrale. Estimations des restes. Convergence absolue. Produits de sries. Sries alternes. 2. Fonctions dnies sur une partie de R et valeurs relles (a) Continuit Limite, continuit droite, gauche, continuit. Oprations algbriques sur les fonctions continues. Thorme des valeurs intermdiaires, image dun segment. tude de la continuit des fonctions monotones. Continuit dune fonction rciproque. (b) Drivabilit Drive en un point, drive droite, gauche. Fonctions drivables. Oprations algbriques sur les fonctions drivables. Drive dune fonction compose. Drivabilit dune fonction rciproque. Thormes de R OLLE et des accroissements nis. Application au sens de variation dune fonction. Drives dordre suprieur. Applications de classe C k , de classe C k par morceaux. Formule de L EIBNIZ. Formule de TAYLOR avec reste intgral, formule de TAYLOR-L AGRANGE, formule de TAYLOR-Y OUNG. Calcul de dveloppements limits et de dveloppements asymptotiques. 3. Intgrale sur un segment des fonctions continues par morceaux et calcul de primitives Proprits de lintgrale : linarit, relation de C HASLES, positivit. Sommes de R IEMANN. Primitives dune fonction continue. Changement de variable. Intgration par parties. Mthodes usuelles de calcul dintgrales. 4. Intgrales gnralises. Intgrales absolument convergentes. Intgration des relations de comparaison. Intgrales semi-convergentes. 5. Suites et sries de fonctions Convergence simple, convergence uniforme. Continuit et drivabilit de la limite. Cas des sries de fonctions : convergence normale. Thormes dapproximation de W EIERSTRASS polynomial et de W EIERSTRASS trigonomtrique. 6. Fonctions usuelles Fonctions polynmes, fonctions rationnelles. Logarithmes. Exponentielles. Fonctions puissances. Fonctions circulaires et hyperboliques. Fonctions circulaires et hyperboliques rciproques. 7. Convexit Fonctions convexes dune variable relle. Continuit et drivabilit des fonctions convexes. Caractrisations de la convexit. 8. Suites dnies par une relation u n +1 = f (u n ). tude graphique. Points xes attractifs. Points xes rpulsifs. 9. Polynme dinterpolation de L AGRANGE. 10. Mthodes dapproximation Approximation quadratique : polynmes orthogonaux. 11. Mthodes de rsolution approche des quations f (x ) = 0 : dichotomie, mthode de P ICARD, mthode de N EWTON. Estimation de lerreur pour la mthode de N EWTON. 12. Intgration numrique : mthode des trapzes, de S IMPSON ; estimation de lerreur. 4

7 Analyse une variable complexe


1. Sries entires Rayon de convergence. Proprits de la somme dune srie entire sur son disque de convergence : continuit, drivabilit par rapport la variable complexe, primitives. Fonctions analytiques sur un ouvert. Principe des zros isols. Oprations algbriques sur les fonctions analytiques. Composition. Exponentielle complexe ; proprits. Extension des fonctions circulaires au domaine complexe. Dveloppement en srie entire des fonctions usuelles. 2. Fonctions dune variable complexe Fonctions holomorphes. Conditions de C AUCHY-R IEMANN. Intgrale dune fonction continue le long dun chemin C 1 par morceaux. Primitives dune fonction holomorphe sur un ouvert toil. Dterminations du logarithme. Indice dun chemin ferm C 1 par morceaux par rapport un point. Formules de C AUCHY. Analyticit dune fonction holomorphe. Principe du prolongement analytique. Principe du maximum. Singularits isoles. Sries de L AURENT. Fonctions mromorphes. Thorme des rsidus. Suites et sries de fonctions holomorphes.

8 Calcul diffrentiel
1. Topologie de Rn Parties ouvertes, fermes. Voisinages. Parties compactes. Thorme de B OLZANO-W EIERSTRASS. Parties connexes. Normes usuelles. Limites. Applications continues. Compltude de Rn . 2. Fonctions diffrentiables Applications diffrentiables sur un ouvert de Rn . Diffrentielle (application linaire tangente). Drive selon un vecteur. Drives partielles. Oprations algbriques sur les applications diffrentiables. Composition dapplications diffrentiables. Thorme des accroissements nis. Applications de classe C 1 . Matrice jacobienne. Applications de classe C k . Drives partielles dordre k . Interversion de lordre des drivations. Formule de TAYLOR avec reste intgral, formule de TAYLOR-Y OUNG. tude locale des applications valeurs dans R. Dveloppements limits. Recherche des extremums locaux. Diffomorphismes. Thorme dinversion locale. Thorme des fonctions implicites. 3. quations diffrentielles quations diffrentielles sur un ouvert de Rn , de la forme X = f (t , X ). Thorme de C AUCHY-L IPSCHITZ. Solutions maximales. Problme de lexistence globale. Dpendance par rapport aux conditions initiales. Portrait de phase, comportement qualitatif. Systmes diffrentiels linaires. Mthode de variation de la constante. Cas des coefcients constants. quations diffrentielles linaires dordre suprieur un.

9 Calcul intgral
1. Dnition des espaces mesurables, tribu produit, cas particulier des tribus borliennes. Dnition dune mesure, cas particuliers de la mesure de comptage, de la mesure de L EBESGUE (construction 5

admise) et des mesures de probabilit. Dnition dune fonction mesurable ; oprations lmentaires sur les fonctions mesurables. 2. Intgration Intgrale des fonctions mesurables positives, thorme de convergence monotone. Lemme de Fatou. Fonctions intgrables, thorme de convergence domine. Continuit, drivabilit, holomorphie dune intgrale dpendant dun paramtre. Espaces L p , o 1 p : ingalits de M INKOWSKI, H LDER et J ENSEN. Thorme de F UBINI. Changement de variables dans une intgrale multiple. Calculs daires de domaines plans et de volumes. Convolution. Rgularisation et approximation par convolution. 3. Analyse de F OURIER Sries de F OURIER des fonctions localement intgrables priodiques dune variable relle. Lemme de R IEMANN -L EBESGUE. Produit de convolution de fonctions priodiques. Thormes de D IRICHLET et de F EJER. Thorie L 2 : convergence en moyenne quadratique, formule de PARSEVAL.

10 Probabilits
1. Dnition dun espace probabilis : vnements, tribus, mesure de probabilit. Indpendance dvnements et de tribus. Loi du 0-1, lemmes de B OREL -C ANTELLI. 2. Probabilits conditionnelles : dnition, formule des probabilits totales et thorme de B AYES. 3. Variables alatoires, loi dune variable alatoire : loi discrte et loi absolument continue. Fonction de rpartition et densit. 4. Exemples de variables alatoires : variable de B ERNOULLI, binomiale, de P OISSON, uniforme, exponentielle, de G AUSS. 5. Esprance et variance dune variable alatoire valeurs relles, thorme de transfert. 6. Indpendance de variables alatoires. Loi conditionnelle dune variable par rapport une autre. 7. Transformations exponentielles de lois : fonction caractristique, transforme de L APLACE, fonction gnratrice. Liens avec lindpendance et la convolution, application aux sommes de variables alatoires indpendantes. 8. Convergences de suites de variables alatoires : en probabilit, dans L p , presque srement, en loi. 9. Ingalit de M ARKOV, ingalit de B IENAYM -T CHEBYCHEV. Loi faible des grands nombres, applications en statistiques. 10. Thorme de L VY, thorme central limite, applications en statistiques.

11

Analyse fonctionnelle
Topologie dun espace mtrique. Topologie induite. Suites. Valeurs dadhrence. Limites. Applications continues. Homomorphismes. Produit ni despaces mtriques. Compacit. Connexit. Composantes connexes. Connexit par arcs. Proprits mtriques : applications lipschitziennes, applications uniformment continues. Espaces mtriques complets. Thorme du point xe pour les applications contractantes.

1. Topologie et espaces mtriques

2. Espaces vectoriels norms sur R ou C. Topologie dun espace vectoriel norm. Normes quivalentes. Cas des espaces de dimension nie. Espaces de B ANACH. Sries absolument convergentes dans un espace de Banach. 6

Applications linaires continues, norme. Norme de la convergence uniforme. Espace des fonctions continues bornes sur un espace mtrique, valeurs dans un espace B ANACH. tude de la compacit de parties dun espace vectoriel norm : thorme de R IESZ ; thorme dA SCOLI. Compltude des espaces L p , o 1 3. Espaces de H ILBERT Projection sur un convexe ferm. Projection orthogonale sur un sous-espace vectoriel ferm. Dual dun espace de H ILBERT. Cas des espaces L 2 . Bases hilbertiennes (dans le cas sparable). Exemples de bases : fonctions trigonomtriques, polynmes orthogonaux. Exemples dapplications linaires continues entre espaces de H ILBERT. 4. Espace de Schwartz S (Rd ) des fonctions dcroissance rapides sur Rd . Normes N p ( f ) (sup des normes uniformes des produits des drives partielles itres dordre infrieur p de f par les monmes de degr infrieur p ). Espace S (Rd ) des distributions tempres. Drivation des distributions tempres ; formule des sauts en dimension 1 ; formule de Stokes pour un demi-espace en dimension d . Cas particulier des distributions support compact dans Rd . Convolution de distributions dans le cas o lune dentre elles est support compact. Transformation de Fourier dans S et dans S . Transformation de Fourier sur les espaces L 1 (Rd ) et L 2 (Rd ). p .

12 Gomtrie diffrentielle
Sous-varits de Rn . Dnitions quivalentes : graphe local, paramtrisation locale, quation locale. Espace tangent. Notions mtriques : longueur dun arc, paramtrisation normale, courbure dun arc en dimensions 2 et 3. Gradient. Trac de courbes usuelles. Surfaces dans R3 : position par rapport au plan tangent. Dnition de la divergence dun champ de vecteurs. Extremums locaux dune fonction dnie sur une sous-varit (extremums lis), multplicateurs de Lagrange.

PREUVES CRITES Les preuves crites comportent deux preuves : A. Composition de mathmatiques gnrales Le programme de cette preuve est constitu par les titres 1 12 ci-dessus. B. Composition danalyse et probabilits Le programme de cette preuve est constitu par les titres 1 12 ci-dessus. PREUVES ORALES Les candidats ont le choix entre quatre options : Option A : probabilit et statistiques Option B : calcul scientique Option C : algbre et calcul formel Option D : informatique

preuves orales des options A, B, C


1re preuve : preuve dAlgbre et Gomtrie 2e preuve : preuve dAnalyse et Probabilits Le programme de ces deux preuves, communes aux options A, B et C, est constitu des titres 1 12 ci-dessus. 3e preuve : preuve de Modlisation Lpreuve porte sur un programme commun aux options A, B et C et sur un programme spcique loption choisie. Lpreuve consiste en un expos de modlisation mathmatique construit en partant dun texte propos par le jury. Le programme dnit un cadre de thories mathmatiques et de techniques dapplication adaptes pour lpreuve. Ce programme comporte une partie commune aux options A, B et C et, pour chacune de ces options, une partie spcique.

Modlisation : programme de la partie commune aux options A, B, C


Le corpus des logiciels disponibles est constitu de Maple, Mathematica, MuPAD, Matlab, Scilab, Octave, R, Maxima, Axiome, Giac/Xcas, Pari/GP, Gap. partir de 2015, seuls les logiciels libres seront disponibles. Le site de lagrgation externe de mathmatiques (=CHAC HC) et le rapport du Jury prciseront sufsamment lavance la liste des logiciels disponibles et la nature de leur environnement. laide dun ou plusieurs de ces logiciels, les candidats devront montrer leur capacit : mettre en uvre avec prcision et rigueur les concepts et outils mathmatiques au programme, distinguer les reprsentations exactes ou approches des objets mathmatiques estimer le cot et les limitations dalgorithmes simples : complexit, prcision analyser la pertinence des modles. Le programme de cette partie comprend les mthodes numriques, probabilistes, statistiques et symboliques cites dans les programmes des preuves crites et celles cites dans les paragraphes suivants. 8

1. Calcul numrique et symbolique Utilisation des logiciels au programme : simulation, intgration, diffrentiation, calcul de sommes et dintgrales, rsolution dquations algbriques et diffrentielles. 2. Probabilits discrtes : tirages uniformes ; chantillons. 3. Chanes de M ARKOV homognes espace dtats nis : dnition, irrductibilit, apriodicit. 4. Validation et prcision des rsultats. Mthodes numriques : notion de conditionnement des systmes linaires. Prcision du schma numrique dE ULER explicite pas constant. Moyenne et variance empirique. Mthode de Monte Carlo : vitesse de convergence ; applications au calcul dintgrales multiples (exemple : calcul de volumes). 5. Moindres carrs linaires (sans contraintes).

Programme spcique de loption A


1. Utilisation de lois usuelles (voir section 10.4, loi gomtrique) pour modliser certains phnomnes alatoires. Exemples : temps dattente ou dure de vie, erreurs de mesure, sondages. . . Mthodes de simulation de variables alatoires. 2. Chanes de M ARKOV espace dtats nis. Classication des tats. Convergence vers une loi stationnaire (thorme ergodique et thorme central limite admis). Chanes de M ARKOV homognes espace dtats dnombrable, transience, rcurrence positive ou nulle, exemple de la marche alatoire simple. 3. Lois de Poisson, exponentielle et Gamma, construction et proprits du processus de Poisson sur R+ . 4. Esprance conditionnelle, dnition des martingales, temps darrt. Exemples dutilisation, des thormes de convergence presque sre et L 2 , des martingales temps discret. 5. chantillons, moments empiriques, loi et fonction de rpartition empiriques. 6. Applications des thormes de convergences lestimation (lois des grands nombres, thorme central limite, utilisation du lemme de S LUTSKY). Dnition et construction dintervalles de conance. 7. Estimation paramtrique. Estimation par maximum de vraisemblance : dnition et exemples. 8. Vecteurs gaussiens : dnition, simulation en dimension 2, thorme de C OCHRAN. Thorme central limite dans Rn . 9. Modle linaire gaussien : calculs par moindres carrs, rgression linaire simple ou multiple, exemples dutilisation. 10. Tests paramtriques (test du rapport de vraisemblance). Tests dajustement (tests du 2 , tests de KOLMOGOROV-S MORNOV). Exemples dutilisation.

Programme spcique de loption B.


1. Rsolution de systmes dquations linaires ; dnition du conditionnement. Factorisation LU. Mthode du gradient pour les systmes linaires symtriques dnis positifs. Recherche des valeurs propres : mthode de la puissance. Rsolution de systmes dquations non linaires. Mthode de N EWTON : dnition, vitesse de convergence, estimation de lerreur. 2. Intgration numrique : mthode des trapzes, de S IMPSON ; estimation de lerreur.

3. quations diffrentielles ordinaires. Espaces de phase. tude qualitative. Stabilit des points critiques. Aspects numriques du problme de C AUCHY. Mthodes dE ULER explicite et implicite : consistance, stabilit, convergence, ordre. Utilisation de la mthode de RUNGE-K UTTA 4. 4. Notions lmentaires sur les quations aux drives partielles classiques en dimension un. quation de transport (advection) linaire : mthode des caractristiques. quations des ondes et de la chaleur : rsolution par transforme de F OURIER et sparation des variables. Aspects qualitatifs lmentaires. quations elliptiques. Exemples de discrtisation de problmes aux limites en dimension un par la mthode des diffrences nies : notions de consistance, stabilit, convergence, ordre. 5. Optimisation et approximation Interpolation de L AGRANGE. Extremums des fonctions relles de n variables relles : multiplicateurs de L AGRANGE. Mise en uvre de lalgorithme de gradient pas constant. Mthode des moindres carrs et applications.

Programme spcique de loption C.


1. Reprsentation et manipulation des entiers longs, ottants multiprcision, nombres complexes, polynmes, lments de Z/n Z et des corps nis. Addition, multiplication, division, extraction de racine carre. 2. Algorithmes algbriques lmentaires. Exponentiation (n a n , pour n N), algorithme dE UCLIDE tendu. Test de primalit de F ERMAT. 3. Matrices coefcients dans un corps. Mthode du pivot de G AUSS, dcomposition LU. Calcul du rang, du dterminant. Exemples de codes correcteurs linaires : codes de rptition, codes de H AMMING binaires. 4. Matrices coefcients entiers. Oprations lmentaires sur les lignes et les colonnes. Application aux systmes linaires sur Z et aux groupes abliens de type ni. 5. Polynmes une indtermine. valuation (schma de H ORNER), interpolation (L AGRANGE, diffrences nies). Localisation des racines dans R ou C : majoration en fonction des coefcients. 6. Polynmes plusieurs indtermines. Rsultants, limination ; intersection ensembliste de courbes et de surfaces algbriques usuelles. 7. Estimation de la complexit des algorithmes prcits dans le pire des cas. Aucune formalisation dun modle de calcul nest exige.

preuves de loption D : informatique


1re preuve : Mathmatiques Le programme de cette preuve est constitu des titres 1 12 ci-dessus. Les candidats se verront proposer deux sujets, dans un corpus dalgbre, de gomtrie, danalyse et de probabilits. 2e preuve : Informatique Fondamentale

10

Le programme de cette preuve est constitu des titres 13 16 ci-aprs. 3e preuve : Analyse de systme informatique Le programme de cette preuve est constitu des titres 13 16 ci-aprs. Deux textes dcrivant une classe de systmes informatiques sont proposs au candidat qui doit choisir lun des deux. La comprhension de ces textes et leur exploitation dans cette preuve requirent les connaissances en informatique correspondant aux matires enseignes en L1-L2 de Maths-Info ou dans loption informatique des classes prparatoires auxquelles sajoutent celles du programme. Lobjectif de lpreuve est dvaluer la capacit des candidats mettre en place un processus danalyse dun systme informatique dans un contexte applicatif. Ce processus sappuie sur les notions au programme. Les langages informatiques C, Caml et Java seront disponibles pour cette preuve et sa prparation. Le rapport du Jury prcisera la nature de lenvironnement logiciel.

Programme spcique de loption D.


Lensemble du programme correspond 250h de formation (cours et/ou TD et/ou TP ) de niveau Licence et premire anne de Master, partir des acquis des deux premires annes de Licence ou de loption informatique des classes prparatoires. Lobjectif de cette option est de sassurer que les candidats matrisent les fondements essentiels et structurants de la science informatique. Le programme nest pas rdig comme un plan de cours, il dcrit les notions que les candidats doivent matriser. Le programme nimpose aucun langage de programmation particulier. Les candidats doivent matriser au moins un langage et son environnement de programmation parmi CAML, Java ou C.

13 Algorithmique fondamentale
Cette partie insiste sur les notions de preuve et de complexit des algorithmes. Elle est relativement indpendante de tout langage de programmation, mais le candidat doit tre capable de mettre en oeuvre sur machine les structures de donnes et les algorithmes tudis. 1. Structures de donnes. Types abstraits : dnition des tableaux, listes, piles, les, arbres, graphes (orients et non orients), ensembles, dictionnaires, le de priorit. Interface abstraite et implantation (implmentation) concrte. 2. Schmas algorithmiques classiques : approche gloutonne, diviser pour rgner, programmation dynamique. Exemples : algorithme de D IJKSTRA, tri-fusion, plus longue sous-squence commune. 3. Complexit. Analyse des algorithmes : relations de comparaison O, et . Analyse dans le pire cas. Exemple danalyse en moyenne : recherche dun lment dans un tableau. 4. Preuve dalgorithmes : correction, terminaison. Mthodes de base : assertions, pr-post conditions, invariants et variants de boucles, logique de H OARE, induction structurelle. 5. Algorithmes de tri et de recherche. Mthodes de tri par comparaison (tri-fusion, tri-tas, tri rapide), arbre de dcision et borne infrieure du tri par comparaisons. Mthodes de recherche squentielle et dichotomique. Arbres binaires de recherche. Arbres quilibrs : dnition, relation entre la taille et la hauteur, maintien de lquilibre. 6. Algorithmes de graphes. Parcours de graphes : algorithmes de parcours en largeur, en profondeur, algorithme de D IJKSTRA. Arbres couvrants : algorithmes de P RIM et de K RUSKAL. Fermeture transitive.

11

14 Automates et langages
1. Automates nis. Langages reconnaissables. Lemme ditration. Existence de langages non reconnaissables. Automates complets. Automates dterministes. Algorithme de dterminisation. Proprits de clture des langages reconnaissables. 2. Expressions rationnelles. Langages rationnels. Thorme de K LEENE. 3. Automate minimal. Rsiduel dun langage par un mot. Algorithme de minimisation. 4. Utilisation des automates nis : recherche de motifs, analyse lexicale. 5. Langages algbriques. Lemme dO GDEN. Existence de langages non algbriques. Grammaires algbriques. Proprits de clture des langages algbriques. 6. Automates pile. Langages reconnaissables par automates pile. 7. Utilisation des automates pile : analyse syntaxique. Grammaires LL(1).

15

Calculabilit, dcidabilit et complexit

1. Dnition des fonctions primitives rcursives ; schmas primitifs (minimisation borne). Dnition des fonctions rcursives ; fonction dA CKERMAN. 2. Dnitions des machines de T URING. quivalence entre classes de machines (exemples : nombre de rubans, alphabet). quivalence avec les fonctions rcursives. 3. Universalit. dcidabilit, Indcidabilit. Thorme de larrt. Thorme de R ICE. Rduction de T U RING . Dnitions et caractrisations des ensembles rcursifs, rcursivement numrables. 4. Complexit en temps et en espace : classe P. Machines de T URING non dterministes : classe NP. Acceptation par certicat. Rduction polynomiale. NP-compltude. Thorme de C OOK.

16 Logique et dmonstration
1. Calcul propositionnel : syntaxe et smantique. Tables de vrit, tautologies, formes normales, forme clausale. Thorme de compltude du calcul propositionnel. 2. Logique du premier ordre : aspects syntaxiques. Langages, termes, formules. Variables libres et variables lies, substitutions, capture de variables. 3. Rcriture : ltrage syntaxique du premier ordre, dnition de lunication syntaxique. Conuence, conuence locale, formes normales, paires critiques, lemme de N EWMAN, algorithme de compltion de K NUTH-B ENDIX. 4. Logique du premier ordre : systmes formels de preuve. Calcul des squents, dduction naturelle. Algorithme dunication des termes. Preuves par rsolution. 5. Logique du premier ordre : aspects smantiques. Interprtation dune formule dans un modle. Validit, satisabilit. Thories cohrentes, thories compltes. Thories dcidables, indcidables. Exemples de thories : galit, arithmtique de Peano. Thorme de compltude du calcul des prdicats du premier ordre.

12