Ceci est une ancienne révision du document !
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 (Calculabilité et Arithmétique + Théorie des ensembles) | 12 ECTS |
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 (Statistique fondamentale + Méthodes Markovienne 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 = 2×6 ECTS) à choisir au 2ème semestre parmi : une UE du M1 Informatique
1 UE D’OUVERTURE (6 ECTS)