Profile picture placeholder

Jacques Duparc

jacques.duparc@epfl.ch +41 21 692 35 88

Enseignement et PhD

Courses

Logique mathématique

MATH-381

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. C'est entre autres un cours dans lequel la pratique mathématique devient un objet d'étude mathématique.

Set theory

MATH-318

La théorie des ensembles comme l'un des fondements des mathématiques. ZF, ZFC, ZF avec atomes. Consistence relative de l'axiome du choix, de l'hypothèse du continu, des réels comme union dénombrabble d'ensembles dénombrables, de l'existence d'une famille dénombrables de paires sans fonction de choix