Jacques Duparc
jacques.duparc@epfl.ch +41 21 692 35 88
EPFL SB SMA-GE
MA A2 393 (Bâtiment MA)
Station 8
CH-1015 Lausanne
Enseignement & Phd
Enseignement
- Mathematics,
Cours
Set theory
La Théorie des Ensembles comme fondation des mathématiques. Consistance relative de l'Axiome du Choix et de l'Hypothèse du Continu.
Logique mathématique
Branche des mathématiques en lien avec le fondement des mathématiques et l'informatique théorique. Le cours est centré sur la logique du 1er ordre et l'articulation entre syntaxe et sémantique.