Verplicht in fase
Tweede semester
Beide semesters
Niet ingericht
Volgend jaar
Wisselende jaren
Extern
Voorwaarden
Identieke opleidingsonderdelenWiskundige logica (B-KUL-G0A98A)
Cluckers Raf | Daans Nicolas (plaatsvervanger) 
Dit opleidingsonderdeel wordt dit academiejaar ingericht, maar niet volgend jaar.Doelstellingen
Grondig begrip van de klassieke resultaten van de wiskundige logica, verzamelingenleer en toepassingen in wiskunde.
Begintermen
Voorkennis zoals aangeboden, bijvoorbeeld, in het college "G0U13A Bewijzen en redeneren" of "G0T42A Logica voor informatica" van 1Ba.
Plaats in het onderwijsaanbod
- Master in de wiskunde (Leuven) 120 sp.
Onderwijsleeractiviteiten
6 sp. Wiskundige logica (B-KUL-G0A98a)
NederlandsWerkvorm: College
26 uren
Eerste semesterCluckers Raf | Daans Nicolas (plaatsvervanger) Inhoud
Deze cursus zal een inleiding geven tot de wiskundige logica, model theorie en verzamelingenleer, met focus op een aantal bredere wiskundige toepassingen.
De belangrijkste onderwerpen zijn:
- eerste-orde logica en model theorie
- berekenbaarheid en complexiteitstheorie
- (on-)volledigheid en (on-)beslisbaarheid (Gödel)
- kwantoreneliminatie, compactheid, ultraproducten, types
- stabiliteit en minimale structuren
- Voorbeelden en toepassingen in andere domeinen van wiskunde
- Verzamelingenleer
Studiemateriaal
Cursustekst of handdboek
Toelichting werkvorm
Hoorcollege.