====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)