Archive 2019

Tous les cours

Architecture des systèmes de base de données

2 ECTS, semestre 1

PrérequisBase de données avancées
ValidationCC+examen
EnseignantE. Fuchs
Horaires hebdomadaires 2 h CM , 1 h TD

Syllabus

Maîtriser la planification l'exécution et l'optimisation de requêtes. Savoir-faire attendu d'un architecte de données

Algorithmique et complexité

9 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantArnaud Durand
Horaires hebdomadaires 3 h CM , 4 h TD

Syllabus

Consolidation des connaissances en algorithmique, connaissance des rudiments de la complexité et des approches algorithmiques classiques.

Le cours est en partie mutualisé avec le master Math-Info.

  • les étudiants du M1 mathématiques suivent les deux parties du cours (sur 12 semaines)
  • les étudiants du M1 mathématiques-informatique suivent la seconde partie du cours (sur les 8 dernières semaines). Les étudiants de cette filière peuvent néanmoins suivre la première partie s'ils le désirent.

Arithmétique

6 ECTS, semestre 2

PrérequisAlgèbre
ValidationCC+examen
Enseignant
Horaires hebdomadaires 4 h CM , 6 h TD

Statistiques fondamentales

6 ECTS, semestre 2

PrérequisProbabilités
ValidationCC+examen
EnseignantStéphane Boucheron
Horaires hebdomadaires 4 h CM , 5 h TD

Syllabus

La statistique mathématique permet d'ajuster un modèle probabiliste aux observations effectuées sur un phénomène. Ce modèle ajusté peut être utilisé pour expliquer (physique, ...), déterminer des causes (santé, ...), évaluer des risques (assurance, environnement, ...), ou prédire (notations, décision, ...). Ce cours introduit la statistique mathématique dans cette perspective. A l'issue de ce cours, vous saurez

  • Construire un modèle statistique.
  • Construire et valider un estimateur.
  • Réaliser un test binaire.
  • Choisir et valider un modèle.

Le cours s'appuie sur un environnement de calcul statistique (R ou Python)

Théorie de l'information

6 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantAntoine Chambert-Loir
Horaires hebdomadaires 2 h CM , 3 h TD

Syllabus

Le cours s'articule autour de trois résultats fondateurs de Claude Shannon. Ce sont trois théorèmes mathématiques portant sur des problèmes de numérisation optimale et de transmission de l'information.

Le premier théorème s'intéresse à la compression des données : si on veut numériser un document, il est intuitivement clair qu'on va gagner en espace de stockage en codant de façon plus courte les caractères les plus fréquents et de façon plus longue les moins fréquents. Cette fréquence des caractères nous fera introduire le langage des probabilités et d'entropie de Shannon.

Le deuxième théorème s'intéresse à la transmission (ou stockage) sans pertes des données. On démontre qu'en introduisant un peu de redondance dans un document numérisé, on peut le retrouver malgré la perte aléatoire d'une partie de l'information. C'est encore ici le langage des probabilités qui est utilisé. En plus de l'entropie, apparaît ici la notion de capacité d'un canal de transmission.

Le troisième est le théorème d'échantillonnage. Une information peut être une fonction d'une variable réelle. Le théorème d'échantillonnage nous explique comment, en prenant la valeur de cette fonction en un nombre fini de points, on peut reconstruire l'information. On tient compte pour cela des fréquences de notre fonction. L'analyse faite ici est basée sur la théorie des séries de Fourier.

Théorie descriptive des ensembles

8 ECTS, semestre 2

Prérequis
Validationexamen
EnseignantDominique Lecomte
Horaires hebdomadaires 4 h CM

Syllabus

En théorie descriptive des ensembles classique, on s’intéresse aux ensembles apparaissant naturellement dans divers domaines des mathématiques, notamment l’analyse fonctionnelle, l’analyse harmonique, les systèmes dynamiques ou encore la théorie des groupes. Un des objectifs est d’étudier leur complexité topologique. Par exemple, on peut classifier les sous-ensembles boré́liens des réels selon le nombre d’étapes qui sont nécessaires pour les obtenir à partir d’ensembles ouverts en effectuant des unions dénombrables et des passages au complémentaire.

Le cadre général est celui des espaces topologiques polonais, où le théorème de Baire est un outil puissant. On s’intéressera d’abord aux sous-ensembles boréliens des espaces polonais, dont on verra qu’ils sont naturellement hiérarchisés par les ordinaux dénombrables. Ensuite viennent les images via une application borélienne de boréliens (ensembles analytiques) et leurs complémentaires (ensembles co-analytiques). On verra notamment une méthode permettant de montrer qu’un ensemble est co- analytique mais non borélien.

Le cours se terminera par une introduction à la théorie descriptive effective des ensembles et à ses applications. Un de ses outils très puissants est la topologie de Gandy-Harrington, et nous établirons ses propriétés permettant son utilisation dans la preuve de nombreux résultats de dichotomie. Nous détaillerons trois exemples, les dichotomies d’Hurewicz, Silver et Kechris-Solecki-Todorčević. Nous énoncerons d’autres exemples plus récents, en détaillant suivant le temps disponible.

Analyse des données

6 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantClément Levrard
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

Les données sont des résultats d'expériences ou d'enquêtes mesurés, observés, sur un certain nombre d’individus. Il s'agit soit de nombres (variable quantitative), soit de codes (variable qualitative). L’analyse des données est un outil perfectionné de statistique descriptive, qui consiste à étudier un jeu de données individus x variables en recherchant notamment s'il existe des relations entre individus et entre variables. On peut distinguer 3 groupes de méthodes : la statistique descriptive classique qui permet l’étude d'une ou deux variables observées sur un ensemble d'individus, des analyses portant sur des nuages de points de plus grande dimension, ainsi que la classification automatique consistant à regrouper des individus en catégories homogènes relativement à tel ou tel critère. Comme les tableaux de données peuvent être très grands en pratique, ce qui nécessite des calculs sur ordinateurs, le module comprend des séances de Travaux Pratiques avec le logiciel R.

Parcours algèbres d’opérateurs, théorie géométrique et mesurée des groupes

9 ECTS, semestre 1

Prérequiscours algèbres d'opérateurs I et II
Validationexamen
EnseignantFrançois Le Maître
Horaires hebdomadaires 4 h CM

Syllabus

Ce cours est le troisième volet d'un parcours explorant les liens profond existant entre les algèbres d’opérateurs, la théorie géométrique et la théorie mesurée des groupes discrets dénombrables. Les algèbres d’opérateurs, introduites par Murray et von Neumann entre 1940 et 1950 dans l’optique de formaliser les concepts de la mécanique quantique, ont connu des progrès spectaculaires, en lien avec la théorie ergodique et la théorie des groupes, ces 15 dernières années. Ce parcours présentera quelques uns de ces résultats très récents ainsi que les techniques modernes qui permettent de les obtenir.

Ce troisième cours portera sur les sous algèbres abéliennes maximales d’une algèbre de von Neumann finie. On étudiera en détail le lien entre ces dernières et les actions préservant une mesure de probabilité de groupes dénombrables. Plusieurs résultats profonds, tels que l’unicité de la Cartan dans le facteur hyperfini II1 (Connes-Feldman-Weiss, 1981) et la trivialité du groupe fondamental de L(SL2(Z)nZ2) (Popa, 2001), seront démontrés.

Logique

9 ECTS, semestre 1

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 3 h CM , 4 h TD

Optimisation pour l'apprentissage

3 ECTS, semestre 1

PrérequisOptimisation M1
ValidationCC+examen
EnseignantGuillaume Garrigos
Horaires hebdomadaires 2 h CM

Syllabus

Maîtrise des techniques d'optimisation utilisées en Machine Learning

Stage ou TPE

3 ECTS, semestre 2

PrérequisR ou Python
ValidationCC+examen
EnseignantGrbac, Frikha

Syllabus

Travail personnel sur une méthode statistique ou une méthode de Mathématiques financières. Exploration de données concrètes. Choix, développement et ajustement d'un modèles. Rédaction d'un rapport.

Théorie des modèles : Outils classiques

8 ECTS, semestre 2

PrérequisEn plus des notions de théorie des modèles du cours du premier semestre, des notions que l’on apprend typiquement au cours de la licence de mathématiques pourront être utiles pour comprendre les exemples et les applications.
Validationexamen
EnseignantTamara Servi
Horaires hebdomadaires 4 h CM

Syllabus

Ce cours sera une continuation naturelle du cours de théorie des modèles du premier semestre : au premier semestre, étant donnée une L-structure M, vous allez identifier les L-énoncés qui sont vrais dans M (i.e. la théorie de M). Inversement dans ce cours, étant donnée une L-théorie complète T, nous allons classifier ses modèles à isomorphisme près.

Anglais

3 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantUFR Eila
Horaires hebdomadaires 2 h TD

Syllabus

Le programme est organisé autour de tâches relevant des activités langagières définies dans le Cadre européen commun de référence pour les langues (CECR)

  • la réception (écouter, lire)
  • la production (s'exprimer oralement en continu, écrire)
  • l'interaction (prendre part à une discussion)
  • la médiation (agir comme un acteur social qui construit, transmet du sens)

La théorie du corps de classes 2

9 ECTS, semestre 1

PrérequisCours I
Validationexamen
EnseignantPierre-Henri Chaudouard
Horaires hebdomadaires 4 h CM , 2 h TD

Syllabus

Le but du cours est d’énoncer les principaux résultats de la « théorie du corps de classes » et d’en donner une démonstration aussi complète que possible dans le temps imparti. Le but de cette théorie est d’obtenir une description des extensions abéliennes d’un corps local ou global en terme de l’arithmétique de ce corps. Le contenu du cours sera utile à tout étudiant intéressé par la théorie des nombres, la géométrie arithmétique ou les formes automorphes.

Mathématiques de l'Assurance

3 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantSimone Scotti

Syllabus

Ce cours entend fournir aux étudiants les principes de base des mathématiques de l'assurance. Dans ce cours, on aborde la théorie économique à la base des choix d'assurance, les méthodes de calcul des primes, les mesures de risque et la détermination de la marge de solvabilité ainsi que du capital économique.

Cryptographie symétrique

3 ECTS, semestre

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 20 h CM , 30 h TP

Syllabus

Ce cours a pour but de comprendre les protocoles de la cryptologie symétrique et d'assimiler les notions de complexité dans une pratique réelle de la cryptologie.

Introduction à la géométrie algébrique

6 ECTS, semestre 2

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 4 h CM , 6 h TD

Syllabus

La géométrie algébrique est l'étude des « objets » géométriques définis par des équations polynomiales. Un premier chapitre du cours reprend donc l'étude de l'anneau des polynômes en plusieurs variables et expose en particulier la correspondance entre algèbre (idéaux radicaux) et géométrie (parties fermées pour la topologie de Zariski) lorsque le corps de base est algébriquement clos. Le cours se poursuit avec l'introduction de l'espace projectif. À ce stade de l'élaboration du programme, les deux derniers chapitres sont des propositions. La première exposerait la théorie des courbes planes et notamment le théorème de Bézout sur le nombre de points d'intersection de deux courbes. La seconde introduirait des rudiments de géométrie algébrique réelle, où un phénomène nouveau apparaît.

Théorie des ensembles

4 ECTS, semestre 1

Prérequis
Validationexamen
EnseignantFrançois Le Maître
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

  • ordinaux, récurrence transfinie ;
  • axiome du choix et énoncés équivalents ;
  • arithmétique des cardinaux infinis ; cofinalité, cardinaux réguliers et singuliers, théorème de König ;
  • la hiérarchie de von Neumann, théorèmes de réflexion ;
  • filtres et ultrafiltres, ensembles stationnaires dans $\omega_1$, lemme de Fodor ;
  • relations bien fondées et collapse de Mostowski ;
  • quelques éléments de la théorie descriptive.

Analyse des données

6 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantStéphane Boucheron
Horaires hebdomadaires 2 h CM , 3 h TP

Syllabus

Mettre en œuvre les méthodes d’exploration classique: régression, réduction de dimension, classification. Usage des outils de visualisation et de manipulation de données (R/Python)

Probabilités et Extrêmes

9 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantB. Laslier, S. Péché
Horaires hebdomadaires 8 h CTD

Syllabus

L'objectif du cours de "probabilités et extrêmes" est de donner les bases mathématiques fondamentales pour l'étude ultérieure de modèles stochastiques, de modèles du risque et des questions de modélisation aléatoire ou statistique. Les outils probabilistes fondamentaux sont présentés dans ce cours (vecteurs gaussiens, loi conditionnelle, théorie des martingales, théorie des valeurs extrêmes, chaines de Markov). Ils sont un prérequis fondamental à l'étude des processus en temps continu comme les processus de Poisson et le calcul stochastique.

Théorie homotopique des types

8 ECTS, semestre 2

PrérequisLa participation aux cours d'introduction à la programmation et la preuve formelle en Coq, ou la maîtrise des notions correspondantes, est un prérequis pour ce cours.
Validationexamen
EnseignantHugo Herbelin
Horaires hebdomadaires 4 h CM

Syllabus

Théorie des types de base:

  • Système de types purs
  • Théorie des types de Martin-Löf
  • Calcul des constructions inductives
  • La correspondance preuve/programme
  • Discernabilité et indiscernabilité des preuves − Types inductifs et coinductifs
  • Extensionalité en théorie des types

Théorie des types homotopique :

  • La correspondance type/espace, égalité/chemin
  • Concepts homotopiques en théorie des types (espaces contractibles, h-niveaux, univalence, systèmes de factorisation faibles, fibrations, cofibrations)
  • Type inductifs supérieurs (sphères, quotients, troncations,...)
  • Axiome du choix et logique classique en théorie des types homotopique

Modèles :

  • Catégories de famille
  • Théorie des types cubique − Traductions internes
  • ω-groupoïdes
  • Complexes de Kan

Mathématiques financières

6 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantCrista Cucchiero
Horaires hebdomadaires 2 h CM , 4 h TD

Syllabus

  • Pricing d'options Européennes dans un modèle discret à plusieurs périodes; cas du modèle de Cox-Ross-Rubinstein
  • Arrêt optimal et application au pricing d'options Américaines
  • Introduction au mouvement brownien et au calcul stochastique d'Itô.
  • Pricing d'options dans le modèle de Black et Scholes

Anglais

3 ECTS, semestre 4

Prérequis
ValidationCC+examen
EnseignantJ. Murat
Horaires hebdomadaires 2 h TD

Algèbre

9 ECTS, semestre 1

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 3 h CM , 4 h TD

Syllabus

Ce cours d'algèbre se concentre sur trois aspects :

  • étude approfondie de la divisibilité dans les anneaux (anneaux factoriels, notamment) ;
  • modules de type fini sur un anneau principal, application à l'algèbre linéaire ($K[T]$-modules) et aux groupes abéliens de type fini ($\mathbb{Z}$-modules) ;
  • représentations linéaires des groupes finis.

À ce niveau, il est intéressant de :

  • donner des exemples sophistiqués — par exemple, pour les algèbres
    • corps non commutatifs (quaternions de Hamilton),
    • algèbre d'un groupe pour le produit de convolution (sous diverses formes, algébrique $K^{(G)}$, mesures de probabilité, algèbres des fonctions intégrables sur $\mathbb{R}$, éventuellement périodiques...)
  • mettre en évidence les propriétés universelles de certaines constructions ;
  • éventuellement, mettre en place le vocabulaire catégorique ;
  • dans une direction opposée, expliquer aussi des méthodes algorithmiques pour effectuer certaines opérations algébriques (déterminer un générateur d'un groupe cyclique dont on connaît le cardinal, par exemple, ou bien une base d'un $\mathbb{Z}$-module, par opérations sur les lignes...)

Théorie des Catégories

4 ECTS, semestre 1

Prérequis
Validationexamen
EnseignantFrancois Metayer
Horaires hebdomadaires 2 h CM

Syllabus

Le cours présente les concepts fondamentaux de la théorie des catégories, illustrés de nombreux exemples. L’objectif essentiel est préparer l’accès aux applications actuelles des catégories en logique, en informatique théorique et en théorie de l’homotopie.

Data mining

6 ECTS, semestre 2

PrérequisNotions de base en probabilités, statistique, analyse des données, ou cours de la semaine de rentrée du M2 ISIFAR.
ValidationCC+examen
EnseignantAurélie Fischer

Syllabus

Le cours de Data Mining a pour objectif de présenter différentes techniques d'apprentissage supervisé (en classification et en régression) et non supervisé. L'apprentissage statistique désigne un ensemble de méthodes et d'algorithmes permettant d'extraire des informations pertinentes d'un ensemble de données et d'apprendre des comportements à partir d'exemples.

Théorie des modèles des corps pseudo-finis

8 ECTS, semestre 2

PrérequisThéorie de Galois. Des rudiments de théorie des modèles et de géométrie algébrique pourront être utiles. Des rappels seront fait en cours, si besoin.
Validationexamen
EnseignantSilvain Rideau
Horaires hebdomadaires 4 h CM

Syllabus

L’étude des propriétés asymptotiques des corps finis, c’est à dire les propriétés vraies dans tous les corps finis suffisamment grands, se fait naturellement par le biais des corps dits pseudo-finis : les modèles infinis de l’ensemble des énoncés vrais dans tous corps finis. Cette classe a été définie et étudiées par Ax et il en a donné une caractérisation algébrique : ce sont les corps parfaits, pseudo- algébriquement clos qui ont exactement une extension de chaque de degré.

Les structures pseudo-finies ont plus récemment joué un rôle déterminant dans l’approche, par la théorie des modèles, de certaines questions combinatoires, entre autre dans les travaux de Hrushovski en combinatoire additive. Ces derniers trouvent une partie de leurs racines dans les résultats de Chatzidakis, van den Dries et Macintyre qui ont donné une description fine des ensembles définissables dans les corps pseudo-finis en exhibant, entre autre, un équivalent pseudo-fini de la mesure de comptage.

Le but de ce cours sera d’introduire les résultats d’Ax et de Chatzidakis-van den Dries- Macintyre ainsi que les notions algébriques nécessaires à leur compréhension. Enfin, on abordera, dans la mesure du possible, des questions liées à la théorie géométrique des modèles comme l’étude des groupes définissables ou des imaginaires ainsi que des questions de classification.

Gestion d'actifs

3 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantAxel Weytens

Syllabus

Ce cours a vocation tout d’abord à fournir aux étudiants les éléments théoriques fondamentaux de l’allocation de portefeuille et de la formation du prix des actifs. Il aborde également les stratégies de gestion de portefeuille mises en œuvre en pratique par les gérants d’actifs et les problématiques qu’elles peuvent soulever en termes de gestion des risques.

Projet de cryptographie

3 ECTS, semestre 2

Prérequis
Validationoral
EnseignantRiccardo Brasca

Syllabus

Le projet est l'occasion de travailler un algorithme ou un protocole cryptographique de manière approfondie, en visant compréhension théorique et mise en œuvre algorithmique.

Les étudiants rédigent un mémoire (~15 pages) et réalisent une implantation informatique dont les performances sont démontrées lors de l'oral de soutenance. Le projet est réalisé en binôme.

Programmation fonctionnelle et preuves formelles en Coq

8 ECTS, semestre 2

Prérequis
Validationprojet
EnseignantPierre Letouzey
Horaires hebdomadaires 2 h CM , 2 h TP

Syllabus

Attention, ce cours aura lieu les 6 dernières semaines du 1er semestre et les 6 premières semaines du 2nd semestre.

Une moitié des heures de ces modules consistera en des cours, l’autre en des TP sur machine. Ces cours se concluront par un projet à réaliser en Coq. Le contenu de ces cours est un prérequis pour le cours de théorie des types homotopiques.

Bases de données

6 ECTS, semestre

Prérequis
ValidationCC+examen
EnseignantArnaud Durand

Syllabus

Ce cours est une introduction aux bases de données à travers l'apprentissage du langage de requêtes SQL et de la modélisation de données dans un modèle relationnel.

Cryptographie asymétrique

3 ECTS, semestre

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 20 h CM , 30 h TP

Syllabus

Ce cours a pour but de comprendre les protocoles de la cryptologie à clé publique et les mathématiques sur lesquelles ils reposent.

Probabilités

6 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantStéphane Boucheron
Horaires hebdomadaires 2 h CM , 3 h TD

Deep learning

3 ECTS, semestre 2

PrérequisMachine Learning
ValidationCC+examen
EnseignantIlaria Giulini
Horaires hebdomadaires 2 h CM

Syllabus

Entrainement et usage des réseaux de neurones profonds

Valorisation et gestion des risques des produits dérivés

3 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantFouad Arrafi

Syllabus

Ce cours se veut le pendant pratique des cours de valorisation proposés dans le master en exposant les difficultés que rencontre le praticien (quant, trader, gérant ou risk manager) dans la valorisation et la gestion des risques de ce type de produits. Notre cas d’étude sera celui des produits hybrides equity/taux et equity/crédit qui concentrent plusieurs difficultés, que ce soit en matière de choix du modèle de valorisation où un arbitrage est constamment présent entre complexité du modèle et adéquation aux risques spécifiques au produit, ou pour la calibration des paramètres pour laquelle des instruments de marché ne sont pas toujours disponibles ou suffisamment liquides. Le cours débutera par un tour d’horizon des profils (payoffs) des produits dérivés et des modèles de valorisation (pricing) correspondants. L’accent sera mis sur l’adéquation entre payoff et modèle de pricing. On abordera ensuite les métriques de gestion quotidienne d’un portefeuille de produits dérivés. Le cours dressera enfin un panorama des tendances qui transforment ce marché, avec le poids croissant de la réglementation, le rôle des chambres de compensation ou la prise en compte des configurations de marché extrêmes dans la gestion des dérivés

Introduction à la géométrie sous-riemannienne

9 ECTS, semestre 1

PrérequisConnaissances de base de géométrie différentielle. Il n’est pas strictement nécessaire d’avoir suivi un cours de géométrie riemannienne.
Validationexamen
EnseignantDavide Barilari
Horaires hebdomadaires 4 h CM

Syllabus

On propose une introduction à la géométrie sous-riemannienne, notamment autour des questions de l'existence, caractérisation et régularité des géodésiques sous-riemanniennes. On introduira notamment le formalisme hamiltonien, qui est le langage naturel pour traiter ce genre de problèmes.

Complexité descriptive : du discret au continu

8 ECTS, semestre 2

PrérequisOn fera l’hypothèse que les étudiants connaissent les bases de la calculabilité (récursion primitive notamment) et de la complexité (P, NP).
Validationexamen
EnseignantOlivier Bournez et Arnaud Durand
Horaires hebdomadaires 4 h CM

Syllabus

L’objectif du cours est de présenter plusieurs point de vue sur la complexité venant de la logique, de la théorie de la récursion ou de l’analyse. Ces approches ont pour point commun de s’abstraire de la notion de machine (et de ses mesures associées comme le temps et l’espace) au profit d’une vision plus descriptive du calcul. Le cours vise notamment à étudier des formalismes logiques sous l’angle de leur pouvoir d’expression et à présenter de multiples caractérisations des classes de complexité usuelles.

Ces approches de le complexité dîtes descriptives ou implicites ont connu des applications importantes en théorie des bases de données, des langages de programmation ainsi que plus récemment autour de l’analyse des systèmes d’équations différentielles, ou autour de la compréhension de la puissance de modèles alternatifs de calculs basés sur la bioinformatique, ou le calcul analogique.

On visera à présenter dans un premier temps des résultats sur la complexité classique [8, 13], pour aller vers des extensions à des modèles algébriques comme le modèle de Blum Shub et Smale [3, 2], à espace continus comme les modèles de réseaux de neurones/deep learning [17], puis à temps et espace continu comme le modèle de Shannon [16].

Actuariat

6 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantMarie-Claire Quenez
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

Ce cours introduit les outils de base des mathématiques financières et actuarielles, ainsi que les principaux actifs financiers et les produits d’assurance-vie. C’est un prérequis pour les cours de M1 et M2 sur les mathématiques financières, les modèles de taux, ainsi que sur les mathématiques de l’assurance et le risque de longévité.

Courbe adélique et géométrie d’Arakelov birationnelle 2

9 ECTS, semestre 2

PrérequisCours fondamentaux sur la géométrie algébrique et théorie des nombres.
Validationexamen
EnseignantHuayi Chen
Horaires hebdomadaires 4 h CM

Syllabus

Le but de ce cours est de présenter des avancements récents sur la géométrie d’Arakelov birationnelle. La géométrie d’Arakelov est une théorie de géométrie arithmétique, où plusieurs domaines mathématiques, comme géométrie algébrique, théorie des nombres, géométrie analytique interviennent naturellement. Elle consiste à «compactifier» les variétés sur un corps de nombres par des objets analytiques, en s’appuyant sur la comparaison avec la géométrie algébrique relativement à une courbe projective régulière.

La dernière partie du cours porte sur un travail récent en collaboration avec Moriwaki sur l’étude des schémas projectifs au-dessus d’une courbe adélique générale et leurs invariants arithmétiques.

Programmation Langage C#

6 ECTS, semestre 1

PrérequisMaîtriser les notions de base de programmation structurée et procédurale (contrôle de flux, variables et appels de fonction). La connaissance d’un langage à la syntaxe proche du C est idéale.
ValidationCC+examen
EnseignantSylvain Delattre

Syllabus

Il s’agit d’une introduction au langage C# et par là même aux concepts de programmation orientée objet et de programmation fonctionnelle. On montre sur des exemples (et des exercices) comment ces notions facilitent la création de programmes pour répondre à des problèmes algorithmiques et mathématiques. Le cours comprend 10 séances de 4h (1/4 de cours et 3/4 de travaux pratiques). L’évaluation est basée sur une séance de TP notée, un examen écrit et un projet (en 2017 le projet porte sur l’algorithme MCTS pour les jeux).

Mathématiques financières

9 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantJean-François Chassagneux, Noufel Frikha

Syllabus

L'objectif du cours est de maîtriser les modèles et méthodes stochastiques utilisés dans les salles de marché et d'acquérir les premières notions de la gestion des risques financiers. Les aspects mathématiques et financiers seront présentés en parallèle ; les nouveaux concepts mathématiques seront immédiatement illustrés par leurs applications à la finance. Pour le côté mathématique on abordera notamment le mouvement brownien et l'intégration stochastique ; la formule d'Itô, le changement de probabilité et les équations différentielles stochastiques. Pour le côté finance, on étudiera le modèle de Black et Scholes et ses extensions ; la technique de changement de numéraire ; la diffusion implicite de Dupire ; la valorisation d'options exotiques par Monte Carlo. Une place importante sera dédiée à la simulation, afin que les connaissances acquises soient directement opérationnelles. L'accent sera également mis sur la compréhension des limites de la modélisation, pour bien identifier les risques associés.

Traitement de la langue naturelle (NLP, TAL)

3 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantMarie Candito, Benoit Crabbé, Ewan Dunbar
Horaires hebdomadaires 2 h CM

Syllabus

  • Familiarisation avec les principales méthodes du traitement automatique des langues (TAL)
  • Appliquer des notions d'apprentissage à la modélisation du langage. Cas de l'apprentissage structuré (séquences et arbres)
  • Présentation / utilisation des principales librairies incluant des modules de TAL prêts à l'emploi (Spacy, NLTK)
  • Présentation / utilisation de librairies génériques d'apprentissage profond pour le TAL (pytorch)

Codes et cryptographie

6 ECTS, semestre 2

Prérequisalgèbre effective
ValidationCC+examen
EnseignantPascal Molin
Horaires hebdomadaires 2 h CM , 3 h TD

Syllabus

Le codage consiste à protéger une information de la dégradation physique, en lui ajoutant une redondance structurée. L'enjeu de la cryptographie est de maîtriser l'accès à des données ou des services, et les protéger de modifications ou copies malveillantes.

Ce cours est à la fois une introduction détaillée à ces domaines, et un cours d'algorithmique algébrique Dans ce cours, on décrit les bases théoriques de ces domaines et les principaux systèmes utilisés. On apprend aussi les techniques d'algorithmique algébrique employées pour les mettre en œuvre, ou pour attaquer les cryptosystèmes.

Le module de projet est l'occasion d'approfondir des thèmes qui ne sont qu'évoqués dans ce cours.

Optimisation

6 ECTS, semestre 2

PrérequisAnalyse S1, Optimisation L3
ValidationCC+examen
EnseignantYves Achdou
Horaires hebdomadaires 4 h CM , 6 h TD

Théorie des modèles

4 ECTS, semestre 1

Prérequis
Validationexamen
EnseignantTomás Ibarlucia
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

  • Ultraproduits, compacité.
  • Extensions élémentaires, Théorèmes de Lowenheim-Skolem.
  • Méthode des diagrammes, théorèmes de préservation.
  • Va et vients, élimination des quantificateurs.
  • Espace des types, théorème d'omission des types, modèles kappa-saturés, modèles atomiques.
  • Théories oméga-catégoriques, théorème de Ryll-Nardzewski. Décidabilité de quelques théories axiomatiques.

Modèles de taux

3 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantZorana Grbac

Syllabus

L'objectif de ce cours est l'étude des modèles stochastiques de taux d'intérêt et des méthodes du pricing pour les dérivés de taux. Dans un premier temps les notions de base et les produits dérivés présents sur les marchés de taux seront introduits. La modélisation stochastique de taux d'intérêt sera étudié dans les cadres suivantes : modèles de taux court, modèle Heath-JarrowMorton et modèle de marché Libor (modèle BGM). Dans chacun de ces modèles les conditions de l'absence d'arbitrage seront trouvées et des méthodes du pricing risque-neutre des options seront présentées. Les modèles de taux plus récents dits multicourbe seront abordés à la fin du semestre.

Histoire et Philosophie de la Logique

4 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantBrice Halimi
Horaires hebdomadaires 2 h CM

Syllabus

En quoi la logique est-elle formelle ?

Le cours sera consacré à cette question. Il examinera en particulier trois grandes raisons de déclarer « formelle » la logique : parce qu’elle recourt à des ressources discursives qu’on peut dire formelles (schématiques) ; parce qu’elle porte sur des formes (dont le statut est à préciser : « constantes logiques » pour Russell, « formes dérivées du quelque chose en général » pour Husserl, pour prendre deux exemples importants) ; parce qu’elle vise à une validité indépendante de tout contenu particulier (logique comme science universelle).

Ces trois grandes raisons ne sont pas nécessairement compatibles. Par ailleurs, l’examen de la question posée impliquera bien entendu la prise en compte de l’histoire de la logique, et une réflexion sur la situation de la logique entre philosophie et mathématiques. Ce sera l’occasion d’examiner l’enjeu de la « généralité absolue », c’est-à-dire celui de la possibilité d’une théorie portant sur absolument toutes choses en général.

Compétences visées : connaissance des enjeux philosophiques de l’histoire de la logique au XXe siècle.

Renforcement

3 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantSylvain Delattre
Horaires hebdomadaires 2 h CM

Syllabus

L'apprentissage par renforcement constitue, avec l'apprentissage supervisé et non-supervisé, l'une des trois grandes familles algorithmiques d'apprentissage automatique. Inspirée par la théorie de la décision et la psychologie comportementale, elle a pris une importance de premier plan ces dernières années en fusionnant avec d'autres méthodes d'apprentissage automatique, en particulier celle des réseaux profonds, donnant lieu à des champs d'application encore inexplorés.

Technologies Big Data

3 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantStéphane Gaïffas
Horaires hebdomadaires 2 h CTD

Syllabus

  • Connaitre les technologies modernes pour le traitement de données massives.
  • Maitriser l’utilisation de librairies pour le traitement de données distribuées.
  • Etre capable d’utiliser ces outils dans des cas concrets, en utilisant une solution cloud.

Mathématiques financières

9 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantNoufel Frikha
Horaires hebdomadaires 2 h CM , 4 h TD

Syllabus

  • Modélisation financière en temps discret
  • Modélisation financière en temps continu
  • Bases du calcul stochastique

Introduction à l’analyse géométrique à travers les mathématiques de la relativité générale

9 ECTS, semestre 2

PrérequisGéométrie différentielle et Riemannienne.
Validationexamen
EnseignantPaul Laurain
Horaires hebdomadaires 4 h CM

Syllabus

On propose une introduction à la géométrie sous-riemannienne, notamment autour des questions de l'existence, caractérisation et régularité des géodésiques sous-riemanniennes. On introduira notamment le formalisme hamiltonien, qui est le langage naturel pour traiter ce genre de problèmes.

Prérequis:

Géométrie différentielle et Riemannienne (le cours de J. Marché à P6 ou [2] chapitres1-6, ou encore [1]) Équations aux dérivées partielles principalement elliptiques (Le cours de Yves Achdou & Xavier Blanc à P7 ou [3] chapitres 5-6)

Analyse

9 ECTS, semestre 1

PrérequisNotions de distance, norme, compacité, complétude. Intégrale de Lebesgue.
ValidationCC+examen
EnseignantDavid Gérard-Varet
Horaires hebdomadaires 3 h CM , 4 h TD

Syllabus

Savoir manipuler des outils d'analyse dans le cadre de la dimension infinie. Mise en oeuvre dans le cadre des espaces de fonctions

Introduction au Machine Learning

6 ECTS, semestre 1

PrérequisOptimisation M1. Statistique M1
ValidationCC+examen
EnseignantStéphane Gaïffas
Horaires hebdomadaires 3 h CM , 2 h TD

Syllabus

Présentation des méthodes d'apprentissage supervisé et non-supervisé: des modèles génératifs aux réseaux de neurones en passant par les techniques arborescentes.

Catégorification(s) en théorie de Lie

9 ECTS, semestre 2

PrérequisIl serait souhaitable d'avoir au préalable suivi un cours sur les algèbres de Lie ou les groupes algébriques.
Validationexamen
EnseignantOlivier Dudas
Horaires hebdomadaires 2 h CM

Syllabus

Le but de ce cours est d'introduire à la théorie des représentations dite "supérieure", où les espaces vectoriels sont remplacés par des catégories et les actions par des foncteurs. Cette approche permet de démontrer, entre autres : des propriétés de positivité et des identités combinatoires (en "décatégorifiant"), des équivalences entre catégories abéliennes ou triangulées,l'existence de bases "canoniques" pour certaines représentations.

Ce cours s'insère dans la filière "Algèbre, groupes et représentations" mais certaines constructions topologiques (faisceaux constructibles et faisceaux pervers) seront aussi évoquées.

Programmation objet avancée

6 ECTS, semestre 1

PrérequisMaîtrise du langage C et si possible la pratique élémentaire d'une programmation objet (Java par exemple)
ValidationCC+examen
Enseignant
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

Renforcer la maîtrise des concepts liés au paradigme de programmation objets en montrant comment ils peuvent être implantés différemment. Apprendre le langage C++.

Algorithmique

6 ECTS, semestre 1

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

Connaître les principales techniques d'algorithmique et savoir évaluer leur complexité

Programmation Objet, Concepts Avancés

2 ECTS, semestre 1

PrérequisLangages Objets Avancés M1
ValidationCC+examen
EnseignantY. Regis-Gianas
Horaires hebdomadaires 2 h CM , 1 h TD

Syllabus

  • Concevoir des composants logiciels réutilisables.
  • Comprendre les limites intrinsèques de la POO.
  • Compléter l'approche objet à l'aide d'une approche fonctionnelle.
  • Utiliser les mécanismes modernes de programmation typée statiquement du langage Scala.
  • Savoir apprendre un langage de programmation de façon autonome.
  • Analyser des besoins à partir d'une spécification informelle.
  • Participer à un processus de développement moderne en utilisant les outils de développement collaboratif et de gestion de projet.
  • Utiliser des outils d'intégration continue.

Bases de données avancées

6 ECTS, semestre 2

PrérequisMaîtrise de SQL (manipulation et définition de données)
ValidationCC+examen
EnseignantCristina Sirangelo
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

  • Maîtriser la notion de transaction.
  • Maîtriser l'organisation physique de la base de données et la gestion des transactions.
  • Maitriser les triggers.
  • Normalisation de bases de données

La théorie du corps de classes 1

9 ECTS, semestre 1

PrérequisFamilarité avec l'algèbre commutative de base (anneaux, idéaux, modules, corps, localisation, quotients, anneaux de Dedekind). Quelques notions de théorie de Galois sont les bienvenues. On utilisera des notions élémentaires d'analyse complexe et d'analyse de Fourier.
Validationexamen
EnseignantPierre-Henri Chaudouard
Horaires hebdomadaires 4 h CM , 2 h TD

Syllabus

Le but du cours est d’énoncer les principaux résultats de la « théorie du corps de classes » et d’en donner une démonstration aussi complète que possible dans le temps imparti. Le but de cette théorie est d’obtenir une description des extensions abéliennes d’un corps local ou global en terme de l’arithmétique de ce corps. Le contenu du cours sera utile à tout étudiant intéressé par la théorie des nombres, la géométrie arithmétique ou les formes automorphes.

Le but du cours I est d’introduire les principaux objets qui vont intervenir dans l’énoncé et de démontrer au passage quelques théorèmes classiques de théorie algébrique des nombres. Il a donc un intérêt indépendamment du cours II.

Parcours algèbres d’opérateurs, théorie géométrique et mesurée des groupes

9 ECTS, semestre 1

PrérequisCours algèbres d'opérateurs I
Validationexamen
EnseignantPierre FIma
Horaires hebdomadaires 4 h CM

Syllabus

Ce cours est le second volet d'un parcours explorant les liens profond existant entre les algèbres d’opérateurs, la théorie géométrique et la théorie mesurée des groupes discrets dénombrables. Les algèbres d’opérateurs, introduites par Murray et von Neumann entre 1940 et 1950 dans l’optique de formaliser les concepts de la mécanique quantique, ont connu des progrès spectaculaires, en lien avec la théorie ergodique et la théorie des groupes, ces 15 dernières années. Ce parcours présentera quelques uns de ces résultats très récents ainsi que les techniques modernes qui permettent de les obtenir.

Dans ce second cours, différentes propriétés d’approximations pour les groupes et algèbres de von Neumann, dont l’utilisation permet d’obtenir des résultats surprenant de rigidité, seront présentées et étudiées en détails.

Représentations des groupes finis, algèbres semi-simples, invariants tensoriels

9 ECTS, semestre 1

PrérequisAlgèbre M1
Validationexamen
EnseignantMarc Rosso
Horaires hebdomadaires 2 h CM

Syllabus

L’objectif de ce cours est de donner une introduction à la théorie des représentations des algèbres semi-simples, en particulier des algèbres de groupes finis, et d’étudier plus précisément celles des groupes symétriques en interaction avec le groupe linéaire.

Théorie des ensembles : Outils classiques

8 ECTS, semestre 2

Prérequis
Validationexamen
EnseignantBoban Velikovic
Horaires hebdomadaires 4 h CM

Syllabus

Le 8 août 1900, lors du second Congrès International des mathématiciens, à Paris, David Hilbert énonça une liste de 23 problèmes mathématiques qui, selon lui, devaient servir de guide pour les recherches à venir dans le nouveau siècle. Le premier problème de cette liste, l’hypothèse du continu de Cantor, a été résolu, en deux temps : par Gödel (1938) qui construisit un modèle interne de l'hypothèse généralisée du continu, et par Paul Cohen (1963), qui a inventé une construction de modèle pour la négation de l’hypothèse de Cantor. Ce cours couvrira principalement les deux constructions de modèles de la théorie des ensembles introduites par Gödel et Cohen.

Probabilités

9 ECTS, semestre 1

PrérequisProbabilités Licence
ValidationCC+examen
EnseignantFrancis Comets
Horaires hebdomadaires 3 h CM , 4 h TD

Syllabus

Le calcul des probabilités est un outil de modélisation construit sur des fondements issus de l'analyse: la théorie de la mesure et de l'intégration. Ce cours est illustré par une étude détaillée du comportement des collections de variables indépendantes. L'analyse permet de définir et d'étudier la convergence des suites de variables aléatoires. Les notions et techniques utiles aux statisticiennes et aux physiciens sont définies et étudiées ici: convergence en probabilités, loi des grands nombres, convergence en loi, théorème central limite. Le cours propose une construction de l'espérance conditionnelle, outil indispensable pour la théorie des martingales, le calcul stochastique, l'inférence bayésienne, et donc pour les mathématiques financières, les statistiques et bien d'autres spécialités. Enfin le cours abordera les inégalités de concentration, outil de la théorie de l'apprentissage.

Méthodes numériques pour les EDOs et les EDPs

6 ECTS, semestre 2

PrérequisAnalyse
ValidationCC+examen
EnseignantAdina Ciomaga
Horaires hebdomadaires 4 h CM , 6 h TD

Syllabus

Modéliser un phénomène à l'aide d'un système d'équations différentielles ordinaires et/ou à l'aide équations aux dérivées partielles. Caractériser l'existence, l'unicité des solutions. Caractériser les propriétés de ces éventuelles solutions. Approcher numériquement ces solutions par des algorithmes stables et efficaces. Coder ces algorithmes. Utiliser les bibliothèques de résolution disponibles en Scilab/Python.

Codes correcteurs

3 ECTS, semestre 2

Prérequis
Validationexamen
EnseignantJean-François Mestre
Horaires hebdomadaires 50 h CTD

Syllabus

Ce cours a pour but de comprendre comment améliorer la fiabilité des transmissions de données grâce à des principes d'algèbre.

Algèbre effective

6 ECTS, semestre 1

Prérequisgroupes, anneaux, algèbre linéaire
ValidationCC+examen
EnseignantRiccardo Brasca
Horaires hebdomadaires 2 h CM , 3 h TD

Syllabus

Ce cours concerne l'étude de structures algébriques de base (groupes et anneaux) et de leurs propriétés. On met l'accent sur les manipulations effectives.

Micro-économie de l'assurance

3 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantSvetlana Gribkova

Syllabus

Sur le marché d’assurance, la demande est représentée par les individus/organismes qui souhaitent s’assurer contre les éventuelles pertes monétaires qui risquent de se produire dans le futur. L’offre est représentée par les compagnies d’assurance qui proposent de les couvrir contre les pertes que les individus sont susceptibles de subir en cas de sinistre. La spécificité du marché d’assurance est la présence de l’incertitude concernant la réalisation de sinistres dont les acheteurs et les vendeurs sont obligés de tenir compte. La Microéconomie de l’Assurance permet de modéliser et de comprendre le fonctionnement du marché d’assurance en combinant les outils mathématiques développés par la Microéconomie pour décrire le comportement de consommateur en absence d’incertitude avec les outils de la théorie de la décision dans l’incertain, qui permet de déterminer les règles de prise de décisions en présence d'incertitude. L’objectif de ce cours consiste à familiariser les étudiants avec des modèles microéconomiques du marché d’assurance, d’étudier ses mécanismes de fonctionnement, l'équilibre entre l’offre et la demande et leurs liens avec la prime d’assurance.

Algorithmique des données massives

3 ECTS, semestre 1

PrérequisMachine Learning. Optimisation. Algorithmique avancée
ValidationCC+examen
EnseignantStéphane Boucheron
Horaires hebdomadaires 2 h CM

Syllabus

Usage des méthodes randomisées en traitement des données massives et en traitement des flots de données (streaming). Familiarisation avec Spark. Articulation estimation/optimisation

Logique et complexité

6 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantFrançois Le Maître
Horaires hebdomadaires 2 h CM , 3 h TD

Syllabus

L'objectif de ce cours est d’abord de présenter les notions logiques de décidabilité et d'indécidabilité. On définit ensuite la notion de réduction entre problèmes. On présente enfin la notion de complexité qui prend en compte les ressources (temps de calcul, espace mémoire) nécessaires à la résolution d’un problème sur machine.

Statistiques

6 ECTS, semestre 2

Prérequis
ValidationCC+examen
EnseignantKarine Tribouley
Horaires hebdomadaires 2 h CM , 2 h TD , 2 h TP

Syllabus

L'objectif de ce cours est d'exposer, d'un point de vue théorique mais sans recours excessif aux outils mathématiques, les méthodes indispensables à l'usage des statistiques inférentielles en milieu professionnel. Le cours magistral (2 h) introduit la modélisation statistique; il est accompagné de travaux dirigés (2h) et de travaux pratiques (2h) en langage R dont la connaissance parfaite est un pré-requis pour s'orienter vers la data science.

Cours préliminaire de logique

0 ECTS, semestre 1

Prérequis
Validationsans
EnseignantPatrick Simonetta et Pierre Letouzey
Horaires hebdomadaires 18 h CM

Syllabus

Le cours préliminaire sera du 2 au 13 septembre.

  • Calcul des propositions : tables de vérité, tautologies, formes normales, compacité.
  • Calcul des prédicats : langages du premier ordre, termes, formules, modèles ; satisfaction d’une formule dans un modèle ; sous-structures ; isomorphismes ; équivalence élémentaire.
  • Théorie des ensembles : axiomes de Zermelo-Frænkel ; cardinaux ; théorèmes de Cantor et de Cantor- Bernstein ; ensembles finis, ensembles dénombrables.
  • Introduction à la programmation : Mise à niveau en programmation fonctionnelle Ocaml ; Lien avec le lambda-calcul, récursivité, typage ML ; structures de données usuelles (booléens, entiers, listes, options, arbres, ...).

Projet

6 ECTS, semestre 2

Prérequis
ValidationCC+examen
Enseignant
Horaires hebdomadaires 4 h CM , 6 h TD

Les surfaces K3

9 ECTS, semestre 2

PrérequisUne certaine familiarité avec les concepts de base de la géométrie algébrique ou complexe.
Validationexamen
EnseignantOlivier Debarre
Horaires hebdomadaires 2 h CM

Syllabus

La géométrie algébrique est l'étude des ensembles définis des équations polynomiales à plusieurs variables à coefficients dans un corps, appelés variétés affines. On considère aussi les sous-ensembles des espaces projectifs définis par des équations polynomiales homogènes, de façon à obtenir des objets « compacts », les variétés projectives. Dès qu'on a défini les concepts de dimension et de lissité, on peut entamer un travail de classification (à isomorphisme près) des variétés projectives lisses connexes de dimension donnée, sur un corps fixé qui sera pour nous le corps des complexes. En dimension 1, on appelle ces variétés des courbes et un élément essentiel de leur classification est leur genre, un entier positif. Dès la dimension 2, la classification demande plus de travail mais est maintenant bien comprise depuis des décennies.

Les surfaces K3 seront le fil conducteur du cours mais j'en profiterai pour introduire divers outils classiques utilisés dans l'étude des surfaces algébriques.

Projet data science

3 ECTS, semestre

Prérequis
ValidationCC+examen
EnseignantKarine Tribouley

Syllabus

Ce projet est conçu en partenariat avec RCI Renault Crédit International et offre aux étudiants l’opportunité d’effectuer une mission Data Science dans un cadre professionnel.

Le brief de la mission est proposé par RCI – par exemple un problème de score d’octroi sur des données extraites du data warehouse du donneur d’ordre RCI. Le cadrage est effectué par RCI et Karine Tribouley. Les étudiants effectuent la mission

  • Production de solutions : méthodes et codes
  • Mise en avant des performances des solutions
  • Rédaction des livrables : rapports et codes

Pour le langage/logiciel à utiliser, R ou Python sont très fortement recommandés même si les étudiants sont libres de choisir d'autres langages ou logiciels parmi le C, le C#, Matlab, SAS, etc.

Actuariat, produits financiers

3 ECTS, semestre 1

Prérequis
ValidationCC+examen
EnseignantMarie-Claire Quenez

Syllabus

Ce cours introduit les outils de base des mathématiques financières et actuarielles, ainsi que les produits financiers et les contrats d'assurance-vie. C'est un pré-requis pour les cours de M2 portant sur les mathématiques de la finance ou de l'assurance.

Une introduction à la théorie analytique des nombres

9 ECTS, semestre 1

Prérequisanalyse complexe
Validationexamen
EnseignantRégis de La Bretèche
Horaires hebdomadaires 4 h CM

Syllabus

Ce cours consiste en une initiation courte à la théorie analytique des nombres. Ce domaine se situe à l'interface avec beaucoup d'autres domaines des mathématiques : formes modulaires, géométrie algébrique, combinatoire ... Il s'agit de donner quelques repères (on démontrera le théorème des nombres premiers) et on évoquera quelques développements très récents sur les fonctions sommatoires de fonctions multiplicatives.

Algorithmique avancée

6 ECTS, semestre 2

PrérequisAlgorithmique M1
ValidationCC+examen
Enseignant
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

L'algorithmique des données massives, des flots, de la cryptologie utilisent la randomisation (les tirages aléatoires), et l'approximation pour traîter des problèmes qui sans cela seraient difficiles. Ce cours est approche systématique de ces méthodes et des méthodes de traitement distribuées.

Courbe adélique et géométrie d’Arakelov birationnelle 1

9 ECTS, semestre 2

PrérequisCours fondamentaux sur la géométrie algébrique et théorie des nombres.
Validationexamen
EnseignantHuayi Chen
Horaires hebdomadaires 4 h CM

Syllabus

Le but de ce cours est de présenter des avancements récents sur la géométrie d’Arakelov birationnelle. La géométrie d’Arakelov est une théorie de géométrie arithmétique, où plusieurs domaines mathématiques, comme géométrie algébrique, théorie des nombres, géométrie analytique interviennent naturellement. Elle consiste à «compactifier» les variétés sur un corps de nombres par des objets analytiques, en s’appuyant sur la comparaison avec la géométrie algébrique relativement à une courbe projective régulière.

Le cours commence par une introduction sur la géométrie des nombres classique et sa version moderne dans le langage de fibré vectoriel hermitien. Ensuite on introduit une géométrie de courbe adélique dont le corps «de nombres» sous-jacent est de type fini sur Q.

Méthode de Nash-Moser et EDP non-linéaires

9 ECTS, semestre 2

Prérequisanalyse classiques de L3/M1 (calcul différentiel, analyse de Fourier, espaces de Banach)
Validationexamen
EnseignantDavid Gérard-Varet
Horaires hebdomadaires 4 h CM

Syllabus

L'objet du cours est une méthode remarquable introduite par Nash et développée par Moser, visant à résoudre des EDO ou des EDP non-linéaires. Cette méthode a été appliquée avec succès à différents problèmes d'analyse et de géométrie : plongement isométrique des variétés, conjugaison des difféomorphismes du cercle, théorème KAM, amortissement Landau...

Parcours algèbres d’opérateurs, théorie géométrique et mesurée des groupes

9 ECTS, semestre 1

PrérequisAlgèbre et analyse M1
Validationexamen
EnseignantGeorges Skandalis
Horaires hebdomadaires 4 h CM

Syllabus

Ce cours est le premier volet d'un parcours explorant les liens profond existant entre les algèbres d’opérateurs, la théorie géométrique et la théorie mesurée des groupes discrets dénombrables. Les algèbres d’opérateurs, introduites par Murray et von Neumann entre 1940 et 1950 dans l’optique de formaliser les concepts de la mécanique quantique, ont connu des progrès spectaculaires, en lien avec la théorie ergodique et la théorie des groupes, ces 15 dernières années. Ce parcours présentera quelques uns de ces résultats très récents ainsi que les techniques modernes qui permettent de les obtenir.

Le premier cours de ce parcours est une introduction aux algèbres d’opérateurs : C*-algèbres et algèbres de von Neumann.

Calculabilité et incomplétude

8 ECTS, semestre 1

Prérequis
Validationexamen
EnseignantPaul Rozière et Hervé Fournier
Horaires hebdomadaires 4 h CM , 2 h TD

Syllabus

  • Calculabilité : fonctions récursives et fonctions calculables par machine ; caractérisation logique des fonctions calculables ; théorème smn et théorèmes de point fixe ; notions de réduction et problèmes indécidables.
  • Introduction à la complexité : classes en temps et espace, théorèmes de hiérarchie, réductions, complétude, circuits booléens, introduction à la complexité algébrique.
  • Arithmétique formelle : axiomes de Peano et sous-systèmes faibles ; arithmétisation de la logique ; théorèmes d’indécidabilité ; les théorèmes d’incomplétude de Gödel.

Programmation langage C

6 ECTS, semestre 1

Prérequis
Validationexamen
EnseignantRaphaël Ordinas
Horaires hebdomadaires 4 h CTD

Syllabus

Ce cours a pour but de maîtriser les concepts de base du langage C. L'objectif à l'issue du semestre est d'être capable de programmer en utilisant les principales librairies du langage

Blockchains, tokens and contracts

4 ECTS, semestre 2

Prérequis
Validationexamen
EnseignantVincent Danos et Ilias Garnier
Horaires hebdomadaires 2 h CM

Syllabus

Ce cours vise à présenter les fondements informatiques des blockchains (protocoles de communications, théorie des jeux), ainsi que des exemples de protocoles mis en oeuvre en particulier dans les cryptomonnaies et les smart-contracts.

Théorie de la démonstration

4 ECTS, semestre 1

Prérequis
Validationexamen
EnseignantThierry Joly
Horaires hebdomadaires 2 h CM , 2 h TD

Syllabus

  • Théorème de complétude du calcul des séquents égalitaire LK par les témoins de Henkin.
  • Calcul des séquents : Élimination des coupures et théorème du séquent médian dans LK. Théorème de Herbrand. Sous-calcul LJ : la logique intuitionniste et son interprétation BHK. Propriétés de la sous-formule et du témoin existentiel dans LJ.
  • Déduction naturelle : Systèmes NK et NJ. Élimination des coupures de NJ. Propriétés de la sous-formule et du témoin existentiel dans NJ, puis dans HA (arithmétique intuitionniste).
  • Lambda-calcul : Propriétés de confluence et de standardisation. Représentation des fonctions récursives. Système T. Correspondance de Curry-Howard. Réalisabilité, normalisation forte et correction des programmes.

Preuves et programmes : Outils classiques

8 ECTS, semestre 2

Prérequis
Validationexamen
EnseignantAlexis Saurin et Christine Tasson
Horaires hebdomadaires 4 h CM

Syllabus

La théorie de la démonstration a connu au moins deux évolutions majeures au cours du siècle dernier suite aux théorèmes d'incomplétude de Gödel. La première a eu lieu dans les années 30, immédiatement après les résultats d'incomplétude, avec l'introduction et l'étude de la déduction naturelle et du calcul des séquents par Gentzen et du lambda-calcul par Church. Church montrait alors l'indécidabilité du calcul des prédicats via le lambda-calcul tout en introduisant un modèle de calcul universel tandis que Gentzen déduisait la consistance de divers systèmes logiques comme corollaire de l'élimination des coupures en calcul des séquents.

La seconde étape a eu lieu dans les années 60 avec la mise en évidence progressive, par le biais de la correspondance de Curry-Howard, des liens profonds entre preuves et programmes, depuis la correspondance entre lambda-calcul simplement typé et déduction naturelle propositionnelle minimale jusqu'aux diverses extensions de cette correspondance au second ordre, à la logique classique et jusqu'à l'émergence de la notion de linéarité en théorie de la démonstration. La logique linéaire a profondément renouvelé les liens entre la sémantique formelle des langages de programmation d'un côté et la théorie de la démonstration de l'autre. L'algèbre linéaire s'impose comme troisième pôle de cette correspondance, en mettant au centre la notion de ressource du calcul.

Le cours fondamental a traité de la première étape. Ce cours sera consacré aux développements depuis les années 60 et présentera les outils classiques pour l'étude de la correspondance de Curry-Howard. Après quelques rappels et compléments du cours fondamental, le cours se concentrera sur deux concepts fondamentaux, le second-ordre et la linéarité, et à leurs développements, notamment dans un cadre algébrique. On appliquera notamment les résultats du cours à l'étude de PCF, un langage de programmation idéalisé.