MATHMATIQUES

PREUVES CRITES
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. Cest le cas, en particulier, des passages du texte en italiques et reprs par des
toiles.
Dans les paragraphes I V qui suivent, tous les corps sont supposs commutatifs.
I. Algbre linaire
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. Espaces vectoriels de dimension finie. Existence de bases, de supplmentaires dun sous-
espace. Rang dune application linaire, rang dun systme dquations linaires. Espace dual.
Transpose dune application linaire. Base duale. Bidualit. Orthogonalit.
3. Applications multilinaires. Dterminant dun systme de vecteurs, dun endomorphisme.
Groupe spcial linaire SL(E). Orientation.
4. Matrices et oprations matricielles. Algbre des matrices carres coefficients dans un
anneau commutatif. Oprations lmentaires sur les lignes et les colonnes dune matrice.
Dterminant dune matrice.
5. Matrices coefficients dans un corps. Rang dune matrice. Reprsentations matricielles
dune application linaire. Changement de base. Mthode du pivot de Gauss. Application la
rsolution de systmes dquations linaires, au calcul de dterminants, linversion des
matrices carres.
6. Sous-espaces stables dun endomorphisme. Valeurs propres, vecteurs propres, sous-
espaces propres. Polynme caractristique, polynme minimal. Thorme de Cayley-
Hamilton.
Diagonalisation, trigonalisation, applications. Sous-espaces caractristiques, dcomposition de
Dunford. Rduction des endomorphismes nilpotents (thorme de Jordan). Exponentielle des
2
matrices relles ou complexes. Thorme de Perron-Frobenius ; exemples dapplications
lanalyse et aux probabilits.
II. 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 classes. Classes de conjugaison.
2. Groupes cycliques. Groupes abliens de type fini. Sous-groupes discrets dun espace
vectoriel rel. Rseaux. Groupe des racines complexes nimes de lunit, racines primitives.
3. Groupe des permutations dun ensemble fini. Dcomposition dune permutation en produit
de transpositions, en produit de cycles supports disjoints. Signature. Groupe altern.
4. Groupes classiques : groupe gnral linaire, groupe spcial linaire ; groupe orthogonal,
groupe spcial orthogonal ; groupe unitaire, groupe spcial unitaire.
5. Groupe affine. Groupe des homothties-translations. En dimension 2 ou 3, groupe des
isomtries laissant stable une partie de lespace.
III. 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 sur un anneau
commutatif.
2. Algbre des polynmes une ou plusieurs indtermines sur un anneau commutatif.
Polynmes homognes. Polynmes symtriques.
3. 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 dAlembert-Gauss. Quaternions.
4. 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 Bzout.
Anneaux euclidiens. Algorithme dEuclide. Cas de lanneau Z et de lalgbre K[X].
3
5. Congruences dans Z. Nombres premiers dans Z. tude de lanneau Z/nZ et de ses lments
inversibles. Thorme chinois et rsolution de systmes de congruences dans Z. Exemples
lmentaires dquations diophantiennes.
6. Racines dun polynme, multiplicit. lments algbriques et transcendants. Extensions
algbriques. Corps algbriquement clos. Corps de rupture et corps de dcomposition. Corps
finis.
7. Relations entre les coefficients et les racines dun polynme scind. Sommes de Newton.
Rsultant et discriminant.
Localisation des racines dun polynme coefficients rels ou complexes.
8. Corps des fractions rationnelles une indtermine sur un corps. Dcomposition en
lments simples. Cas rel et complexe.
IV. 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 Sylvester. Classification 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 Cauchy-Schwarz.
Norme. Bases orthonormales.
4. Groupe orthogonal, groupe spcial orthogonal.
* Exemple de gnrateurs du groupe orthogonal : dcomposition dun automorphisme
orthogonal en produit de rflexions*. Endomorphismes symtriques, endomorphismes
normaux. Diagonalisation dun endomorphisme symtrique. Rduction simultane de deux
formes quadratiques relles, lune tant dfinie positive.
Dcomposition polaire dans GL(n,R).
Espaces vectoriels euclidiens de dimension 2 ou 3 : groupe des rotations ; produit mixte,
produit vectoriel ; angles.
5. Groupe unitaire, groupe spcial unitaire.
Diagonalisation des endomorphismes normaux.
Dcomposition polaire dans GL(n,C).
4
V. Gomtries affine, projective et euclidienne
Tous les espaces considrs dans ce chapitre sont de dimension finie.
1. Espace affine et espace vectoriel associ. Application affine et application linaire associe.
Sous-espaces affines, barycentres. Repres affines, quations dun sous-espace affine.
Groupe affine, notion de proprit affine. Groupe des homothties-translations, affinits.
Parties convexes, enveloppe convexe dune partie dun espace affine rel. Points extrmaux.
2. Espaces projectifs. Coordonnes homognes, lments linfini. Application projective (ou
homographie) associe une application linaire injective. Groupe projectif.
Droite projective : groupe des homographies, birapport.
3. Groupe des isomtries dun espace affine euclidien. Dplacements et antidplacements.
* Exemple de gnrateurs du groupe des isomtries : dcomposition en produit de rflexions *.
4. Espace affine euclidien de dimension 2.
Formes rduites dune isomtrie. Similitudes directes et indirectes. Groupe des isomtries
laissant stable une partie du plan. Polygones rguliers.
Relations mtriques dans le triangle.
Utilisation des nombres complexes en gomtrie plane.
5. Espace affine euclidien de dimension 3.
Rotations. Vissages. Forme rduite dun dplacement.
Groupe des isomtries laissant stable une partie de lespace. Polydres rguliers.
6. Coniques et quadriques. Application des formes quadratiques ltude des coniques du plan
affine euclidien et des quadriques de lespace affine euclidien de dimension 3. Proprits
gomtriques (affines et mtriques) des coniques.
VI. Analyse une variable relle
1. Nombres rels
Dfinition du corps R des nombres rels. Topologie de R. Structure des sous-groupes additifs
de R. Droite numrique acheve.
Suites de nombres rels : convergence, valeur dadhrence. Limites infrieure et suprieure.
Suites de Cauchy. Compltude de R. Suites dfinies par une relation de rcurrence. Thorme
de Bolzano-Weierstrass. Parties compactes de R. Parties connexes de R.
Convergence des sries termes rels. Sries gomtriques. Sries termes positifs. Relations
de comparaison. Comparaison dune srie et dune intgrale. Estimations des restes.
Convergence absolue. Produits de sries. Sries alternes.
Nombres algbriques et transcendants : exemples.
5
2. Continuit
Fonctions dfinies sur une partie de R : limite, continuit droite, gauche, continuit.
Fonctions rgles.
Oprations algbriques sur les fonctions continues. Proprits des fonctions continues sur un
intervalle. tude de la continuit des fonctions monotones. Continuit dune fonction
rciproque.
3. Drivabilit
Drive en un point, drive droite, gauche. Fonction drivable sur une partie ouverte.
Oprations algbriques sur les fonctions drivables. Drive dune fonction compose.
Drivabilit dune fonction rciproque. Thormes de Rolle et des accroissements finis.
Application au sens de variation dune fonction.
Drives dordre suprieur. Applications de classe C
k
, de classe C
k
par morceaux. Drive
dordre k dun produit de deux fonctions. Diffrentes formules de Taylor. Dveloppements
limits. Dveloppements asymptotiques. Oprations algbriques sur des dveloppements
limits et asymptotiques.
4. Intgrale de Riemann et calcul de primitives
Proprits de lintgrale. Formules de la moyenne. Primitives dune fonction continue.
Changement de variable. Intgration par parties. Mthodes usuelles de calcul dintgrales.
5. Suites et sries de fonctions
Convergence simple, convergence uniforme. Continuit et drivabilit de la limite. Cas des
sries de fonctions : convergence normale.
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. Caractrisation de la convexit. Ingalits de
convexit.
8. Analyse numrique
Interpolation polynomiale. Exemples de mthodes dapproximation polynomiale en norme
uniforme ou quadratique. Exemples de polynmes orthogonaux.
6
Rsolution approche des quations f(x) = 0. Mthodes itratives, mthode de Newton ;
estimation de lerreur. Intgration numrique : mthode des trapzes,de Simpson, de Gauss ;
estimation de lerreur.
VII. 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.
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 Cauchy-Riemann. Intgrale dune fonction holomorphe
le long dun chemin. Primitive dune fonction holomorphe. Dtermination du logarithme.
Thorme de Cauchy. Formule de Cauchy. Analyticit dune fonction
holomorphe. Principe du prolongement analytique. Principe du maximum.
Fonctions mromorphes. Sries de Laurent. Thorme des rsidus.
Inversion des fonctions holomorphes.
Suites et sries de fonctions holomorphes.
VIII. Calcul diffrentiel
1. Topologie de R
n
Parties ouvertes, fermes. Voisinages. Parties compactes. Thorme de Bolzano-Weierstrass.
Parties connexes. Normes usuelles. Limites. Applications continues. Compltude de R
n
.
2. Fonctions diffrentiables
Applications diffrentiables sur un ouvert de R
n
. Diffrentielle. Drive selon un vecteur.
Drives partielles. Oprations algbriques sur les applications diffrentiables. Composition
dapplications diffrentiables. Thorme des accroissements finis. Applications de classe C
1
.
Matrice jacobienne. Applications de classe C
k
. Drives partielles dordre k. Interversion de
lordre des drivations. Diffrentes formules de Taylor.
tude locale des applications valeurs dans R. Dveloppements limits. Recherche des
extrema locaux ; cas des fonctions convexes.
Diffomorphismes. Thorme dinversion locale. Thorme des fonctions implicites.
7
3. quations diffrentielles
quations diffrentielles de la forme x ! = f (x, t). Thorme de Cauchy-Lipschitz. Solutions
maximales. Dpendance par rapport aux conditions initiales, par rapport un paramtre.
Exemples classiques dintgration par quadratures.
Systmes diffrentiels linaires.
Mthode de variation de la constante. Cas des coefficients constants. quations diffrentielles
linaires dordre suprieur un.
*Exemples dquations diffrentielles dordre deux : quations de Legendre, de Bessel, etc.*
IX. Calcul intgral et probabilits
1. Espaces mesurables, tribus. Mesures positives sigma-finies, mesures de probabilit.
Intgrale des fonctions mesurables positives, thorme de convergence monotone.
Fonctions intgrables, thorme de convergence domine. Continuit et drivabilit dintgrales
dpendant dun paramtre. Espaces L
p
, o 1!p! !.
2. Intgrale de Lebesgue
Mesure de Lebesgue sur R
n
(la construction pourra tre admise). Intgrales semi-convergentes
des fonctions dune variable. Thorme de Fubini. Changement de variables dans une intgrale
multiple. Calculs daires de domaines plans et de volumes. Convolution et application des
problmes dapproximation.
3. Analyse de Fourier
Sries de Fourier des fonctions localement intgrables priodiques dune variable relle. Lemme
de Riemann-Lebesgue. Produit de convolution de fonctions priodiques. Thormes de
Dirichlet et de Fejer. Thorie L
2
: convergence en moyenne quadratique, formule de Parseval.
Transforme de Fourier dune fonction intgrable sur R
n
. Lemme de Riemann-Lebesgue.
Formule dinversion. Transforme dun produit de convolution. Thorie L
2
: formule de
Plancherel.
Application des sries de Fourier et de la transformation de Fourier des problmes
dquations aux drives partielles et dquations intgrales.
4. Probabilits
Variables alatoires, lois de probabilit.
Esprance, variance dune variable alatoire valeurs relles ou complexes.
Exemples de lois : loi binomiale, loi de Poisson, loi uniforme, loi normale, loi exponentielle.
Fonction caractristique. Famille dvnements, de tribus, ou de variables indpendantes.
Convolution de lois.
Convergence de suites de variables alatoires : en probabilit, en moyenne dordre un ou deux,
en loi.
Loi faible des grands nombres. Thorme de la limite centrale.
8
X. Analyse fonctionnelle
1. Topologie et espaces mtriques
Topologie dun espace mtrique. Suites. Valeurs dadhrence. Limites. Applications continues.
Homomorphismes. Produit fini despaces mtriques.
Compacit. Connexit. Composantes connexes. Connexit par arcs.
Proprits mtriques : applications lipschitziennes, applications uniformment continues.
Espaces mtriques complets. Thorme du point fixe pour les applications contractantes.
Thorme de Baire et applications.
2. Espaces vectoriels norms sur R ou C.
Topologie dun espace vectoriel norm. Normes quivalentes. Cas des espaces de dimension
finie. Espaces de Banach. Sries absolument convergentes dans un espace de Banach.
Applications linaires continues, norme.
Norme de la convergence uniforme. Espace des fonctions continues sur un espace mtrique
compact. Thorme de Stone-Weierstrass. tude de la compacit de parties dun espace
vectoriel norm : thorme de Riesz ; thorme dAscoli.
3. Espaces de Hilbert
Projection sur un convexe ferm. Projection orthogonale sur un sous-espace vectoriel ferm.
Dual dun espace de Hilbert.
Cas des espaces l
2
(N) et L
2
("), pour un ouvert " de R
n
.
Bases hilbertiennes (cas des espaces de Hilbert sparables). Exemples de bases : fonctions
trigonomtriques, polynmes orthogonaux.
Exemples dapplications linaires continues entre espaces de Hilbert.
XI. Gomtrie diffrentielle
1. Courbes et surfaces
Courbes paramtres dans R
2
ou R
3
. tude locale, tangente, plan osculateur, branches infinies.
tude mtrique des courbes : longueur dun arc, paramtrisation normale.
Surfaces paramtres dans R
3
. tude locale, plan tangent, normale, position par rapport au
plan tangent.
2. Applications de lanalyse la gomtrie
Aspects gomtriques des thormes dinversion locale et des fonctions implicites :
hypersurfaces de R
n
, paramtrage local, hyperplan tangent, normale, orientation. Extrema
locaux dune fonction dfinie sur une hypersurface ; extrema lis.
Aires. Champs de vecteurs, divergence. Thorme de la divergence.
Intgrales curvilignes. Formule de Green-Riemann.
9
Systmes diffrentiels X != f (X) . Courbes intgrales dun champ de vecteurs.
preuves crites
Les preuves crites comportent deux preuves :
A. Composition de mathmatiques gnrales
Le programme de cette preuve est constitu par les titres I XI ci-dessus.
B. Composition danalyse et probabilits
Le programme de cette preuve est constitu par les titres I XI ci-dessus.
PREUVES ORALES
Les candidats ont le choix entre quatre options :
Option A : probabilit et statistiques
Option B: calcul scientifique
Option C : algbre et calcul formel
Option D : informatique
Epreuves des options A : probabilit et statistiques, B : calcul scientifique
et C : algbre et calcul formel
1
re
preuve : preuve dAlgbre et Gomtrie
2
e
preuve : preuve dAnalyse et Probabilits
Le programme des ces deux preuves, communes aux options A, B et C, est constitu des
titres I XI ci-dessus.
3
e
preuve : preuve de Modlisation

Lpreuve porte sur un programme commun aux options A, B et C et sur un programme
spcifique loption choisie.

Lpreuve consiste en un expos de modlisation mathmatique construit en partant dun texte
propos par le jury. Le programme dfinit 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 spcifique.
10

Programme de la partie commune aux options A, B et C

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.
Les logiciels Maple, Mathematica , ou MuPAD, et Matlab ou Scilab pourront tre utiliss
pour appliquer ces mthodes en appui de lexpos ou en rponse aux questions du jury.
Les candidats devront pouvoir 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 ;
valuer le cot et les limitations des algorithmes : complexit, prcision numrique ;
analyser la pertinence des modles.
1. Modles
Probabilits discrtes (tirages uniformes, probabilits conditionnelles). chantillons. Lois de
probabilits classiques. Chanes de Markov (espaces dtats finis, temps discret).
quations diffrentielles ordinaires. Espaces de phase. tude qualitative. Stabilit.
3. Validation et prcision de rsultats
Mthodes numriques : conditionnement des systmes linaires. Prcision du schma
numrique dEuler pour le problme de Cauchy pour un systme diffrentiel de la forme
X ! = f (X, t).
Prcision statistique : intervalle de confiance dune moyenne.
Mthode de Monte Carlo pour les intgrales multiples.
4. Ajustement de modles
Moindres carrs linaires (expression avec et sans contrainte) ; exemples non linaires.
Modles linaires simples en dimension 1, test dajustement du #
2
.
5. Calcul numrique et symbolique
Utilisation des logiciels au programme : intgration, diffrentiation, calcul de sommes et
dintgrales, rsolution dquations algbriques et diffrentielles.
Programme spcifique de loption A.
Utilisation de lois usuelles pour modliser certains phnomnes alatoires. *Exemples :
processus de comptage, temps dattente ou dure de vie, erreurs de mesure, taille dune
population, sondages. *
11
Convergence presque sre. Lemme de Borel-Cantelli. Loi forte des grands nombres. Fonction
de rpartition empirique et test de Kolmogorov-Smirnov.
Vecteurs gaussiens : simulation, estimation par moindres carrs. Thorme de limite centrale
vectoriel. Test du #
2
, exemples dutilisation.
Modle linaire gaussien : calculs par moindres carrs, rgression simple ou multiple, exemples
dutilisation. *Utilisation de lanalyse de variance un facteur.*
Calcul dintervalles de confiance pour un paramtre de loi binomiale et pour une moyenne de
variables alatoires gaussiennes indpendantes.
Mthode de Monte-Carlo et calcul dintervalles de confiance : exemples de calculs dintgrales
multidimensionnelles. *Algorithmes de simulation de variables alatoires partir de
gnrateurs pseudo-alatoires uniformes.*
Fonctions gnratrices : applications. *Exemples : processus de branchement, files dattente.*
Chanes de Markov homognes espace dtats finis. Convergence vers une loi stationnaire :
consquences du thorme de Perron-Frobenius et des rsultats de rduction matricielle
(programme des preuves crites, I Algbre Linaire alina 6). Ergodicit. Notion dtat
absorbant. *Espace dtats infini dnombrable : transience, rcurrence positive ou nulle, par
exemple dans le cas de marches alatoires, de processus de type Galton-Watson, ou de files
dattente.*
*Exemples dutilisation des thormes de convergence presque sre et L2 des martingales
temps discret. Applications la ruine du joueur, des processus de type Galton-Watson, des
files dattente, des modles financiers, ou des algorithmes dapproximation stochastique.*
Programme spcifique de loption B.
1. Rsolution de systmes dquations linaires. *Factorisation LU, algorithme du gradient
pour les systmes linaires symtriques dfinis positifs.*
Recherche des valeurs propres. *Mthode de Jacobi, mthode de la puissance.*
Rsolution de systmes dquations non linaires : mthode de Newton, mthode des
approximations successives. Notions dordre et de convergence.
1. Intgration numrique :
Mthodes de quadrature : notions dordre et de convergence.
1. quations diffrentielles ordinaires.
Aspects numriques du problme de Cauchy. Mthodes un pas : consistance, stabilit,
convergence, notion dordre ; exemples de mthodes dordre lev et de mthodes implicites.
1. quations aux drives partielles.
Mthode des caractristiques pour les quations aux drives partielles du premier ordre
coefficients rels.
12
Exemples dquations aux drives partielles linaires du second ordre coefficients constants
et problmes aux limites associs. *quations de Laplace, de la chaleur, des ondes. *
Exemples de discrtisation de problmes aux limites en dimension un. *Diffrences finies,
lments finis P1. *
1. Optimisation et approximation
Interpolation polynomiale et polynomiale par morceaux.
Extrema des fonctions relles de n variables relles : multiplicateurs de Lagrange. *Algorithmes
de gradient pas optimal ou pas constant ; algorithme du gradient conjugu pour une
application quadratique. *
Mthode des moindres carrs et applications.
*Programmation linaire. *
Programme spcifique de loption C.
1. Reprsentation et manipulation de structures algbriques. Oprations daddition, de
multiplication, de division, dextraction de racine carre sur les ensembles : entiers longs,
flottants multiprcision, nombres complexes, polynmes, Z/nZ ,corps finis :
2. Algorithmes algbriques lmentaires. Exponentiation (n a a
n
, pour n $ N), algorithme
dEuclide tendu, tris. * Exemples dalgorithmes de multiplication rapide, de factorisation,
de tests de primalit.*
3. Algbre linaire.
Sur un corps: rduction dune matrice aux formes classiques (pivot de Gauss, LU, QR,...).
Calcul du rang, du dterminant. *Exemples de codes correcteurs.* * Exemples dalgorithmes
gomtriques :enveloppe convexe, mthode du simplexe.*
Cas des matrices coefficients entiers: oprations lmentaires sur les lignes et les colonnes
(application aux systmes linaires sur Z ). Application aux groupes abliens de type fini, en
particulier au calcul des diviseurs lmentaires.
4. Polynmes.
valuation (Horner,...), interpolation (Lagrange, diffrences finies, splines), * transformation
de Fourier discrte *. Localisation des racines. Rsultants, limination ; * intersection de
courbes algbriques planes *.
5. Exemples dvaluation de la complexit dun algorithme : cas le pire, en moyenne ; en
temps, en espace. Aucune formalisation dun modle de calcul nest exige.
13
preuves de loption D : informatique
1
re
preuve : Mathmatiques
Le programme de cette preuve est constitu des titres I XI ci-dessus. Les candidats se
verront proposer deux sujets, lun dalgbre et gomtrie, lautre danalyse et probabilits.
2
e
preuve : Informatique Fondamentale
Le programme de cette preuve est constitu des titres Info-1 Info-5 ci-aprs.
3
e
preuve : Analyse de systme informatique
Le programme de cette preuve est constitu des titres Info-1 Info-5 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 DEUG
MIAS 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 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. Chaque partie est accompagne de quelques rfrences bibliographiques de
base.
Info-1 :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.
14
1. Structures de donnes. Approche abstraite : manipuler les types de donnes classiques par
leurs interfaces et non leurs implantations. Types abstraits : listes, piles, files, arbres,
graphes. Structures de dictionnaire de recherche et de file de priorit.
2. Complexit et preuve dalgorithmes. Analyse des algorithmes : notations grand-o O(.),
Thta et Omega. Analyse dans le pire cas. * Exemple danalyse en moyenne : le tri rapide.*
Principes de preuve : assertions, pr-post conditions, invariants, terminaison des boucles.
3. 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. Reprsentation de dictionnaires de recherche.
Arbres binaires de recherche. * Exemples de mthodes dquilibrage et de hachage et
analyse de leur complexit.*
4. Algorithmes de graphes et rseaux. Parcours de graphes : parcours en largeur (tri
topologique, plus court chemin Dijkstra) ; parcours en profondeur (composantes
fortement connexes) ; arbres couvrants de poids minimum (Prim, Kruskal) ; plus courts
chemins : fermeture transitive, programmation dynamique (Floyd-Warshall).
Rfrences
Introduction lalgorithmique, T. H. Cormen, C. E. Leiserson, R. L. Rivest, Dunod.
Algorithms, R. Sedgewick, Addison-Wesley.
lments dalgorithmique, D. Beauquier, J. Berstel, Ph. Chrtienne, Masson.
Types de donnes et algorithmes, C. Froidevaux, M.-C. Gaudel, M. Soria, McGraw-Hill-InterEditions.
Info-2 : Automates et langages
1. Automates finis. Langages reconnaissables. Lemme ditration. Existence de langages non
reconnaissables. Automates monds, complets. Automates dterministes. Algorithme de
dterminisation.
1. Proprits de clture des langages reconnaissables. Expressions rationnelles. Langages
rationnels. Rsolution dquations linaires gauches. Thorme de Kleene.
1. Automate minimal. Rsiduel dun langage par un mot. Algorithme de minimisation.
* Utilisation des automates finis. Automates sous-squentiels (automates dterministes
avec sortie) : dfinitions et exemples dutilisation (multiplication par une constante,
addition de deux entiers, recherche et remplacement de motifs, applications linguistiques,
etc.) *
1. Automates pile. Langages algbriques. Existence de langages non algbriques. Grammaires
algbriques, simplification des grammaires algbriques, forme normale de Greibach.
Equivalence entre automates pile et grammaires algbriques. Proprits de clture des
langages algbriques.
15
Rfrences
Cours et exercices dinformatique, L. Albert, Vuibert.
Thorie des langages et des automates, J.-M. Autebert, Masson.
Elments dalgorithmique, D. Beauquier, J. Berstel et Ph. Chrtienne, Masson.
Introduction to Automata Theory, Languages and Computation, J. Hopcroft et J. Ullman, Addison-Wesley.
Semigroups and combinatorial applications, G. Lallement, Wiley and sons.
Combinatorics on Words, Encycopledia of Mathematics, Lothaire, Addison-Wesley.
Info-3 : Calculabilit, dcidabilit et complexit
Les candidats doivent avoir assimil les aspects centraux de la thorie de la calculabilit et de la
complexit. Ils doivent matriser limportance de la notion de calcul et de ses limites
intrinsques.
1. Dfinitions et exemples de fonctions primitives rcursives et rcursives. Fonction
dAckerman. Non stabilit des fonctions primitives rcursives par passage linverse.
1. Dfinitions des machines de Turing. quivalence des machines un et plusieurs rubans.
Exemples. Complexit en temps et en espace. Codages des entres. Equivalence avec les
fonctions rcursives.
1. Universalit. Thorme s-n-m. Thorme de la rcursion de Kleene. Dfinitions et
caractrisations des ensembles rcursifs, rcursivement numrables.
1. Indcidabilit. Thorme de larrt. Thorme de Rice. Exemples.
1. Machines de Turing non dterministes. Classes P et NP. NP-compltude. Thorme de
Cook. * Exemples de problmes NP-complets. *
Rfrences
Complexit et dcidabilit, J.-M. Autebert, Masson.
Logique mathmatique 2. Fonctions rcursives, thorme de Gdel, thorie des ensembles, thorie des modles,
R. Cori et D. Lascar, Dunod.
Complexit et dcidabilit, P. Dehornoy, Springer.
Mathmatiques de linformatique, P. Dehornoy, Dunod.
Info-4 Logique et dmonstration
1. Bases de logique : langages, formules, substitution, rgles dinfrence, preuves (systme de
Hilbert, dduction naturelle, calcul des squents). Calcul propositionnel, calcul des
prdicats du premier ordre.
1. Smantique : structure, vrit dune formule, notion de cohrence et de compltude,
interprtation de Herbrand, thorme de compltude du calcul des prdicats du premier
ordre, thorme de compacit, thorme de Lowenheim-Skolem.
1. * Exemples de thories : galit, arithmtique de Peano, thorie des ensembles. Exemples
de thories dcidables, indcidables. *
2. Dmonstration automatique. Calcul propositionnel, unification et filtrage du premier ordre.
Preuves quationnelles : * rcriture, confluence, confluence locale, terminaison (faible et
16
forte), paires critiques, lemme de Newman, compltion de Knuth-Bendix.* Preuves au
premier ordre : rsolution, programmation logique, mthode des tableaux.
Rfrences
Logique, rduction, rsolution, R. Lallement, Masson.
Introduction la logique : thorie de la dmonstration, R. David, K. Nour et C. Raffalli, Dunod.
Info-5 Programmation, langages, compilation
Il est attendu des candidats quils matrisent les bases ncessaires pour lenseignement
raisonn de la programmation. La matrise pointue de telle ou telle technique de compilation
nest pas exige. En revanche, il est attendu des candidats une culture gnrale sur le domaine.
Le programme nimpose aucun langage de programmation particulier, mais les candidats sont
supposs matriser au moins un langage et son environnement de programmation parmi
CAML, Java ou C.
1. Principes de la programmation imprative, fonctionnelle, logique et oriente objet.
Langages typs ou non typs. Mise en uvre par compilation ou interprtation. *Notions
denvironnement et de liaison, notions de porte et de dure de vie*
2. Principes de smantique. Approches oprationnelle, dnotationnelle (directe), axiomatique
(logique de Hoare). * Equivalence de programmes selon ces smantiques, notion de
compositionnalit. *
3. Analyse lexicale et syntaxique. Grammaires LL(1).* Aperu sur les grammaires LALR.
Utilisation doutils de gnration automatique de type lex et yacc.*
4. Analyse statique et application. Typage. Analyse de flot de donnes. *Exemples de
transformations simples de programmes au niveau source.*
5. Gnration de code et optimisation. Compilation dun langage impratif simple pour un
modle de machine abstraite pile.*Architecture registres et optimisation. *
Rfrences
Compilateurs : principes, techniques et outils, A. V. Aho, R. Sethi et J. D. Ullman, Masson.
Programming language pragmatics, M. L. Scott, Morgan Kaufmann.