M1 Logique Mathématiques et Fondements de l'informatique
La formation est organisée en deux semestres.
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 | 2×6 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 | 2×6 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 |
| 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 = 2×6 ECTS) à choisir au 2ème semestre parmi : une UE du M1 Informatique
1 UE D’OUVERTURE (6 ECTS)