(Dutch)
Lesinhoud: Deze cursus geeft een inleiding tot de wiskundige logica, modeltheorie en verzamelingenleer, met focus op een aantal bredere wiskundige toepassingen. De belangrijkste onderwerpen zijn:

• eerste-orde logica en modeltheorie
• berekenbaarheid en complexiteitstheorie
• (on-)volledigheid en (on-)beslisbaarheid (Gödel)
• kwantoreneliminatie, compactheid
• Voorbeelden en toepassingen in andere domeinen van wiskunde
• Verzamelingenleer

Cursusmateriaal

De cursus volgt het boek ``A First Journey Through Logic’’ van Martin Hils and François Loeser (link). Extra oefeningen: 1, 2, 3, 4, 5, 6. Extra nota’s over Gödel’s Onvolledigheidsstelling.