éF École de FranceFormations CPF & écoles Trouver ma formation
Titre RNCP 100% CPF

M2 Mathématiques et applications - Logique mathématique et fondements de l'informatique (LMFI)

UNIVERSITE PARIS CITE

600 €à partir de
Durée variabledurée
1session active
Parislieu

Objectifs de la formation

Le M2 LMFI est le seul M2 français dédié à la logique mathématique et à ses applications à l'informatique. Il forme des logiciens de haut niveau et les prépare au doctorat, aux carrières universitaires, à l'enseignement et à des métiers de la R&D. Il est organisé par deux laboratoires prestigieux, de l'Université Paris Cité et du CNRS, couvrant la plupart des branches de la logique mathématique et de la logique informatique : l'Équipe de Logique Mathématique de l'Institut de Mathématiques de Jussieu - Paris Rive Gauche et le pôle Preuves, Programmes, Systèmes (PPS) de l'Institut de Recherche en Informatique Fondamentale

Programme

Le LMFI est composé :
Au premier semestre :
un cours préliminaire intensif de logique (30h), facultatif;
un tronc commun constitué de quatre cours fondamentaux (trois cours de 48h, un cours de 84h);
les groupes de travail des cours fondamentaux (36h chacun).
Au second semestre :
huit cours avancés (48h chacun);
des cours d'ouverture (24h chacun);
une initiation à la recherche sous forme d'un stage/mémoire, encadré par un enseignant-chercheur.

Résultats attendus

.La suite naturelle de cette formation est la préparation d'un doctorat, soit en logique mathématique, soit en informatique (notamment fondamentale).

Les points forts

Ce programme universitaire est affilié à la Graduate School Mathematical Sciences d'Université Paris Cité, liant des cours de master et doctorat à des laboratoires de recherche de pointe.

La certification

MASTER Mathématiques et applications (fiche nationale)

RNCP 39416 RS -1 CertifInfo 117338

Organisme & lieu

Formations similaires