Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
formations:masters:math:m1-lmfi [2012/04/02 15:10] lemenant |
formations:masters:math:m1-lmfi [2016/01/15 11:39] 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** | ||
+ | |||
+ | 1 UE FONDAMENTALE de maths (12 ECTS) à choisir parmi : | ||
+ | | ANALYSE FONCTIONNELLE ET ANALYSE DE FOURIER | 12 ECTS | | ||
+ | | ALGEBRE | 12 ECTS | | ||
+ | | THEORIE SPECTRALE | 6 ECTS | | ||
+ | 1 UE FONDAMENTALE de logique (12 ECTS) : | ||
+ | | LOGIQUE 1 (Logique du 1er Ordre + Logique et Complexité) | 12 ECTS | | ||
+ | 1 UE de LANGUE (6 ECTS) | ||
+ | |||
+ | **Orientation 2 : logique et informatique** | ||
+ | |||
+ | 1 UE FONDAMENTALE de maths (12 ECTS) à choisir parmi : | ||
+ | | ANALYSE FONCTIONNELLE ET ANALYSE DE FOURIER | 12 ECTS | | ||
+ | | ALGEBRE | 12 ECTS | | ||
+ | 1 UE FONDAMENTALE de logique (12 ECTS) : | ||
+ | | LOGIQUE I (Logique du 1er Ordre + Logique et Complexité) | 12 ECTS | | ||
+ | 1 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 | | ||
+ | | 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) |