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

perm_contact_calendarvCard
Données administratives

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. goto


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. goto