Domaine : Informatique-Maths applis
Etablissement principal: Univ. PARIS 7
Programme :
Cours Préliminaire Intensif : Logique Mathématique / Cours Fondamentaux : Logique fondamentale - LABIB-SAMI - Théorie des ensembles - Calculabilité
Cours Optionnels : Lambda-calcul , types et modèles - Théorie des modèles corps finis et pseudo-finis - Logique linéaire et réseaux de preuves - Théorie des modèles, les outils classiques - Théorie descriptive effective des ensembles - Interprétations algorithmiques et preuves - Théorie des ensembles.
Mots-clés:
Responsable de la formation: M. J.L. KRIVINE
Adresse:
2 place Jussieu Tour 45 55 5ème étage
75251 PARIS cedex 05
Tél : (1) 44 27 37 61 - Fax : 44 27 61 48
Numéro du DEA : 308