SECTION DE MATHÉMATIQUES

2 0 1 5 - 2 0 1 6

1
2
 COURS DONNÉS

PAR LES ENSEIGNANTS DE LA SECTION

DE MATHÉMATIQUES

3
4
BACCALAURÉAT 1ère ANNÉE

5
6
ALGÈBRE I 11M010
P. TURNER, scc

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 4 2 1 7
par semaine
Nombre d’heures 56 28 14 98
par semestre

Objectifs

Introduction à l'algèbre linéaire, son interprétation géométrique et ses applications. Compréhension de la

structure algébrique des espaces vectoriels et des applications linéaires. Calcul matriciel.

Contenu

1. Espaces vectoriels.
2. Applications linéaires et leurs représentations matricielles.
3. Déterminants.
4. Valeurs et vecteurs propres, forme de Jordan.
5. Espaces euclidiens et hermitiens.

Nombre de crédits ECTS : 7

Pré-requis : néant
Mode d’évaluation : examen écrit + certificat d’exercices de cours
Sessions d’examen : février - septembre

7
ALGÈBRE I 11M011

P.-A. CHERIX, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 1 5
par semaine
Nombre d’heures 28 28 14 70
par semestre

Objectifs

Approfondir quelques résultats d’algèbre linéaires dont le théorème spectral et étudier deux structures
algébriques fondamentales et omniprésentes dans toutes les mathématiques : les groupes, qui sont l'étude
des symétries, et les anneaux, qui généralisent l'arithmétique des entiers.
La difficulté principale d’un tel cours étant l’abstraction liée à l’étude de structures algébriques, une part
importante de celui-ci sera consacrée à l’étude de ces concepts sur des exemples venant de l’algèbre
linéaire ou de la géométrie.

Contenu

I. Plusieurs aspects du théorème spectral

II. Arithmétiques et calcul modulo

III. Théorie des groupes

1. Homomorphismes.
2. Groupes quotients.
3. Groupes cycliques.
4. Théorème de Lagrange.
5. Applications à la cryptographie.

IV. Théorie des anneaux

1. Homomorphismes d’anneaux, idéaux.

2. Anneaux et corps quotients.
3. Anneaux de polynômes.
4. Anneaux factoriels et euclidiens.

Nombre de crédits ECTS : 7

Pré-requis : néant
Mode d’évaluation : examen écrit et oral
Session d’examen : juin - septembre

8
ANALYSE I 11M020

H. DUMINIL-COPIN, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 4 3 1 8
par semaine
Nombre d’heures 56 42 14 112
par semestre

Objectifs

Ce cours constitue une introduction à l'analyse. Il a pour but d'initier les étudiants à la logique et au
formalisme de la théorie des ensembles, et de revisiter les concepts d'analyse étudiés au collège.

Contenu

1. Introduction à la théorie des ensembles et à la logique.

2. Ensembles des nombres entiers, rationnels, réels et complexes.
3. Suites numériques.
4. Fonctions continues de la variable réelle.
5. Fonctions dérivables.
6. Intégration des fonctions réglées sur un segment.

Nombre de crédits ECTS : 9

Pré-requis : néant
Mode d’évaluation : examen écrit + certificat d’exercices de cours
Sessions d’examen : février - septembre

9
ANALYSE I 11M021

P. SEVERA, smer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 4 3 1 8
par semaine
Nombre d’heures 56 42 14 112
par semestre

Objectifs

Les objectifs de ce cours sont d'approfondir des savoirs par les étudiants de l'analyse à une variable et de
commencer les études d'analyse à plusieurs variables.

Contenu

1. Séries numériques, séries entières.

2. Suites et séries de fonctions.
3. Intégrales impropres.
4. Equations différentielles.
5. Fonctions à plusieurs variables.

Nombre de crédits ECTS : 9

Pré-requis : analyse I - automne
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

10
GÉOMÉTRIE I 11M030

M. BUCHER-KARLSSON, mer

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Parcours historique du postulat de parallélisme d’Euclide à la construction d’une géométrie non-

Euclidienne.

Contenu

1. Géométrie euclidienne.
2. Géométrie sphérique.
3. Géométrie hyperbolique.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit + certificat d’exercices de cours
Sessions d’examen : février - septembre

11
GÉOMÉTRIE I 11M031

M. BUCHER-KARLSSON, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Le but de ce cours est l’initiation aux diverses approches de la géométrie.

Contenu

1. Groupes et actions de groupes.

2. Groupes d’isométrie.
3. Isométries de l’espace Euclidien.
4. Isométries de l’espace hyperbolique.

Nombre de crédits ECTS : 5

Pré-requis : géométrie I automne, algèbre linéaire automne
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

12
LABORATOIRE DE PROGRAMMATION
MATHÉMATIQUE 11M050

S. MONNIER, ma

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures - - 3 3
par semaine
Nombre d’heures - - 42 42
par semestre

Objectifs

Le but de ces travaux pratiques est d’être un appui informatique pour les cours de mathématiques de
première année.
Il s'agit de résoudre, à l'aide de logiciels de calcul symbolique ou de calcul matriciel, des problèmes
venant de l'analyse ou de l'algèbre linéaire principalement, mais aussi reliés à des applications physiques
ou informatiques.
L'étudiant se familiarise avec une résolution de problèmes via l'ordinateur. L'approche est essentiellement
pratique : l'étudiant résout, avec l'aide éventuelle de l'assistant, des exercices gradués.
Les logiciels utilisés sont Matlab et Maple.

Contenu

1. MatLab, calcul matriciel.  

2. Maple, calcul symbolique.  

Nombre de crédits ECTS : 4

Pré-requis : néant
Mode d’évaluation : contrôle continu
Sessions d’examen : --

13
14
BACCALAURÉAT 2èmeANNÉE

15
16
ALGÈBRE II 12M010

T. SMIRNOVA-NAGNIBEDA, pas

Annuel

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 56 56 112
par année

Objectifs

Ce cours a pour but de continuer l’étude des structures algébriques fondamentales commencée en
algèbre I.

Contenu

1. Groupes.
2. Anneaux.
3. Corps.
4. Introduction à la théorie de Galois.

Nombre de crédits ECTS : 10

Pré-requis : algèbre I
Mode d’évaluation : examen écrit et oral
Sessions d’examen : juin - septembre

17
ANALYSE II - complexe 12M020A

A. KARLSSON, pas

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Connaissance de la théorie d’analyse complexe et compétence à utiliser cette théorie pour des problèmes
concrets.

Contenu

1. Différentiabilité dans C : équations de Cauchy-Riemann, fonctions analytiques, calcul

avec des séries, fonction exponentielle, logarithme.
2. Théorie des fonctions holomorphes : intégrale curviligne, formule intégrale de Cauchy,
principe du maximum, prolongement analytique, open mapping theorem.
3. Singularités et fonctions méromorphes : développement de Laurent, singularités isolées,
théorème des résidus, calcul des intégrales, fonctions méromorphes (Mittag-Leffler),
principe de l'argument.

Nombre de crédits ECTS : 5

Pré-requis : analyse I
Mode d’évaluation : examen écrit
Sessions d’examen : février - septembre

18
ANALYSE II - complexe 12M020P

A. KARLSSON, pas

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Connaissance de l’analyse de Fourier et ses applications, principalement en théorie des équations

différentielles.

Contenu
1. Séries de Fourier : Lemme de Riemann, fonctions à variation bornée, noyau de
Dirichlet, phénomène de Gibbs, théorie de Fejér, systèmes orthogonaux, convergence
en moyenne quadratique.
2. Equations aux dérivées partielles : équation des ondes, équation de la chaleur, équation
de Laplace.
3. Transformation de Fourier et de Laplace.

Nombre de crédits ECTS : 5

Pré-requis : analyse I
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

19
ANALYSE II - Analyse réelle 12M025

R. KASHAEV, pas

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

L’acquisition de méthodes avancées de l'analyse réelle permettant notamment de passer de la perception

intuitive de notions abstraites à leur appropriation, afin de pouvoir les utiliser pour résoudre des
problèmes concrets en mathématiques et dans les autres disciplines. Le développement de compétences
utiles aux scientifiques, qu’ils soient chercheurs ou enseignants.

Contenu

1. Formes différentielles.
2. Théorème de Stokes.
3. Espaces métriques et espaces vectoriels normés.
4. Théorème du point fixe.
5. Equations différentielles ordinaires.

Nombre de crédits ECTS : 5

Pré-requis : analyse I
Mode d’évaluation : examen écrit
Sessions d’examen : février - septembre

20
ANALYSE II - Analyse réelle 12M026
R. KASHAEV, pas

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

L’acquisition de méthodes avancées de l'analyse réelle permettant notamment de passer de la perception

intuitive de notions abstraites à leur appropriation, afin de pouvoir les utiliser pour résoudre des
problèmes concrets en mathématiques et dans les autres disciplines. Le développement de compétences
utiles aux scientifiques, qu’ils soient chercheurs ou enseignants.

Contenu

1. Calcul différentiel dans des espaces de Banach.

2. Théorème des fonctions implicites.
3. Multiplicateurs de Lagrange.
4. Calcul des variations.
5. Les objets fractals, la dimension de Hausdorff.

Nombre de crédits ECTS : 5

Pré-requis : analyse I
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

21
ANALYSE NUMÉRIQUE 12M040

B. VANDEREYCKEN, past

Annuel

Cours Exercices TP TOTAL

Nombre d’heures 2 1 - 3
par semaine
Nombre d’heures 56 28 - 84
par année

Objectifs

Ce cours a pour but d’introduire les techniques importantes du calcul scientifique et d’en analyser les
algorithmes.

Contenu

1. Intégration numérique.
2. Interpolation et approximation (FFT).
3. Résolution numérique des équations différentielles ordinaires.
4. Algèbre linéaire numérique, méthode des moindres carrés.
5. Calcul des vecteurs et valeurs propres.
6. Équations non linéaires à plusieurs variables.

Nombre de crédits ECTS : 10

Pré-requis : 1ère année de mathématique ou informatique
Mode d’évaluation : examen oral
Session d’examen : février - juin - septembre

22
GÉOMÉTRIE II 12M030A
D. CIMASONI, mer

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Dans la première partie de ce cours, on étudie les géométries sphériques et hyperboliques, qui sont les
exemples classiques de géométries non-euclidiennes.

Dans la seconde partie, on développe les bases de la topologie générale.

Contenu

Géométrie classique

1. Géométrie sphérique.
2. Géométrie hyperbolique.

Topologie générale

1. Espaces topologiques et applications continues.

2. Espaces métriques.
3. Bases et sous-bases.
4. Construction d’espaces topologiques : sous-espaces, produits, sommes, quotients.
5. Connexité et connexité par arcs.
6. Compacité.

Nombre de crédits ECTS : 5

Pré-requis : algèbre I et géométrie I
Mode d’évaluation : examen oral (note minimum 4 pour valider)
Session d’examen : février - septembre

23
GÉOMÉTRIE II 12M030P
D. CIMASONI, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Etudier les courbes et les surfaces au moyen des outils de la géométrie différentielle.

Contenu

Géométrie différentielle des courbes

1. Généralités sur les courbes : paramétrisation, longueur d’arc, courbure.

2. Courbes planes : courbure algébrique, indice de rotation, inégalité isopérimétrique.
3. Courbes spatiales : torsion, formules de Frenet, courbure totale.

Géométrie différentielle des surfaces

1. Surfaces régulières : définition et premiers exemples.

2. Calcul différentiel sur les surfaces : fonctions lisses, plan tangent, différentielles d’une
fonction.
3. Première forme fondamentale : calcul de longueurs, d’angles et d’aires.
4. Géodésiques et isométries.
5. Deuxième forme fondamentales : courbure normale, courbure de Gauss, theorema
egregium.
6. Le théorème de Gauss-Bonnet et ses applications.

Nombre de crédits ECTS : 5

Pré-requis : analyse I, algèbre I et géométrie I
Mode d’évaluation : examen écrit (note minimum de 4 pour valider)
Session d’examen : juin - septembre

24
PROBABILITÉS ET STATISTIQUE 12M060A
(cours pour mathématiciens)

Y. VELENIK, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Introduction des concepts de base de la théorie des probabilités : événements, mesure de probabilité,
espace de probabilité, probabilité conditionnelle, indépendance, formule de Bayes, variable et vecteur
aléatoires, principales lois de probabilité, espérance, variance, moments, covariance, corrélation, loi faible
des grands nombres, fonctions génératrices et fonctions caractéristiques.

Contenu

1. Espaces de probabilité discrets.

2. Marche aléatoire simple sur Z.
3. Fonctions génératrices.
4. Espaces de probabilité généraux.
5. Fonctions caractéristiques.

Nombre de crédits ECTS : 5

Pré-requis : 1ère année de baccalauréat.
Mode d’évaluation : examen écrit
Sessions d’examen : février - septembre

25
PROBABILITÉS ET STATISTIQUE 12M060P
(cours pour mathématiciens)

Y. VELENIK, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 - 4
par semaine
Nombre d’heures 28 28 - 56
par semestre

Objectifs

Introduction à quelques thèmes plus avancés de théorie des probabilités : théorèmes limites, processus
stochastiques. Introduction à la statistique.

Contenu

1. Théorèmes limites : lemmes de Borel-Cantelli, loi forte des grands nombres, théorème
central limite, loi 0/1 de Kolmogorov.
2. Processus stochastiques : compléments sur les marches aléatoires, chaînes de Markov,
modèle de percolation, processus de Poisson.
3. Introduction à la statistique : estimateurs, intervalles de confiance, tests d'hypothèse.

Nombre de crédits ECTS : 5

Pré-requis : 1ère année de baccalauréat, cours du 1er semestre
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

26
BACCALAURÉAT 3èmeANNÉE
MAÎTRISE 1ère ANNÉE

27
28
ALGÈBRES DE HOPF 14M169
R. KASHAEV, pas

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Ce cours sera une introduction à la théorie des algèbres de Hopf. On étudiera notamment en détail des
propriétés et constructions générales associées aux algèbres de Hopf, ainsi que le groupe quantique
U_q(sl(2)), ses représentations, la R-matrice associée. Les particularités du cours seront les suivantes :

Contenu

1. La présentation sera purement algébrique basée essentiellement sur l’algèbre

(multi-) linéaire.
2. Pour formuler et démontrer certains résultats généraux, une notation graphique sera
utilisée.
3. Le dual restreint d’une algèbre de Hopf jouera un rôle important.
4. La théorie générale sera développée de façon minimale : l’appui sera surtout fait sur
quelques exemples concrets et simples.
5. La R-matrice universelle du double quantique d’une algèbre de Hopf sera construite
comme une forme bilinéaire, de sorte que la théorie soit applicable aux algèbres de Hopf
de dimension quelconque, finie ou infinie.

Ce cours est un complément à la théorie des groupes. Il sera utile en topologie quantique, physique
mathématique, physique théorique.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

29
ALGÈBRE ET GÉOMÉTRIE III 13M010A
(cours de 3ème année de bachelor)

G. MIKHALKIN, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Assimiler les premiers outils de la topologie algébrique (groupe fondamental, revêtement, théorie
simpliciale) et les utiliser pour une meilleure compréhension de certains espaces topologiques.

Contenu

1. Constructions de base : chemins, homotopie, groupe fondamental, fonctorialité,

applications.

2. Théorème de van Kampen : produit libre de groupes, théorème de van Kampen,

application aux complexes cellulaires et aux surfaces.

3. Revêtements : propriété de relèvement, classification des revêtements, groupe d'un

revêtement.

4. Théorie simpliciale : Delta-complexes, caractéristique d'Euler.

Nombre de crédits ECTS : 5

Pré-requis : algèbre II, géométrie II
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

30
ALGÈBRE ET GÉOMÉTRIE III 13M010P
(cours de 3ème année de bachelor uniquement)

G. MIKHALKIN, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Le cours fournit une introduction à la géométrie des variétés différentiables qui est le langage de base de
la géométrie moderne.

Contenu

1. Variétés différentiables. Espace tangent.

2. Applications différentiables. Immersions et submersions. Sous-variétés. Espaces fibrés.
3. Champs de vecteurs. Equations différentielles ordinaires.
4. Formes différentielles. Intégration sur les variétés. Théorème de Stokes.

References
[1] V. Arnold, Équations différetielles ordinaires, 5ème édition, Librarie du Globe, 1996.
[2] A. Kosinski, Differential manifolds, Dover, 2007.
[3] L. Tu, An introduction to manifolds, Second Edition, Springer, 2011.

Nombre de crédits ECTS : 5

Pré-requis : algèbre II, géométrie II
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

31
ANALYSE III 13M020A
(cours de 3ème année de bachelor)

A. BYTSKO, scolsI

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Etablir les bases de la théorie de la mesure et de l’intégration selon Lebesgue.

Contenu

1. Sigma-algèbres et mesures. Mesure de Lebesgue. Fonctions mesurables.

2. Intégral de Lebesgue. Théorèmes fondamentaux. Mesures produit.
3. Fonctions à variation bornée. Intégrale de Stieltjes.
4. Mesure de Haar.
5. Espaces L^p. Systèmes orthogonaux de fonctions.

Livres conseillés :
A. Kolmogorov, S. Fomine : Eléments de la théorie des fonctions et de l'analyse fonctionnelle.
W. Rudin : Analyse réelle et complexe.
T. Tao : An introduction to measure theory.

Nombre de crédits ECTS : 5

Pré-requis : analyse II
Mode d’évaluation : examen écrit
Sessions d’examen : février - septembre

32
ANALYSE III 13M020P
(cours de 3ème année de bachelor)

A. BYTSKO, scolsI

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Introduction à l’analyse fonctionnelle et à la théorie des distributions.

Contenu

1. Distributions.
2. Transformation de Fourier.
3. Convolution.
4. Espaces de Hilbert.
5. Opérateurs bornés. Opérateurs compacts. Théorème spectral.
6. Opérateurs hermitiens.

Livres conseillés :
A. Kolmogorov, S. Fomine :Eléments de la théorie des fonctions et de l'analyse fonctionnelle.
J.J. Duistermaat, J.A.C Kolk : Distributions : Theory and Applications.
M. Dunford, J.T. Schwartz : Linear Operators.

Nombre de crédits ECTS : 5

Pré-requis : analyse II
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

33
ANALYSE NUMÉRIQUE DES ÉQUATIONS
AUX DÉRIVÉES PARTIELLES 14M115
M. GANDER, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Beaucoup de phénomènes physiques peuvent être modélisés à travers des équations aux dérivées partielles, par
exemple le flux d'un fluide dans un tuyau, la température d'un appartement ou la cuisson dans un four à micro ondes.
Mais la résolution de ces équations est souvent difficile et les méthodes analytiques ne suffisent rarement pour
obtenir les résultats désirés.

Ce cours est une introduction aux méthodes numériques modernes pour la résolution des équations aux dérivées
partielles. Nous utiliserons Matlab pour développer des codes modèles simples, et Maple pour assister aux calculs
symboliques.

Contenu (prévu)

1. Rappel sur les méthodes numériques pour les équations différentielles ordinaires
(méthodes de Runge Kutta, Multipas et intégration adaptative, intégration géométrique).

2. Méthodes numériques pour les équations aux dérivées partielles elliptiques (différences
finies, éléments finis, volume fini et méthodes spectrales).

3. Méthodes numériques pour les problèmes d’évolution paraboliques (intégration en

espace-temps, méthode de ligne, intégration explicite et implicite).

4. Méthodes numériques pour les équations hyperboliques (stabilité et instabilité,

condition de CFL).

5. Méthodes de résolution rapide : multi-grille et décomposition de domaine.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

34
INTÉGRATION NUMÉRIQUE GÉOMÉTRIQUE
ET RAIDE DES ÉQUATIONS DIFFÉRENTIELLES 14M158
G. VILMART, scolsII

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

L'objectif est d'introduire et analyser la résolution numérique des équations différentielles de type raides
(ou multi-échelles) d'une part, ou avec une structure géométrique importante pour des calculs en temps
long d'autre part (symplecticité, conservation de l'énergie, intégrales premières, etc.).

Contenu

Pour des applications à des systèmes hamiltoniens (système solaire, dynamique moléculaire, mouvement
d’un corps rigide), nous présentons plusieurs classes de méthodes numériques (méthodes de collocation,
de splitting et de composition) et nous donnons des éléments d’analyse rétrograde permettant de justifier
le meilleur comportement qualitatif des méthodes symplectiques (énergie et structure préservées).

Nous introduisons également des méthodes numériques adaptées aux problèmes raides et analysons la
construction et la stabilité de ces méthodes. Les applications sont diverses, comme la simulation de
réactions chimiques ou l'intégration de problèmes d'équations aux dérivées partielles raides.

NOTE : le premiers cours est prévu lundi 21 septembre 2015 (tous les cours du 14 septembre matin
étant traditionnellement supprimés pour la séance d’accueil des étudiants).

Nombre de crédits ECTS : 5

Pré-requis : analyse numérique, analyse II, analyse complexe
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

35
INTRODUCTION A LA TOPOLOGIE ALGÉBRIQUE 14M176
S. MONNIER, ma

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Introduire les notions d'homologie et de cohomologie d'espaces topologiques et étudier leurs propriétés.
Illustrer ces concepts dans le cadre des fibrés vectoriels.

Contenu

1. Homologie et cohomologie singulières.

2. Théorème des coefficients universels.
3. Cup-produit.
4. Dualité de Poincaré.
5. Fibrés vectoriels et classes caractéristiques.

Nombre de crédits ECTS : 5

Pré-requis : algèbre II, géométrie II
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

36
LIE ALGEBRAS AND THEIR REPRESENTATIONS 14M161
(cours en anglais)

A. BYTSKO, scolsI

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Introduction to the theory of Lie algebras.

Contenu

1. Lie algebras: definition and examples. Subalgebras, ideals, simple and

nilpotent Lie algebras. Adjoint representation. Lie algebras of matrix groups.

2. Modules : simple, semi-simple, indecomposable. Schur's lemma.

Universal enveloping algebra. Casimir operators. Killing form.

3. Representation theory of sl(2), tensor products of representations.

4. Semi-simple Lie algebras: Cartan subalgebra, highest weight modules, Weyl group.

Livres conseillés :
J.E. Humphreys : Introduction to Lie algebras and representation theory.
W. Fulton, J. Harris : Representation theory. A first course.
J.-P. Serre : Algèbres de Lie semi-simples complexes.

Nombre de crédits ECTS : 5

Pré-requis : algèbre linéaire
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

37
L’INFORMATIQUE AU SERVICE DES MATHS
ET DE SON ENSEIGNEMENT 14M177
P.-A. CHERIX, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Le théorème des quatre couleurs est certainement le premier résultat mathématique dans lequel
l’informatique occupe une place incontournable. De nos jours, tout un chacun possède à sa disposition
des outils de calculs numériques ou formels très importants. Ces outils modifient notre manière
d’appréhender et de faire des mathématiques.
De manière générale, l’informatique change de manière importante notre société et donc l’école.
Le but de cours est d’essayer de voir par des exemples comment les outils informatiques peuvent être
utilisés pour faire de la prospective et développer une intuition face à une question mathématique. Ainsi
que de voir quels avantages et quels risques sont liés à l’utilisation de l’ordinateur dans un enseignement
de mathématiques.

Ce cours est principalement destiné aux personnes intéressées par l’enseignement.

Contenu

Découvrir geogebra, scilab, google sheet (ou open office calc, Latex) et une calculatrice et résoudre
diverses questions mathématiques avec ces logiciels.

Nombre de crédits ECTS : 5

Pré-requis : algèbre II, géométrie II
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

38
MÉTHODES ÉLÉMENTAIRES 14M080

A. ALEKSEEV, po
N. KALININ, assistant
E. RAPHAEL, assistante

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Ce cours peut être choisi comme « séminaire » par les candidats à une maîtrise bi-disciplinaire, mineure
en mathématiques et également par les candidats à un « complément d’études en sciences, pour
l’enseignement ».

Objectifs

Beaucoup de sujets mathématiques peuvent être présentés comme des successions de problèmes
relativement simples. Les étudiants auront l'occasion de les démontrer par eux-mêmes pas à pas. Les
théorèmes et les idées débattus ne sont pas des choses isolées au niveau des mathématiques, mais ils sont
appliqués partout.

Ainsi le cours sera donné comme des ensembles de problèmes et pour les résoudre il n'y aura pas besoin
de connaître de théories particulières. Il sera demandé que les étudiants résolvent des problèmes à la
maison ; on  leur  demandera  ensuite  d'aller  au  tableau  pour  pr»senter  leurs  solutions.  
 
Contenu

1. Théorie élémentaire des nombres (arithmétique modulaire, des polynômes

irréductibles).
2. Théorie de Ramsey.
3. Géométrie combinatoire planaire.
4. Equation de Pell-Ferma, théorème de Minkowski au sujet d'un convexe symétrique.
5. Théorie de graphes (colorations de graphes, problème du voyageur de commerce,
lemme des mariages).
6. Inégalités de Young, Jensen, Muirhead, leurs applications.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit + interventions au tableau + exercices écrits
Sessions d’examen : février - septembre

39
MÉTHODES GÉOMÉTRIQUES ET ASYMPTOTIQUES
EN THÉORIE DES GROUPES 14M154

T. SMIRNOVA-NAGNIBEDA, pas
R. GRIGORCHUK, pi

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Contenu

Le cours portera sur quelques sujets choisis de la théorie des groupes moderne qui étudie des groupes et
leurs actions par leurs propriétés métriques. Des notions de nature asymptotique, telles que la croissance,
la moyennabilité, les marches aléatoires sur les groupes seront discutées, et on abordera la question de
classification des groupes infinis de type fini par leurs propriétés asymptotiques.

La partie du cours enseignée par le Prof. Grigorchuk sera donnée en anglais.

Nombre de crédits ECTS : 5

Pré-requis : Algèbre II, Probabilités, Analyse II, Géométrie II. Analyse III et Algèbre et Géométrie III
souhaités mais pas indispensables
Mode d’évaluation : examen oral
Sessions d’examen : juin- septembre

40
MODULAR FORMS 14M174

A. SZENES, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

The goal of the course is to give a gentle introduction into the beautiful classical theory of modular forms,
and to explore the connections between number theory and classical special functions.

Contenu

Modular forms are complex functions in the upper half plane with symmetry properties linked to
hyperbolic geometry. At the same time, they encode a wealth of number-theoretic data, for example,
the number of ways an integer may be decomposed into a sum of squares. The course will cover the basic
definitions, modular forms with respect to subgroups, theta functions, product formulas, Hecke operators
and various number-theoretic applications.

The course will be accessible to 3rd year students, and will be given in French or English depending on
the audience.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : février- septembre

41
NUMERICS OF LOW-RANK TENSOR TECHNIQUES 14M160
(cours en anglais)

B. VANDEREYCKEN, past

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Approximation by low-rank tensors is a popular technique in the numerical simulation of certain high-
dimensonional problems (e.g. the electronic Schrödinger equation). Like a low-rank matrix, a low-rank
tensor is a finite linear combination of certain lower dimensional tensors (multidimensional arrays).
Contrary to matrices, however, they can scale to very high-dimensional problems or they have useful
uniqueness properties for multi-way data analysis. This course will give an overview of applications and
algorithms that use low-rank tensor techniques.

Contenu

1. Motivating examples (electronic Schrödinger equation, parametric PDEs, low-rank

matrix completion).
2. Low-rank tensor formats (CP, Tucker, Matrix Product States, Tensor Trains,
Hierarchical Tensors).
3. Numerical properties and implementation, quasi-best approximation.
4. Geometry of tensor formats.
5. Approximability, low-rank operators.
6. Computational methods (optimisation, rank truncated schemes, rank adaptive schemes).

Nombre de crédits ECTS : 5

Pré-requis : algèbre, analyse, analyse numérique
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

42
PAVAGES ET SYMÉTRIES 14M163
M. BUCHER-KARLSSON, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Initiation à la géométrie des pavages du plan. Classification des pavages symétriques et existence de
pavages asymétriques.

Contenu

L'art du pavage apparait naturellement aux origines de toute civilisation. Nous proposons une étude
rigoureuse des pavages du plan qui nous amènera entre autre à comprendre pourquoi des motifs très
similaires apparaissent en des endroits et époques distantes. Pour ceci nous étudierons les symétries des
pavages et en effectuerons la classification.

Dans les années 1960, la question de l'existence d'un pavage complètement asymétrique se pose. Nous
analyserons le pavage de Penrose qui démontre l'existence d'un tel pavage.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

43
QUANTUM FIELD THEORY FOR MATHEMATICIANS II 14M159
(cours en anglais)

A. ALEKSEEV, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Quantum Field Theory (QFT) is a source of inspiration for a number of important concepts in modern
Mathematics. This course is an introduction into the subject. We shall cover Lagrangian field theory
based on the calculus of variations, the axiomatic approach due to Atiyah-Segal and the basics of the
Feynman graphs perturbative technique.

Contenu

1. Lagrangian field theory: basics of the calculus of variations, examples: free and
interacting scalar fields, gauge theories, Yang-Mills theory in 2 dimensions, Chern-
Simons theory in 3 dimensions.

2. Atiyah-Segal axioms of Quantum Field Theory. Topological Quantum Field Theories

(TQFT). Classification of 2-dimensional TQFTs.

3. Perturbation theory: finite dimensional Gaussian integrals, Feynman graphs,

applications to QFT.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

44
STATISTIQUE ET OPTIMISATION 14M162
S. SARDY, mer

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

En statistique de nombreux estimateurs sont définis comme solution d'un problème d'optimisation, par
exemple l'estimateur des moindres carrés, du maximum de vraisemblance, ou vraisemblances pénalisées
(e.g., ridge, lasso, basis pursuit). Nous étudierons ces problèmes d'optimisation (existence, unicité,
convexité, différentiabilité) et développerons des algorithmes pour calculer ces estimateurs, notamment
steepest descent, conjugate gradient, BFGS, relaxation (back-fitting), méthodes duales. Des travaux
pratiques mettront en applications ces méthodes en les programmant.

Contenu

Optimisation univariée et multivariée. Optimisation avec et sans contraintes. Optimisation convexe ou

non-convexe. Existence, unicité, conditions d'optimalité. Méthodes itératives primales et duales. Calcul
d'estimateurs statistiques nécessitant des outils d'optimisation.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

45
SURFACES DE RIEMANN 14M170
P. SEVERA, smer

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Introduction à la théorie des surfaces de Riemann. Ce sujet réunit plusieurs branches mathématiques :
analyse complexe, topologie, algèbre, et géométrie hyperbolique.

Contenu

1. Surfaces de Riemann et fonctions algébriques.

2. Topologie de surfaces, genre.
3. Revêtements ramifiés, formule de Riemann-Hurwitz, groupes de Galois.
4. Différentielles harmoniques, holomorphes et méromorphes; projection orthogonale.
5. Théorème de Riemann-Roch.
6. Courbes elliptiques.
7. Uniformisation.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

46
THÉORIE ANALYTIQUE DES NOMBRES 14M175
Y-F. S. PETERMANN, cc

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Le théorème des nombres premiers établit que le comportement de la fonction de compte des nombres
premiers jusqu’à x, lorsque x est grand, est très proche de celui de la fonction x/log x (où log désigne le
logarithme naturel). Ce théorème a été conjecturé, indépendamment, par Legendre et Gauss à la fin du
18ème siècle et démontré pour la première fois - indépendamment également – par Hadamard et de la
Vallée Poussin, un siècle plus tard en 1896.
Le cours est consacré à la préparation d’une preuve et à la démonstration de ce résultat classique. Il
contiendra une introduction à la théorie multiplicative des nombres.

Contenu

1. Introduction.
2. Estimations asymptotiques.
3. Intégrales de Riemann-Stieltjes.
4. Fonctions arithmétiques.
5. Ordres moyens de fonctions arithmétiques.
6. Séries de Dirichlet.
7. La fonction zêta de Riemann.
8. Preuve du théorème des nombres premiers.

Nombre de crédits ECTS : 5

Pré-requis : analyse I et II et algèbre I
Mode d’évaluation : examen oral
Sessions d’examen : juin - septembre

47
THÉORIE DES CHAMPS POUR LES MATHÉMATICIENS 14M156
M. MARINO BEIRAS, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

L'objectif de ce cours est de donner une introduction auto-contenue à la Mécanique Classique et à la

Mécanique Quantique pour des étudiants de master de Mathématiques.

Contenu

1. Mécanique Lagrangienne.
2. Mécanique Hamiltonienne.
3. Fondements de Mécanique Quantique.
4. Mécanique Quantique dans l'espace des phases.
5. Méthodes semi-classiques.

References

[1] V. I. Arnold, Mathematical methods of classical mechanics, Springer

[2] L. D. Fadeev and O. A. Yakubovskii, Lectures on Quantum Mechanics
for Mathematics Students, American Mathematical Society.
[3] B. C. Hall, Quantum Theory for Mathematicians, Springer.
[4] L. A. Takhtajan, Quantum Mechanics for Mathematicians, American
Mathematical Society.
[5] P. Ramond, Field theory, a modern primer, Second Edition, Perseus
Books, 1994.

Nombre de crédits ECTS : 5

Pré-requis : analyse III
Mode d’évaluation : examen écrit
Sessions d’examen : février - septembre

48
THÉORIE DES NOMBRES 14M132
A. KARLSSON, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Compréhension des aspects de base de la théorie des nombres. Capacité à résoudre des problèmes
concrets.

Contenu

1. Théorie classique et élémentaire : divisibilité, congruences, résidus quadratiques,

approximation diophantienne.
2. L’analogie entre entiers et polynômes : équations diophantiennes, la conjecture ABC.
3. La méthode de fonctions génératrices : la fonction theta, fonctions zêta, nombres
premiers.

Nombre de crédits ECTS : 5

Pré-requis : analyse I, algèbre I, analyse II complexe
Mode d’évaluation : examen écrit
Sessions d’examen : juin – septembre

49
TOPICS IN GEOMETRIC TOPOLOGY 14M157
(cours en Anglais)

G. MIKHALKIN, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Review some classical construction in Geometric Topology as well as their links to Algebraic Geometry.

Contenu

1. Homotopy groups of the spheres. Pontryagin's construction and its generalization by

Thom. Cobordisms and framed bordisms. Spin structure on surfaces and its relatives.

2. Three-dimensional bordisms. Rokhlin's signature theorem for 4-manifolds. Its

generalizations and applications to real algebraic geometry.

3. Parallelizable manifolds. Exotic spheres after Kervaire and Milnor.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

50
 MASTER CLASS

Les cours de Master class peuvent être choisis comme cours avancés par les étudiants de Master.
Le nombre de crédits ECTS est de 5 par semestre.

51
52
BROWNIAN MOTION AND
STOCHASTIC CALCULUS 14M165
(cours en anglais)

D. CHELKAK, pi (po)

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Brownian motion is at the heart of both mathematics and physics. This class is devoted to the study of
this object and its applications.

Contenu

1. Introduction to random-walks.
2. Definition of Brownian motion.
3. Path-wise properties of Brownian motion.
4. Brownian motion and harmonic functions.
5. Stochastic calculus.
6. Stochastic Partial Differential Equations.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : février – septembre

53
CONFORMAL INVARIANCE OF LATTICE MODELS 14M167
(cours en anglais)

S. SMIRNOV, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

The aim of this course is to prove conformal invariance of several 2D models of statistical physics, and
discuss possible [Link] plan to cover the following topics :

Contenu

1. Discrete harmonic and discrete analytic functions.

2. Discrete harmonic functions in the dimer model its conformal invariance.
3. Conformal invariance of the uniform spanning tree and its relation to Schramm's SLE
curves.
4. Conformal invariance of the crossing probabilities in critical percolation.
5. Conformal invariance of the critical Ising model.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : juin – septembre

54
GEOMETRIC REPRESENTATIONS
OF LATTICE MODELS 14M168
(cours en anglais)

H. DUMINIL-COPIN, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Geometric representations have been used to study spin-spin correlations of spin models on lattices. This
course will be devoted to the study of these classical geometric representations and to the applications of
these models to spin models.
Contenu

1. Introduction to lattice spin models.

2. Bernoulli percolation.
3. Fortuin-Kasteleyn percolation.
4. Loop representation of FK percolation.
5. Random current representation.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : février – septembre

55
INTRODUCTION TO STATISTICAL MECHANICS 14M164
(cours en anglais)

Y. VELENIK, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

The aim of this course is to introduce the students to the mathematical analysis of lattice spin systems.
Several fundamental questions will be addressed and illustrated in the simplest relevant situations.

Contenu

Among others, the following topics will be covered :

1. The phase diagram of the Ising model: correlation inequalities, infinite-volume Gibbs
states, uniqueness and non-uniqueness, etc.
2. The discrete Gaussian Free Field: random walk representation, existence/nonexistence
of infinite-volume Gibbs states, etc.
3. Two-dimensional models with continuous symmetry: the Mermin-Wagner theorem,
decay of correlations, etc.

The course will be based on an ongoing book, an early version of which can be found at
[Link]

Nombre de crédits ECTS : 5

Pré-requis : probability theory, real and complex analysis, linear algebra (at the level of the first two years
of bachelor in Geneva)
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

56
MARTINGALES AND MARKOV PROCESSES 14M166
(cours en anglais)

N. N. (non nommé)

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

This class is devoted to the study of martingales and Markov processes.

Contenu

1. Discrete time Martingales.

2. Discrete time Markov processes.
3. Continuous time Markov processes.
4. Brownian motion and harmonic functions.
5. Poisson processes.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : février – septembre

57
ON VARIOUS ASPECTS OF THE DIMER AND
ISING MODELS 14M155
(cours en anglais)

D. CIMASONI, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

The aim of this course is to study the dimer (and to a lesser extend, Ising) models on 2-dimensional
lattices, i.e. graphs embedded in surfaces. The focus will be put on the amazing variety of tools coming
into play in this study, tools from areas of mathematics as diverse as combinatorics, algebraic geometry,
and algebraic topology. We shall introduce these tools along the way when we need them, so no previous
knowledge of these theories will be assumed. More precisely, we plan to cover the following topics :

Contenu

1. Combinatorics of dimer configurations on abstract graphs.

2. The Kasteleyn theorem for dimers on planar graphs, and its extension to surface graphs.
3. Dimer models on bipartite biperiodic graphs.
4. Mappings between the dimer and Ising models.
5. The Kac-Ward formula for the Ising model on planar graphs, and its extension to surface
graphs.

If time permits, we will use all of this to take a closer look at these models at criticality.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Sessions d’examen : juin – septembre

58
RANDOM PLANAR MAPS 14M173
(cours en anglais)

N. N. (non nommé)

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

In the past decades, the understanding of large planar maps, i.e. randomly chosen graphs embedded in
surfaces, has progressed greatly. This course will present recent developments in the field.

Contenu

1. Background on planar maps.

2. Enumeration of maps.
3. Convergence of large random planar maps to the Brownian Map.
4. Properties of the Brownian Map.
5. Uniqueness of the Brownian Map.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : juin – septembre

59
SCHRAMM-LOEWNER EVOLUTION AND
GAUSSIAN FREE FIELD 14M172
(cours en anglais)

W. WERNER, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Le cours sera donné à l’ETH du 18 au 27 janvier 2016

Objectifs

This block course taking place in January 2016 will be an introduction to the Schramm-Loewner
evolutions, which are random curves arising in a number of random planar systems.

Contenu

Topics covered in this class will include :

1. Definition of Loewner chains and their properties.

2. Definition and basic properties of Schramm-Loewner Evolutions.
3. Relation between SLE(4) and the Gaussian Free Field.
4. Survey of properties of some other SLE curves.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : février – septembre

60
 SÉMINAIRES

Les candidats au Baccalauréat universitaire en mathématiques choisissent un des deux séminaires ci-
après no 13M761 ou 13M760 .
Les candidats à la Maîtrise universitaire en mathématiques, direction G choisissent un des séminaires
ci-après no 13M761 ou 13M760 qu'ils n'ont pas déjà suivi pour le Baccalauréat, sauf accord exprès de
l'enseignant.

61
62
SÉMINAIRE ALGÈBRE-GÉOMÉTRIE 13M761

[Link]-HONGLER, cc

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 - 2
par semaine
Nombre d’heures 28 - 28
par année

Ouvert aux candidats à un baccalauréat ou à une maîtrise universitaire en mathématiques.

Contenu

Des chapitres choisis principalement dans les domaines de la géométrie , la topologie et de l'algèbre sont
proposés. Le programme des séminaires sera établi en fonction de l'intérêt des participants.

Quelques références:

[Link] : Glimpses of Algebra and Geometry.

[Link], D. Holton, [Link] : Mathematical Reflections.
V. Prasolov : Intuitive Topology.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : certificat
Sessions d’examen : --

63
SÉMINAIRE DE THÉORIE DES NOMBRES 13M762

Y.-F. PETERMANN, cc

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 - 2
par semaine
Nombre d’heures 28 - 28
par année

Ouvert exclusivement aux candidats à une maîtrise bi-disciplinaire, mineure en mathématiques, et

aux candidats à un « complément d’études en sciences, pour l’enseignement ». La présence à la séance
d’introduction du séminaire est une condition nécessaire à l’inscription.

Objectifs

On abordera quelques chapitres choisis de théorie des nombres, avec des méthodes plutôt élémentaires et
parfois historiques. Voici une liste non exhaustive de quelques sujets possibles.

Contenu

1. Introduction aux fonctions arithmétiques.

2. Densités de suites d’entiers.
3. Comportement asymptotique de la suite des nombres premiers.
4. Le crible d’Eratosthène.
5. Suites de Farey et approximations de nombres irrationnels.
6. Ordres de grandeur.
7. Problèmes de visibilité.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : certificat
Sessions d’examen : --

64
SÉMINAIRE - THÉORIE MATHÉMATIQUE DES JEUX 13M760

P. TURNER, scc

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 - 2
par semaine
Nombre d’heures 28 - 28
par année

Ouvert aux candidats à un baccalauréat ou à une maîtrise universitaire en mathématiques.

Contenu

La théorie des jeux est un domaine développé relativement récemment en mathématiques, notamment par
John von Neumann et John Nash. Elle fait intervenir des techniques issues de nombreux domaines
différents, qui seront abordés dans ce séminaire : théorie des probabilités, théorie combinatoire, théorie
des graphes, algèbre, analyse, topologie, etc...

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : certificat
Sessions d’examen : --

65
66
COURS DONNÉS À D’AUTRES SECTIONS

67
68
BIOSTATISTIQUES I 11M004

S. SARDY, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Le cours est destiné aux étudiants de biologie. Il doit être suivi avec les travaux pratiques
Biostatistiques I : applications (11M904) pour l’obtention des 4 crédits ECTS.

Objectifs

Apprendre les concepts clefs en statistique et probabilités.

Contenu

1. Analyse exploratoire (statistiques simples et analyse graphique) et utilisation du logiciel

statistique R.
2. Calculs élémentaires de probabilités.
3. Variables aléatoires et distributions discrètes, leur espérance et variance. En particulier,
distributions Bernoulli, Binomiale et Poisson.
4. Variables aléatoires et distributions continues, leur espérance et variance. En particulier,
distributions Gaussienne et Student.
5. Introduction à la régression, au test statistique (test de Student) et estimateur.

Nombre de crédits ECTS : 4 (11M004 + 11M904)

Pré-requis : néant
Mode d’évaluation : examen écrit, 2h en coordination avec Biostatistiques I : applications (11M904)
Session d’examen : juin - septembre

69
BIOSTATISTIQUES I : APPLICATIONS 11M904

E. POLONI, cc

Semestre de printemps

Le cours est destiné aux étudiants de biologie. Il doit être suivi avec les travaux pratiques
Biostatistiques I : applications (11M904) pour l’obtention des 4 crédits ECTS.

Objectifs

Permettre à l'étudiant-e d’acquérir un degré d’autonomie suffisant pour pouvoir, à la fois :

- s’orienter dans le choix de la littérature à consulter et les programmes statistiques à utiliser pour
répondre à une question scientifique qu’elle/il pourra rencontrer dans le cadre de ses études ;
- porter un regard critique sur l’actualité scientifique dans le domaine de la biologie, à savoir être
capable d’évaluer l’adéquation d'un plan expérimental pour répondre à une question scientifique
donnée, la robustesse des résultats expérimentaux et la pertinence des conclusions qui en sont
tirées.

Contenu

En coordination avec le cours de Biostatistiques I (11M004), les séances de Biostatistiques I :

applications proposent une application à la biologie des concepts-clé en probabilités et
statistiques. Les deux heures hebdomadaires seront dédiées à contextualiser l’utilité et
l’utilisation de ces concepts pour aborder des connaissances dans le domaine des sciences du
vivant. Ceci s’effectuera à travers la résolution, par les étudiants-es, de problèmes présentés sous
forme d’exercices sur des exemples tirés exclusivement du domaine des sciences du vivant. Des
corrections interactives (entre enseignants-es et étudiants-es) seront proposées. Le recours à
l’utilisation du logiciel R sera aussi inclus dans les séances. Le programme comprend :

1. EDA: visualisation et représentation des données, échantillonnage(s) en

biologie.
2. Probabilités: lois de probabilités dans la génétique des familles et des
populations, et lois de probabilités associées aux caractères à variation continue.
3. Principes de l'inférence statistique de paramètres usuels en biologie, principe
d’un test d’hypothèse et introduction aux tests usuels en biologie.

Nombre de crédits ECTS : 4 (11M004 + 11M904)

Pré-requis : néant
Mode d’évaluation : examen écrit, 2h en coordination avec Biostatistiques I (11M004)
Session d’examen : juin - septembre

70
MATHÉMATIQUES GÉNÉRALES 11M000

S. SARDY, mer

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Ce cours est destiné aux étudiants de chimie, pharmacie, biologie, sciences de la terre.

Objectifs

Dégager les idées du calcul différentiel et intégral à une et plusieurs variables qui sont importantes pour la
pratique scientifique en Biochimie, Biologie, Chimie, Pharmacie et Science de la terre.

Contenu
1. Analyse de fonctions univariées : graphe, limite, continuité, dérivation, intégration,
Taylor.
2. Fonctions à plusieurs variables : graphes, limite, continuité, gradient, hessienne, Taylor.
3. Optimisation : concepts clef, existence, unicité, convexité, algorithmes.
4. Algèbre linéaire : espace vectoriel, partie libre, partie génératrice, base, déterminant,
norme, produit scalaire, produit vectoriel, matrice, vecteurs/valeurs propres.
5. Equations différentielles simples.

Nombre de crédits ECTS : dépend des baccalauréats

Pré-requis : néant
Mode d’évaluation : examen écrit
Session d’examen : février - septembre

71
MATHÉMATIQUES GÉNÉRALES – Analyse 11M003

M. MARINO, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Ce cours est destiné aux étudiants de chimie.

Objectifs

Approfondissement des outils mathématiques pour les étudiants en sciences.

Contenu

1. Fonctions de plusieurs variables. Fonctions homogènes.

2. Intégrales de ligne. Intégrale multiples. Théorème de Stokes.
3. Nombres complexes et fonctions de variable complexe.
4. Analyse spectrale des matrices.
5. Equations différentielles. Stabilité. Solutions en série de puissances.
6. Transformées intégrales et applications.

References

[1] D. Z. Goodson, Mathematical methods for physical and analytical chem-

istry, Wiley, 2011.
[2] D. McQuarrie, Mathematical methods for scientists and engineers, University
Science Books, 2003.
[3] R. Wrede and M. R. Spiegel, Advanced calculus, Schaum's Outlines,
McGraw-Hill, 2010.

Nombre de crédits ECTS : dépend des baccalauréats

Pré-requis : néant
Mode d’évaluation : examen écrit
Session d’examen : juin - septembre

72
MATHÉMATIQUES GÉNÉRALES – Statistiques 11M002

S. SARDY, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Ce cours est destiné aux étudiants de pharmacie et science de la terre.

Objectifs

Apprendre les concepts clefs en statistique et probabilités.

Contenu

1. Analyse exploratoire (statistiques simples et analyse graphique) et utilisation du logiciel

statistique R.
2. Calculs élémentaires de probabilités.
3. Variables aléatoires et distributions discrètes, leur espérance et variance. En particulier,
distributions Bernoulli, Binomiale et Poisson.
4. Variables aléatoires et distributions continues, leur espérance et variance. En particulier,
distributions Gaussienne et Student.
5. Introduction à la régression, au test statistique (test de Student) et estimateur.

Nombre de crédits ECTS : dépend des baccalauréats

Pré-requis : néant
Mode d’évaluation : examen écrit
Session d’examen : juin - septembre

73
MATHÉMATIQUES POUR INFORMATICIENS 11M005

G. VILMART, scolsII

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 4 2 6
par semaine
Nombre d’heures 56 28 84
par semestre

Objectifs

Ce cours est une continuation d’Analyse I (automne) et d’Algèbre I (automne). Il traite quelques sujets
plus avancés de mathématiques, qui sont importants pour les étudiants en informatique, et il donne les
bases théoriques pour les sujets traités au cours "Analyse numérique" en deuxième année.

Contenu

1. Topologie de l’espace euclidien et fonction continues.

Distance, normes, convergence, ensembles ouverts et fermés, fonction continues à
plusieurs variables, courbe de Peano-Hilbert.
2. Calcul matriciel.
Rappel d’algèbre linéaire, forme normale de Schur, matrices orthogonales, formes
quadratiques, matrices définies positives, classification des hyper-quadriques, matrices
définies positives, norme d'une matrice.
3. Calcul différentiel (plusieurs variables).
Dérivées partielles, différentiabilité, dérivées d'ordre supérieur, série de Taylor,
théorème des accroissements finis, théorème d'inversion locale, théorème des fonctions
implicites. surfaces et sous-variétés, espace tangent.
4. Optimisation.
Maxima relatifs, multiplicateurs de Lagrange, contraintes sous forme d’équations et
inéquations.
5. Calcul intégral.
Primitives, applications du calcul intégral, techniques d’intégration, intégration de
fonctions rationnelles, substitutions importantes, intégrales multiples.
6. Séries de Fourier.
Exemples et étude élémentaire de convergence, noyau de Dirichlet, convergence
ponctuelle et en moyenne quadratique.

Nombre de crédits ECTS : 6

Pré-requis : analyse I (automne), algèbre I (automne)
Mode d’évaluation : examen oral
Session d’examen : juin - septembre - février

74
PROBABILITÉS ET STATISTIQUE 12M061
(cours pour informaticiens)

A. SZENES, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Objectifs

Le but de ce cours est une introduction aux probabilités. Nous illustrerons la théorie par simulations
informatiques.

Contenu

Événements, mesure de probabilité, espaces de probabilités. Probabilités conditionnelles, événements

indépendants. Formule de Bayes. Variables aléatoires, fonctions de répartition. Principales lois de
probabilités. Espérance, variance, moments. Vecteurs aléatoires : distribution conjointe, distribution
marginale, distribution conditionnelle, indépendance, covariance et corrélation. Fonctions génératrices et
fonctions caractéristiques. Loi des grands nombres et théorème central limite. Introduction à la statistique.
Tests d'hypothèses. Intervalles de confiance.

Nombre de crédits ECTS : 4

Pré-requis : 1ère année de baccalauréat.
Mode d’évaluation : examen oral
Sessions d’examen : février - septembre

75
76
COURS DONNÉS PAR DES ENSEIGNANTS
D’AUTRES SECTIONS

77
78
ALGORITHMIQUE 12X001

J. ROLIM, po
B. CHOPARD, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Objectifs

Ce cours est un approfondissement aux concepts et techniques de l’algorithmique.

Contenu

On étudie les mécanismes utilisés par un ordinateur pour résoudre un problème donné, pour mesurer
l’efficacité d’un algorithme proposé et pour comparer cet algorithme à d’autres solutions possibles.
De nombreux algorithmes et techniques sont présentés et étudiés, de façon à bien comprendre leur
conception et leur analyse.

Les sujets suivants seront abordés :

1. Structures de données avancées.

2. Algorithmes gloutons.
3. Diviser pour conquérir.
4. Programmation dynamique.
5. Backtracking.
6. Branch and bound.
7. Algorithmes d’approximation.

Documentation : « Computer Algorithms », Computer ScienceS Press, 1998 – E. Horowitz, S. Sahni, S.

Rajasekaran.

Nombre de crédits ECTS : 5

Pré-requis : complexité et calculabilité
Mode d’évaluation : examen écrit
Session d’examen : février - septembre

79
COMPLEXITÉ ET CALCULABILITÉ 11X008

J. ROLIM, po

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Objectifs

Ce cours étudie les frontières fondamentales entre le possible (calculabilité) et le faisable (complexité)
dans le traitement d’information par ordinateur.

Contenu

En première partie, ce cours présente une introduction à la théorie de la calculabilité et de la décidabilité

en utilisant les machines de Turing comme modèle universel des ordinateurs.

La deuxième partie du cours est dédiée à l'étude de la complexité d'un algorithme, laquelle mesure
l'efficacité de celui-ci. Au-delà des algorithmes, la théorie de la complexité permet aussi d'étudier la
difficulté intrinsèque des problèmes rencontrés en particulier en optimisation combinatoire, par
l’élaboration d'une hiérarchie de difficultés de résolution y compris les problèmes NP-complets.

Les sujets suivants seront abordés :

1. Calculabilité effective.
2. Hypothèse de Church et machines universelles.
3. Langages récursifs et récursivement énumérables.
4. Machines de Turing déterministes et non-déterministes.
5. Classes P, NP, co-NP et PSPACE.
6. Transformations polynomiales.
7. Problèmes NP-complets et NP-difficiles.

Documentation : Liste d’ouvrages de référence et notes de cours.

Préparation pour : Algorithmique.

Nombre de crédits ECTS : 5

Pré-requis : langages formels
Mode d’évaluation : examen écrit
Session d’examen : juin - septembre

80
CONCEPTS ET LANGAGES ORIENTÉS OBJETS 12X003

P. DUGERDIL, cc

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4 8
par semaine
Nombre d’heures 28 28 56 112
par semestre

Objectifs

Ce cours a pour but d'introduire les concepts fondamentaux de la construction de logiciels basée sur les
objets. Après une introduction à la notion d’objet, le cours se concentre sur la modélisation des logiciels à
objets en utilisant le langage de modélisation UML. Il présente ensuite une technique d’analyse et de
conception de logiciels basée sur les objets. En fin de cours, nous abordons la modélisation des
spécifications sous forme de cas d’utilisation.

Le cours est illustré par l'étude d'un langage de programmation orienté objets (Java).

Les séances d'exercices, liées au cours, donnent l'occasion de mettre en oeuvre les notions enseignées,
tant sur papier pour les questions de modélisation que sur machine pour l'emploi de l'environnement de
développement et du langage Java.

Contenu

1. Concepts de programmation orienté objet (objets, messages, instances, classes, encapsulation,

polymorphisme, héritage).
2. Modèles UML statiques des logiciels (diagramme de classe, de composants et d’objets).
3. Modèles UML dynamiques des logiciels (diagramme de séquence, de communication, d’activité et
d’états).
4. Langage de modélisation de contraintes OCL.
5. Technique d’analyse de logiciels basée sur les responsabilités et les collaborations (RDD).
6. Spécification de logiciel par use-cases.
7. Présentation du langage Java qui est utilisé pour la plupart des exemples illustrant le cours ainsi que
pour les travaux pratiques.

Documentation : Polycopié et ouvrages de référence.

Préparation pour : Génie logiciel.

Nombre de crédits ECTS : 5

Pré-requis : bon niveau de programmation
Mode d’évaluation : examen oral
Session d’examen : juin - septembre

81
ÉLÉMENTS DE LA THÉORIE DE L’INFORMATION 12X004
(anciennement Structures discrètes et information)

S. VOLOSHYNOVSKYY, pas

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4 8
par semaine
Nombre d’heures 28 28 56 112
par semestre

Objectifs

Le but du cours est de donner aux étudiants une introduction à la théorie de l’information. Le cours
développera les volets théoriques nécessaires au traitement des problèmes dans les domaines suivants :
transfert de l’information, tests d’hypothèses et réduction de la Redondance.

Contenu

Le cours contiendra les chapitres suivants :

1. Méthodes probabilistes.
2. Mesure de l’information.
3. Sources de l’information (discrètes sans mémoire, de Markov, binaires et continues).
4. La notion de typicité.
5. Transfert de l’information : codage du canal.

Documentation : Note de cours et liste d’ouvrages de référence.

Préparation pour : Imagerie numérique, Imagerie numérique avancée , Data Mining, Cryptographie et
sécurité, Sécurité et confidentialité de multimédia, Elements of multiuser information theory and wireless
communications.

Nombre de crédits ECTS : 5

Pré-requis : probabilités et statistiques
Mode d’évaluation : examen oral ou contrôle continu
Session d’examen : juin - septembre

82
INTRODUCTION À L'INFORMATIQUE 12X013

J. LÄTT, mer

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 3 2 5 10
par semaine
Nombre d’heures 42 28 70 140
par semestre

Objectifs

Le but de ce cours est de présenter les notions et les outils de base de l’informatique aux étudiants en
première année de mathématiques, et de proposer une introduction à la programmation d’ordinateurs.

Contenu

La partie théorique du cours couvre les sujets suivants :

1. Histoire de l’informatique.
2. Représentation des données dans un ordinateur.
3. Composants électroniques et logiques d’un ordinateur.
4. Algorithmique.
5. Concepts des systèmes d’exploitation.
6. Réseaux et Internet.

La partie pratique se présente sous forme de laboratoires de programmation dans le langage Matlab.

COURS DONNE AUX ETUDIANTS DES MATHEMATIQUES

Nombre de crédits ECTS : 4

Pré-requis : néant
Mode d’évaluation : examen oral
Session d’examen : février - septembre

83
INTRODUCTION A LA PROGRAMMATION
DES ALGORITHMES 11X001

T. PUN, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 4 2 6 12
par semaine
Nombre d’heures 56 28 84 168
par semestre

Objectifs

Ce cours a pour but d'introduire les concepts fondamentaux de l’algorithmique et de la programmation

des ordinateurs en suivant simultanément l'approche de la programmation fonctionnelle et celle de la
programmation procédurale. Des algorithmes représentatifs de problèmes classiques sont étudiés.

Contenu

1. Concepts d’algorithmes, notions fondamentales, abstraction, séquences, itérations,

récursivité.
2. Programmes et langages de programmation.
3. Analyse, performance et complexité des algorithmes.
4. Programmation fonctionnelle :
- Expressions fonctionnelles, procédures, récursivité, processus de calcul.
- Lamda-calcul, modèles d'évaluation et de substitution.
- Procédures et fonctions d'ordre supérieur.
- Abstraction de données, données composées et hiérarchie de données.
5. Programmation procédurale :
- Modèle de von Neumann, types abstraits de données.
- Instructions d'affectation et de contrôle, sous-programmes.
- La récursivité en programmation procédurale.
6. Algorithmes et leur analyse, tels : tri, cryptographie, analyse d’images.

Le cours est illustré par l’étude d’un langage fonctionnel (Scheme) et d’un langage procédural (Pascal).
En parallèle, il est nécessaire de suivre le laboratoire de programmation : 4h par semaine.

Nombre de crédits ECTS : 7

Pré-requis : bon niveau en mathématiques élémentaires
Mode d’évaluation : examen écrit
Session d’examen : février - septembre

84
LANGAGES FORMELS 11X003

J. ROLIM, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Objectifs

Ce cours a pour sujet l’étude et l'analyse des langages formels et de leurs éléments : les mots.
Les langages formels sont des objets fondamentaux en informatique comme les langages de
programmation, compilation, codages, complexité, etc…
On étudie les langages formels et les systèmes qui en permettent une spécification ou représentation
comme les automates, grammaires, systèmes de réécriture et logiques.

Contenu

Les sujets suivants seront abordés :

1. Langages réguliers.
2. Automates à états finis.
3. Expressions et grammaires régulières.
4. Langages hors-contexte.
5. Grammaires.
6. Automates à piles déterministes et non déterministes.
7. Langages récursivement énumérables.
8. Machines de Turing.
9. Logiques de 1er ordre.

Préparation pour : Complexité et calculabilité.

Documentation : liste d’ouvrages de référence et note de cours.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen écrit
Session d’examen : février - septembre

85
LOGICIELS ET RÉSEAUX INFORMATIQUES 11X004

E. SOLANA, cc

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Ce cours a pour but de présenter les principes de fonctionnement des réseaux informatiques et des
systèmes distribués. Il décrit également le rôle du système d’exploitation d’un ordinateur, la notion de
pagination, la gestion de la mémoire et la virtualisation. Enfin, il permet à l’étudiant de saisir les
principaux concepts inhérents à la sécurité des systèmes et à la protection des réseaux.

Contenu

1. Principes fondamentaux et architecture de base des réseaux.

2. Technologie de transmission et techniques de traitement des erreurs.
3. Technologies de liaison, réseau et transport.
4. Systèmes d’exploitation, gestion de la mémoire et virtualisation.
5. Systèmes et applications distribués.
6. Introduction à la sécurité informatique et à la protection des informations digitales
7. Techniques des protections des réseaux et des ressources informatiques.

Bibliographie
Understanding Networked Multimedia: Applications and Technologies. F. Fluckiger, Prentice Hall, 1995.
Data and Computer Communications (10th Edition) Williams Stallings. William Stallings Books on
Computer and Data Communications, 2013.
Architecture des Réseaux (2e édition) Danièle Dromard, Dominique Seret. Pearson Education, 2010.
Architecture de l'Ordinateur (4e édition). Andrew Tanenbaum. Dunod, 2001.
Cryptography and Network Security: Principles and Practice (5th Edition). Williams Stallings. Prentice
Hall, 2010.
Security Engineering: A Guide to Building Dependable Distributed Systems (2nd Edition). Ross J.
Anderson. Wiley 2008.

Préparation pour : Concepts de langages informatiques, Imagerie numérique.

Nombre de crédits ECTS : 3

Pré-requis : technologie des ordinateurs
Mode d’évaluation : examen écrit
Session d’examen : juin - septembre

86
OUTILS FORMELS DE MODÉLISATION 12X005

D. BUCHS, pas

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Objectifs

Ce cours introduit les concepts et les techniques qui permettent de modéliser formellement des systèmes
informatiques dynamiques et discrets. L’accent sera mis sur les concepts fondamentaux des modèles
existants et leurs propriétés formelles. La vérification des propriétés des systèmes modélisés au moyen de
techniques algorithmiques et de mécanismes de raisonnement symbolique sera également abordée.

Contenu

Les outils mathématiques élémentaires seront introduits et ensuite différents modèles fondamentaux
seront abordés parmi les sujets suivants :

1. Réseaux de Petri : formalisation, propriétés, graphes de marquage, graphes de couverture, utilisation

de l’algèbre linéaire, invariants, extensions temporelles et extensions colorées.
2. Introduction à la logique (propositionnelle et du 1er ordre) et aux preuves : syntaxe, sémantique,
formes normales, preuves, théorie des séquents de Gentzen .

Documentation : Liste d’ouvrages de référence et notes de cours.

Préparation pour : Génie logiciel.

Nombre de crédits ECTS : 5

Pré-requis : néant
Mode d’évaluation : examen oral
Session d’examen : février - septembre

87
PHYSIQUE GÉNÉRALE 11P090

A. BLONDEL, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 4 - 4
par semaine
Nombre d’heures 56 - 56
par semestre

Objectifs

Ce cours doit permettre aux étudiants d’acquérir une connaissance de base des lois fondamentales de la
physique à travers les grands domaines de la physique classique ainsi que certains aspects de la physique
moderne.

Contenu

Introduction à la physique, cinématique, lois de Newton, dynamique, statique, gravitation, rotation,

énergie mécanique, les solides, les fluides, oscillations et ondes mécaniques, le son, propriétés thermiques
de la matière, chaleur et thermodynamique.

References

Physique, Eugène Hecht, De Boeck Université.

Physique générale (3 volumes), D.C. Giancoli, De Boeck Université.
Physique (3 volumes), D. Halliday, R. Resnick, J. Walker, Ed. Dunod.

Nombre de crédits ECTS : math 5, math-info 4

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : février - septembre

88
PHYSIQUE GÉNÉRALE 11P091
C. SENATORE, pas

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 4 - 4
par semaine
Nombre d’heures 56 - 56
par semestre

Objectifs

Ce cours doit permettre aux étudiants d'acquérir une connaissance de base des lois fondamentales de la
physique à travers les grands domaines de la physique classique ainsi que certains aspects de la physique
moderne.

Contenu

Electrostatique, électrodynamique, magnétisme, induction électromagnétique. circuits, courant continu et

alternatif, ondes électromagnétiques, propagation de la lumière, optique géométrique, optique
ondulatoire, relativité restreinte, origines de la physique moderne, théorie quantique.

References

Physique, Eugène Hecht, De Boeck Université.

Physique générale (3 volumes), D.C. Giancoli, De Boeck Université.
Physique (3 volumes), D. Halliday, R. Resnick, J. Walker, Ed. Dunod.

Nombre de crédits ECTS : math 5, math-info 4

Pré-requis : néant
Mode d’évaluation : examen écrit
Sessions d’examen : juin - septembre

89
PRINCIPES DE FONCTIONNEMENT DES ORDINATEURS 11X006
(anciennement Technologies des ordinateurs)

G. Di MARZO, po

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 1 3
par semaine
Nombre d’heures 28 14 42
par semestre

Objectifs

Introduction à la pensée informatique

A la fin de ce cours, les étudiants connaissent le fonctionnement d’un ordinateur, sont familiarisés avec la
notion de langage de programmation et d’algorithmes, ainsi que l’encodage des données.

Contenu

Les systèmes d’information et les services basés sur la technologie nécessitent des calculs
computationnels effectués par des ordinateurs. Ce cours décrit les principes fondamentaux de
l’architecture des ordinateurs tels qu’on les connaît aujourd’hui, et passe en revue les éléments clés de
leur fonctionnement, comme les langages de programmation, les algorithmes, et l’encodage des données.

1. Architecture des Ordinateurs (Von Neumann).

2. Algorithmique de base, langages de programmation divers et compilateurs.
3. Fondements théoriques (Turing).
4. Encodage des données.

Documentation : Architecture et Technologie des Ordinateurs. P. Zanella, Y. Ligier, Dunod.

Understanding Networked Multimedia : Applications and Technologies. F. Flückiger, Prentice Hall.

Nombre de crédits ECTS : 4

Pré-requis : néant
Préparation pour : logiciels et réseaux informatiques
Mode d’évaluation : TP évalués et examen écrit : questions théoriques et pratiques à livre fermé, 3h
Session d’examen : février - septembre

90
PROGRAMMATION DES SYSTÈMES 12X006

P. LEONE, mer

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 2 2 4
par semaine
Nombre d’heures 28 28 56
par semestre

Objectifs

L'objectif de ce cours est de présenter les aspects matériels des systèmes informatiques du point de vue du
programmeur. Les travaux pratiques permettent de mettre en oeuvre les concepts abordés au cours en
pratiquant la programmation de bas niveau en langages C et assembleur.

Contenu

1. Architecture des systèmes informatiques : notion des bus, mémoires, plan d’adressage.
2. Systèmes d’interruptions : interruptions vectorisées, systèmes d’interruption du
mprocesseur ARM7.
3. Jeu d’instruction du processeur ARM7TDMI.
4. Programmation de périphériques spécifiques : timers, DMA, graphiques.
5. Optimisation des programmes et performances.

Documentation : liste d’ouvrages de référence et notes de cours.

Nombre de crédits ECTS : 5

Pré-requis : technologie des ordinateurs, logiciels et réseaux informatiques.
Mode d’évaluation : examen oral ou contrôle continu.
Sessions d’examen : juin - septembre

91
STRUCTURE DE DONNÉES 11X005

S. MARCHAND-MAILLET, pas

Semestre de printemps

Cours Exercices TP TOTAL

Nombre d’heures 4 2 6
par semaine
Nombre d’heures 56 28 84
par semestre

Objectifs

Ce cours a pour but d'initier les étudiants à une méthodologie formelle à travers la modélisation d’un
panorama de structures de données complexes.

Contenu

1. Formalisme, outils basiques de modélisation.

2. Types abstraits, notion de pointeur.
3. Structures dynamiques fondamentales : chaînes, anneaux, piles, files d’attente, listes
généralisées, arbres, graphes.
4. Algorithmes de construction, de parcours et de manipulation.
5. Transformation de clés et « hash-coding ».
6. Structures complexes : fichiers séquentiels indexés et B-arbres.

Pour les travaux pratiques, voir « Laboratoire de programmation ».

Documentation : Livre support de cours et liste d’ouvrage de référence.
Préparation pour : Langages informatiques .

Nombre de crédits ECTS : 6

Pré-requis : introduction à la programmation des algorithmes
Mode d’évaluation : examen écrit
Session d’examen : juin - septembre

92
SYSTÈMES INFORMATIQUES - Fonctionnalités 12X009

G. CHANEL, ass
J.-L. FALCONE, cs

Semestre d’automne

Cours Exercices TP TOTAL

Nombre d’heures 2 2 1 5
par semaine
Nombre d’heures 28 28 14 70
par semestre

Objectifs

Utilisation et compréhension du fonctionnement d’un système d’exploitation et de la représentation des

données qu’il met en oeuvre.
Introduction aux API permettant d’accéder aux fonctionnalités des systèmes d’exploitation et à la
programmation d’applications les utilisant.

Contenu

1. Concepts fondamentaux du système Unix.

2. Ligne de commande et scripts shell.
3. Introduction au langage C.
4. Fichiers et disques.
5. Entrées/sorties.
6. Processus.
7. Communication entre processus.
8. Signaux.

Documentation : support de cours en ligne

Préparation pour : Programmation des systèmes, Parallélisme, développement informatique.

Nombre de crédits ECTS : 5

Pré-requis : structure de données, introduction à la programmation des algorithmes
Mode d’évaluation : examen oral (1/2) + travaux pratiques (1/2)
Session d’examen : février - septembre

93
 SÉMINAIRES AVANCÉS

NUMERO SEMINAIRE ENSEIGNANT CREDITS

ECTS
15M711 Algèbres, Géométrie et M. Bucher-Karlsson, A. Karlsson, 10
Combinatoire P. de la Harpe
15M740 Analyse numérique M. Gander, B. Vandereycken 10
G. Vilmart,
15M746 Fables géométriques G. Mikhalkin 10
15M710 Groupes de Lie et Espaces de A. Alekseev, A. Szenes 10
modules
15M747 Groupes et Géométrie A. Karlsson, P. de la Harpe, 10
T. Smirnova-Nagnibeda
15M745 Mathématique physique S. Smirnov, H. Duminil-Copin 10
14P709 Physique mathématique P. Wittwer 10
15M736 Séminaire « de la Tortue » A. Szenes 10
15M735 Topologie et Géométrie D. Cimasoni, R. Kashaev, V. Quach 10
Hongler, P. Turner, C. Weber

94
 COURS À OPTION
Pour les candidats au Baccalauréat universitaire en
mathématiques

En 2015/2016, les candidats au Baccalauréat choisissent, comme cours à option prévus aux plans
d’études, deux cours semestriels ou un cours annuel de 2 à 3 heures hebdomadaires dans les disciplines
suivantes :

1. Histoire et philosophie des sciences.

2. Informatique.
3. Physique.
4. Econométrie (cours du Master en statistiques).

La liste des cours à option se trouve sous : [Link]/math/enseignement/[Link]

CE CHOIX DOIT ÊTRE AGRÉÉ PAR LES ENSEIGNANTS RESPONSABLES ET PAR LE CONSEILLER AUX
ETUDES DE LA SECTION DE MATHÉMATIQUES AU DÉBUT DE L’ANNÉE.

95
 COURS AVANCÉS
pour les candidats
au Baccalauréat universitaire 3ème année et à la
Maîtrise universitaire en mathématiques 1ère année
NUMERO COURS SEMESTRE ENSEIGNANT CREDITS
ECTS
13M010A/P Algèbre et géométrie III* Annuel G. Mikhalkin 10
14M169 Algèbres de Hopf Automne R. Kashaev 5
13M020A/P Analyse III * Annuel A. Bytsko 10
14M115 Analyse numérique des Automne M. Gander 5
équations aux dérivées partielles
14M165 Brownian Motion and stochastic Automne D. Chelkak 5
calculus**/MASTER CLASS
14M167 Conformal invariance of lattice Printemps S. Smirnov 5
models**/MASTER CLASS
14M168 Geometric representations of Automne H. Duminil-Copin 5
lattice models**/MASTER
CLASS
14M158 Intégration numérique Automne G. Vilmart 5
géométrique et raide des
équations différentielles
14M176 Introduction à la topologie Printemps S. Monnier 5
algébrique
14M164 Introduction to statistical Automne Y. Velenik 5
mechanics**/MASTER
CLASS
14M161 Lie Algebras and their Printemps A. Bytsko 5
representations
14M177 L'informatique au service des Printemps P.-A. Chérix 5
maths et de son enseignement
14M166 Martingales and Markov Automne N. N. 5
processes**/MASTER CLASS
14M080 Méthodes élémentaires Automne A. Alekseev 5
14M154 Méthodes géométriques et Printemps T. Smirnova- 5
asymptotiques en théorie des Nagnibeda
groupes
14M174 Modular forms Automne A. Szenes 5
14M160 Numerics of low-rank tensor Printemps B. Vandereycken 5
techniques
14M155 On various aspects of the dimer Printemps D. Cimasoni 5
and Ising models**/MASTER
CLASS
14M163 Pavages et symétries Printemps M. [Link] 5
14M159 Quantum Field theory for Printemps A. Alekseev 5
mathematicians II
14M173 Random planar Printemps N. N. 5
maps**/MASTER CLASS

96
14M172 Schramm-loewner Evolution Automne W. Werner 5
and Gaussian Free
Field**/MASTER CLASS
14M162 Statistiques et optimisation Automne S. Sardy 5
14M170 Surfaces de Riemann Automne P. Severa 5
14M175 Théorie analytique des nombres Printemps Y.-F. Petermann 5
14M156 Théorie des champs pour les Automne M. Marino 5
mathématiciens
14M132 Théorie des nombres Printemps A. Karlsson 5
14M157 Topics in geometric topology Automne G. Mikhalkin 5

* : cours de Baccalauréat uniquement.

** : cours de Master class pouvant être choisis comme cours avancés par les étudiants de
Maîtrise.

97
 COURS AVANCÉS
pour les candidats
au Baccalauréat universitaire 3ème année et à la
Maîtrise universitaire 1ère année en mathématiques et
sciences informatiques
NUMERO COURS SEMESTRE ENSEIGNANT CREDITS
ECTS
13M010A/P Algèbre et géométrie III* Annuel G. Mikhalkin 10
14M169 Algèbres de Hopf Automne R. Kashaev 5
14X001 Algorithmes distribués pour Printemps J. Rolim 5
réseaux de capteurs sans fils*** M. Angelopoulos
14X002 Algorithmes parallèles*** Printemps B. Chopard 5
14X026 Analyse et traitement de Automne S. Marchand-Maillet, 5
l’information*** S. Voloshynovskyy
13M020A/P Analyse III * Annuel A. Bytsko 10
14M115 Analyse numérique des équations Automne M. Gander 5
aux dérivées partielles
14M165 Brownian Motion and stochastic Automne D. Chelkak 5
calculus**/MASTER CLASS
13X001 Compilateurs et interprètes Automne D. Buchs 5
G. Bologna
14M167 Conformal invariance of lattice Printemps S. Smirnov 5
models**/MASTER CLASS
14X010 Elements of multiuser Printemps S. Voloshynovskyy 5
information theory and wireless T. Holotyak
communications***
13X003 Génie logiciel Automne D. Buchs, 5
P. Dugerdil
14M168 Geometric representations of Automne H. Duminil-Copin 5
lattice models**/MASTER
CLASS
13X004 Imagerie numérique Annuel T. Pun 10
14M158 Intégration numérique Automne G. Vilmart 5
géométrique et raide des
équations différentielles
13X005 Intelligence artificielle : Automne J. Henderson 5
principes et méthodes
S404061CR Interaction multimodale et Printemps G. Falquet,T. Pun, 5
affective L. Moccozet, P. Roth
14M176 Introduction à la topologie Printemps S. Monnier 5
algébrique
14M164 Introduction to statistical Automne Y. Velenik 5
mechanics**/MASTER CLASS

98
 14M161 Lie Algebras and their Printemps A. Bytsko 5
representations
14M177 L'informatique au service des Printemps P.-A. Chérix 5
maths et de son enseignement
14M166 Martingales and Markov Automne N. N. 5
processes**/MASTER CLASS
14X013 Métaheuristiques pour Automne B. Chopard 5
l’optimisation
14M080 Méthodes élémentaires Automne A. Alekseev 5
14M154 Méthodes géométriques et Printemps T. Smirnova- 5
asymptotiques en théorie des Nagnibeda
groupes
14X015 Modélisation et simulation de Printemps B. Chopard, J. Lätt 5
phénomènes naturels*** J.-l Falcone,
O. Malaspinas
14X023 Modélisation et vérification de Printemps D. Buchs 5
logiciels***
14M174 Modular forms Automne A. Szenes 5
14M160 Numerics of low-rank tensor Printemps B. Vandereycken 5
techniques
14M155 On various aspects of the dimer Printemps D. Cimasoni 5
and Ising models**/MASTER
CLASS
14X014 Outils formels avancés*** Printemps D. Buchs 5
13X007 Parallélisme Automne B. Chopard 5
14M163 Pavages et symétries Printemps M. [Link] 5
14M159 Quantum Field theory for Printemps A. Alekseev 5
mathematicians II
14M173 Random planar Printemps N. N. 5
maps**/MASTER CLASS
14X011 Recherche d’Information*** Printemps S. Marchand-Maillet 5
13X009 Réseaux informatiques Automne P. Leone 5
14M172 Schramm-Loewner Evolution Automne W. Werner 5
and Gaussian Free
Field**/MASTER CLASS
14X021 Sécurité des systèmes Printemps E. Solana 5
d’information***
14X016 Sécurité et confidentialité de Printemps S. Voloshynovksyy, 5
multimédia*** T. Holotyak
14M162 Statistiques et optimisation Automne S. Sardy 5
14M170 Surfaces de Riemann Automne P. Severa 5
14M175 Théorie analytique des nombres Printemps Y.-F. Petermann 5
14M156 Théorie des champs pour les Automne M. Marino 5
mathématiciens
14M132 Théorie des nombres Printemps A. Karlsson 5
14M157 Topics in geometric topology Automne G. Mikhalkin 5

En italique : cours d’informatique

* : cours de Baccalauréat uniquement.
** : cours de Master class pouvant être choisis comme cours avancés par les étudiants de
Maîtrise.
*** : cours de Maîtrise uniquement.
99
 ENSEIGNEMENT POSTGRADE
EN MATHÉMATIQUES

PROGRAMME DOCTORAL
EN MATHÉMATIQUES
ET
EN STATISTIQUE ET PROBABILITES APPLIQUEES
Des informations plus précises sur les programmes doctoraux sont données
sur le site [Link]

100
NOTES

101
 INDEX ALPHABÉTIQUE DES ENSEIGNEMENTS

CODE ENSEIGNEMENT PAGE

13M010A/P ALGÈBRE ET GÉOMÉTRIE III 30/31
11M010/011 ALGÈBRE I 7/8
12M010 ALGÈBRE II 17
14M169 ALGÈBRES DE HOPF 29
12X001 ALGORITHMIQUE 79
11M020/021 ANALYSE I 9/10
12M020A/P ANALYSE II - Analyse complexe 18/19
12M025/026 ANALYSE II - Analyse réelle 20/21
13M020A/P ANALYSE III 32/33
12M040 ANALYSE NUMÉRIQUE 22
14M115 ANALYSE NUMÉRIQUE DES EQUATIONS AUX 34
DÉRIVÉES PARTIELLES
11M004/11M904 BIOSTATISTIQUES I 69/70
14M165 BROWNIAN MOTION AND STOCHASTIC CALCULUS 53
11X008 COMPLEXITÉ ET CALCULABILITÉ 80
12X003 CONCEPTS ET LANGAGES ORIENTÉS OBJETS 81
14M167 CONFORMAL INVARIANCE OF LATTIC MODELS 54
12X004 ÉLÉMENTS DE LA THÉORIE DE L’INFORMATION 82
14M168 GEOMETRIC REPRESENTATIONS OF LATTICE 55
MODELS
11M030/031 GÉOMÉTRIE I 11/12
12M030A/P GÉOMÉTRIE II 23/24
14M158 INTÉGRATION NUMÉRIQUE GÉOMÉTRIQUE ET RAIDE 35
DES ÉQUATIONS DIFFÉRENTIELLES
12X013 INTRODUCTION À L'INFORMATIQUE 83
11X001 INTRODUCTION À LA PROGRAMMATION DES 84
ALGORITHMES
14M176 INTRODUCTION A LA TOPOLOGIE ALGÉBRIQUE 36
14M164 INTRODUCTION TO STATISTICAL MECHANICS 56
14M161 LIE ALGEBRAS AND THEIR REPRESENTATIONS 37
14M177 L’INFORMATIQUE AU SERVICE DES MATHS ET DE 38
SON ENSEIGNEMENT
11M050 LABORATOIRE DE PROGRAMMATION 13
MATHÉMATIQUE
11X003 LANGAGES FORMELS 85
11X004 LOGICIELS ET RÉSEAUX INFORMATIQUES 86
14M166 MARTINGALES AND MARKOV PROCESSES 57
11M000 MATHÉMATIQUES GÉNÉRALES 71
11M003 MATHÉMATIQUES GÉNÉRALES - ANALYSE 72
11M002 MATHÉMATIQUES GÉNÉRALES - STATISTIQUES 73
11M005 MATHÉMATIQUES POUR INFORMATICIENS 74
14M080 MÉTHODES ÉLÉMENTAIRES 39
14M154 MÉTHODES GÉOMÉTRIQUES ET ASYMPTOTIQUES EN 40
THÉORIE DES GROUPES
14M174 MODULAR FORMS 41
102
14M160 NUMERICS OF LOW-RANK TENSOR TECHNIQUES 42
14M155 ON VARIOUS ASPECTS OF THE DIMER AND ISING 58
MODELS
12X005 OUTILS FORMELS DE MODÉLISATION 87
14M163 PAVAGES ET SYMÉTRIES 43
11P090/091 PHYSIQUE GÉNÉRALE 88/89
11X006 PRINCIPES DE FONCTIONNEMENT DES ORDINATEURS 90
12M061 PROBABILITÉS ET STATISTIQUE - pour informaticiens 75
12M060A/P PROBABILITÉS ET STATISTIQUE - pour mathématiciens 25/26
12X006 PROGRAMMATION DES SYSTÈMES 91
14M159 QUANTUM FIELD THEORY FOR MATHEMATICIANS II 44
14M173 RANDOM PLANAR MAPS 59
14M172 SCHRAMM-LOEWNER EVOLUTION AND GAUSSIAN 60
FREE FIELD
13M761 SÉMINAIRE ALGÈBRE-GÉOMÉTRIE 63
15M711 SÉMINAIRE ALGÈBRES, GÉOMÉTRIE ET 94
COMBINATOIRE
15M740 SÉMINAIRE D’ANALYSE NUMÉRIQUE 94
15M736 SÉMINAIRE DE LA TORTUE 94
15M745 SÉMINAIRE DE MATHÉMATIQUE PHYSIQUE 94
14P709 SÉMINAIRE DE PHYSIQUE MATHÉMATIQUE 94
13M762 SÉMINAIRE DE THÉORIE DES NOMBRES 64
15M746 SÉMINAIRE FABLES GÉOMÉTRIQUES 94
15M710 SÉMINAIRE GROUPES DE LIE ET ESPACES DE 94
MODULES
15M747 SÉMINAIRE GROUPES ET GÉOMÉTRIE 94
13M760 SÉMINAIRE THÉORIE MATHÉMATIQUE DES JEUX 65
15M735 SÉMINAIRE TOPOLOGIE ET GÉOMÉTRIE 94
14M162 STATISTIQUES ET OPTIMISATION 45
11X005 STRUCTURE DE DONNÉES 92
14M170 SURFACES DE RIEMANN 46
12X009 SYSTÈMES INFORMATIQUES - Fonctionnalités 93
14M175 THÉORIE ANALYTIQUE DES NOMBRES 47
14M156 THÉORIE DES CHAMPS POUR LES MATHÉMATICIENS 48
14M132 THÉORIE DES NOMBRES 49
14M157 TOPICS IN GEOMETRIC TOPOLOGY 50

103
104