Werkvormen
- 16 uur hoorcollege
- 16 uur werkcollege
|
Leerdoelen
De student maakt kennis met de formele kant van het wiskundig redeneren.
|
Beschrijving
Uitspraakrekening, volgens de natuurlijke calculus van G. Gentzen, enkele wiskundige structuren en eenvoudige modeltheoretische begrippen.
|
Tentaminering
Schriftelijk tentamen, waarbij goed gemaakte huiswerkopgaven een positieve invloed op het eindresultaat kunnen hebben.
|