M1 de logique mathématiques

Présentation

Le Master I Logique Mathématique et Fondements de l'Informatique permet de renforcer les connaissances en mathématiques fondamentales acquises en Licence et offre un début d'orientation vers la logique mathématique et ses applications.

Deux parcours (à coloration plus mathématique ou plus informatique) sont possibles suivant les options choisies.

Dans les deux parcours les enseignements du premier semestre se composent d'une U.E. (12 ECTS) de Mathématique Fondamentales (à choisir parmi deux) et d'une U.E. de Logique Mathématique (12 ECTS) . L'ensemble est complété par une U.E. de langue (6 ECTS).

Au deuxième semestre, les enseignements se composent d'une U.E. d'orientation (de 12 ECTS, à choisir parmi quatre) et, suivant le parcours, d'une U.E. supplémentaire de mathématique ou d'informatique (de 12 ECTS). Enfin, une U.E d'ouverture (6 ECTS à choisir) complète le semestre.

 

Contacts

Responsables pédagogiques

Yves Achdou(Pour prendre rendez-vous ou pour toute question, utilisez le courier électronique.)

Scolarités

Voir les horaires d'ouverture (idem que pour les licences) time.png

 

Cursus

Cursus

La formation est organisée en deux semestres.
Un semestre est constitué de 13 semaines de cours, une semaine de révision et deux semaines d'examen.
Le premier semestre commence à la mi-septembre et dure jusqu'à la mi-janvier (examens compris). Les examens ont lieu sur deux semaines en janvier.
Le second semestre commence à la fin-janvier et dure jusqu'à la mi-mai. Les examens ont lieu fin mai.
La seconde session d'examen a lieu en juin.

Semestre 1

Orientation 1 : logique mathématique
  1. 1 UE FONDAMENTALE de maths (12 ECTS) à choisir parmi :
    • ANALYSE FONCTIONNELLE ET ANALYSE DE FOURIER (12 ECTS)
    • ALGEBRE (12 ECTS)
  2. 1 UE FONDAMENTALE de logique (12 ECTS) :
    1. LOGIQUE 1 (Logique du 1er Ordre + Logique et Complexité) (12 ECTS)
  3. 1 UE de LANGUE (6 ECTS)

Orientation 2 : logique et informatique

  1. 1 UE FONDAMENTALE de maths (12 ECTS) à choisir parmi :
    • ANALYSE FONCTIONNELLE ET ANALYSE DE FOURIER (12 ECTS)
    • ALGEBRE (12 ECTS)
  2. 1 UE FONDAMENTALE de logique (12 ECTS) :
    • LOGIQUE I (Logique du 1er Ordre + Logique et Complexité) (12 ECTS)
  3. 1 UE de LANGUE (6 ECTS)

Semestre 2

Orientation 1 : logique mathématique

  1. 1 UE D’ORIENTATION (12 ECTS) à choisir parmi :
    • ARITHMETIQUE (12 ECTS)
    • LOGIQUE II (Calculabilité et Arithmétique + Théorie des ensembles) (12 ECTS)
  2. 1 UE D’ORIENTATION (12 ECTS) à choisir parmi :
    • GEOMETRIE DIFFERENTIELLE (12 ECTS)
    • ARITHMETIQUE (12ECTS)
    • LOGIQUE II (Calculabilité et Arithmétique + Théorie des ensembles) (12 ECTS)
    • EQUATIONS AUX DERIVEES PARTIELLES ET APPROXIMATION (6 ECTS)
    • PROBABILITES ET PROCESSUS (12ECTS)
    • STATISTIQUE ET MODELISATION (12 ECTS) (Statistique fondamentale + Méthodes Markovienne en Statistique)
    • THEORIE SPECTRALE (6 ECTS)
    • CODES ET CRYPTOGRAPHIE, ALGORITHMES PROBABILISTES ET COMPLEXITE (12 ECTS)
    1 UE d’OUVERTURE (6 ECTS)

Orientation 2: logiqueet informatique

  1. 1 UE D’ORIENTATION (12 ECTS) à choisir parmi :
    • ARITHMETIQUE (12ECTS)
    • LOGIQUE II (Calculabilité et Arithmétique + Théorie des ensembles) (12 ECTS)
  2. 1 UE D’ORIENTATION (12 ECTS = 2x6 ECTS) à choisir au 2ème semestre parmi : une UE du M1 Informatique
  3. 1 UE D’OUVERTURE (6 ECTS)

 

Débouchés

Pour aborder le Master 2 logique mathématique et fondements de l'informatique, il est souhaitable d'avoir suivi en M1 les enseignements proposés dans les sections intitulées « orientation logique mathématique », ou « orientation logique et informatique ».
 

Pré-requis et Inscriptions

Peuvent s'inscrire en MASTER 1ère année :

  • Les étudiants titulaires de la licence de mathématiques,
  • Les étudiants ayant obtenu une dispense de la licence de mathématiques.
Les inscriptions se font sur le site SESAME

 

Contacts

Directeur: Georges Skandalis

Directeur adjoint: François Jouve

Président du conseil scientifique: Giambattista Giacomin

Responsable administratif: Pascal Chiettini

Scolarités: L1/L2, L3/M1/M2 ISIFAR et MIC, Autres M2, Ecole Doctorale

Adresse postale

logoufrUFR de Mathématiques
Site Chevaleret
Université Paris-Diderot (Paris 7)
Case 7012
75205 Paris Cedex

con_tel : +33 1 44 27 78 14 (Secrétariat du Directeur)
+33 1 44 27 54 00 (Responsable Administratif)
con_fax :+33 1 44 27 69 35

Actualités de l'UFR