Zoek
English
  Studiegidsen 2006-2007
Radboud UniversiteitStudiegidsenFaculteit der Natuurwetenschappen, Wiskunde en Informatica > Bachelor Wiskunde

Logica 1 

Vakcode
WB008B
Studiepunten
3
Periode
7e kwartaal
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.