Wiskundige logica 2016/2017

Dit is de website van het werkcollege van wiskundige logica. De hoofdwebsite van het vak is op Blackboard te vinden.

Werkcollegeoverzicht

WeekOnderwerpenDocumenten
1 Eerste-orde logica en relaties Slides, handouts
2 Termen, formules en structuren Slides, handouts, huiswerk 1
3 Interpretaties Slides, handouts
4 Axioma's en substitutie Slides, handouts, huiswerk 2
5 Bewijzen en correctheid Slides, handouts
6 Bewijzen en correctheid (vervolg) Slides, handouts, huiswerk 3, overzicht calculusregels
7 Henkins stelling Slides, handouts
8 Consistentie, vervulbaarheid en de compactheidsstelling Slides, handouts, huiswerk 4
9 De compactheidsstelling en topologie, elementaire verzamelingen en Zorns lemma Slides, handouts
10 Axiomatische systemen en elementaire verzamelingen (vervolg) Slides, handouts, huiswerk 5
11 Filters, ultrafilters en ultraproducten Slides, handouts
12 ZFC en $\Phi_0$ Slides, handouts, huiswerk 6
13 ZFC + AF Slides, handouts, tekstversie van V5
Je kunt hier alle handouts in één bestand downloaden.