Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentes Révision précédente
Prochaine révision
Révision précédente
formations:masters:math:m1-lmfi [2012/04/30 15:58]
lacave
formations:masters:math:m1-lmfi [2016/09/09 10:52] (Version actuelle)
gerard
Ligne 1: Ligne 1:
 +====Parcours Logique Mathématiques et Fondements de l'​informatique====
  
 +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.
 +
 +
 +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.
 +
 +
 +
 +===1er semestre===
 +
 +**Orientation 1 : logique mathématique**
 +
 +UE de maths (pour un total de 12 ECTS) à choisir parmi :
 +| ANALYSE 1 et 2 | 2x6 ECTS |
 +| ALGEBRE | 12 ECTS |
 +UE de logique (12 ECTS) :
 +| LOGIQUE 1 (Logique du 1er Ordre + Logique et Complexité) | 12 ECTS |
 +UE de LANGUE (6 ECTS)
 +
 +**Orientation 2 : logique et informatique**
 +
 +UE  de maths (pour un total de 12 ECTS) à choisir parmi :
 +| ANALYSE 1 et 2 | 2x6 ECTS |
 +| ALGEBRE | 12 ECTS |
 +UE  de logique (12 ECTS) :
 +| LOGIQUE I (Logique du 1er Ordre + Logique et Complexité) | 12 ECTS |
 +UE de LANGUE (6 ECTS)
 +
 +===2nd semestre===
 +
 +**Orientation 1 : logique mathématique**
 +
 +1 UE D’ORIENTATION (12 ECTS) à choisir parmi :
 +| ARITHMETIQUE | 12 ECTS |
 +| LOGIQUE II (Incomplétude + Théorie des ensembles) | 12 ECTS |
 +
 +1 ou 2 UE D’ORIENTATION (pour un total de 12 ECTS) à choisir parmi :
 +| GEOMETRIE DIFFERENTIELLE | 6 ECTS |
 +| THEORIE SPECTRALE | 6 ECTS |
 +| ARITHMETIQUE | 12ECTS |
 +| LOGIQUE II (Incomplétude + Théorie des ensembles) | 12 ECTS |
 +| EQUATIONS AUX DERIVEES PARTIELLES ET APPROXIMATION | 6 ECTS |
 +| PROBABILITES ET PROCESSUS | 12ECTS |
 +| STATISTIQUE ET MODELISATION (Statistique fondamentale + Méthodes Markoviennes en Statistique) | 12 ECTS |
 +| CODES ET CRYPTOGRAPHIE,​ ALGORITHMES PROBABILISTES ET COMPLEXITE | 12 ECTS |
 +
 +1 UE d’OUVERTURE (6 ECTS)
 +
 +**Orientation 2: logique et informatique**
 +
 +1 UE D’ORIENTATION (12 ECTS) à choisir parmi :
 +| ARITHMETIQUE | 12ECTS |
 +| LOGIQUE II (Calculabilité et Arithmétique + Théorie des ensembles) | 12 ECTS |
 +
 +1 UE D’ORIENTATION (12 ECTS = 2x6 ECTS) à choisir au 2ème semestre parmi : une UE du M1 Informatique
 +
 +1 UE D’OUVERTURE (6 ECTS)