Ce cours est accessible aux élèves de première année. Il couvre les bases de la théorie des ensembles, de la théorie des modèles et de la calculabilité.

Programme

  1. Théorie des ensembles

  2. Théorie des modèles

  3. Récursivité, indécidabilité, incomplétude

Travaux dirigés

Feuilles de TD (Noé de Rancourt)

Bibliographie

Notes de cours des années antérieures

Todor Tsankov, Toits du DMA Bureau T2, todor @XXNOQKTJUE@@ math point univ-paris-diderot point fr .