Jacques Duparc

EPFL SB SB-SMA SMA-ENS
MA A2 393 (Bâtiment MA)
Station 8
CH-1015 Lausanne

Données administratives

Enseignement & Phd

Enseignement

  • Mathematics,

Programmes doctoraux

Doctorants

Cours

Gödel and recursivity

Théorèmes d'incomplétude de Gödel et fondements mathématique de l'informatique. goto

Informatique, 2018-2019, Master semestre 1, language : anglais
Informatique, 2018-2019, Master semestre 3, language : anglais
Mathématiques, 2018-2019, Master semestre 1, language : anglais
Mathématiques, 2018-2019, Master semestre 3, language : anglais
Systèmes de communication, 2018-2019, Master semestre 1, language : anglais
Systèmes de communication, 2018-2019, Master semestre 3, language : anglais

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

Mathématiques, 2018-2019, Bachelor semestre 5, language : français

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

Informatique, 2018-2019, Master semestre 2, language : anglais
Mathématiques, 2018-2019, Master semestre 2, language : anglais
Mathématiques, 2018-2019, Master semestre 4, language : anglais
Systèmes de communication, 2018-2019, Master semestre 2, language : anglais
Systèmes de communication, 2018-2019, Master semestre 4, language : anglais