Master : Mathématiques et applications Spécialité : Logique Mathématique et Fondements de l’Informatique (LMFI)

ex - DEA de logique mathématique et fondements de l'informatique L'encadrement est assuré par : P. Baillot, C. Berline, S. Boughattas, E. Bouscaren, E. Chailloux, Z. Chatzidakis, F. Conduché, R. Cori, V. Danos, F. Delon, M. Dickmann, C. Fouqueré, E. Jaligot, T. Joly, A. Khélif, J.L. Krivine, R. Labib-Sami, R. Lassaigne, 0. Laurent, P. Manoury, P.A. Melliès, M.H. Mourgues, F. Oger, M. Parigot, F. Point, B. Poizat, C. Raffalli, J.P. Ressayre, D. Richard, M. de Rougemont, P. Rozière, G. Sabbagh, P. Simonetta, C. Sureson, S. Todorcevic, J. Vauzeilles, B. Velickovic.

PARIS

Contenu

Objectifs

Les objectifs pédagogiques de la spécialité Logique Mathématique et Fondements de l’Informatique (LMFI) sont de fournir une spécialisation dans les domaines de la logique mathématique et des fondements de l'informatique.
Retour spécialité

Prérequis

Licence

Diplôme visé

Cette formation est pour moi
PARIS N.C N.C.
Cette formation est pour moi
Ajouter
Partager

Veuillez remplir ce formulaire pour que nous puissions vous mettre en relation avec l'organisme de formation.
Cet organisme vous recontactera très prochainement.