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

Universite Paris Cite

Coût moyen: 1 050 € TTC
Où: Île-de-France
Niveau de sortie: BAC+5 : grade master, DEA, DESS, ingénieur... (NIVEAU 7)
Domaine: Analyse mathématique

Objectifs

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

Certification préparée

Mathématiques et applications (fiche nationale) (RNCP39416), enregistrée au Répertoire national des certifications professionnelles.

Voir la fiche de la certification

S'inscrire à cette formation

Cette formation est référencée au catalogue Mon Compte Formation. Le lien ouvre la recherche avec l’intitulé pré-rempli ; il vous restera à choisir votre localisation.

Rechercher sur Mon Compte Formation

Vous êtes Universite Paris Cite ? Publiez votre page de formation sur diplome.app et recevez les demandes des candidats directement. Référencer mon organisme