Wiskundige Logica: 2018/2019
Deze pagina gaat over het tweedejaars college Wiskundige Logica
voor de studierichting Wiskunde (bachelor, 2e jaar).
Er is een aparte pagina over
- Informatie over dit college is te vinden op de Canvaspagina van het
vak.
Opzet
Het college Wiskundige Logica bestaat uit veertien hoorcolleges en
evenveel werkcolleges.
Aan het begin van elke week worden de opgaven bekend gemaakt die bij het
werkcollege worden besproken.
Aanwezigheid bij het werkcollege is verplicht en wordt bijgehouden.
Tijd en plaats
Materiaal
- Als basismateriaal voor het college gebruiken we het volgende boek:
H.-D. Ebbinghaus, J. Flum, W. Thomas,
Mathematical Logic. Second Edition,
Springer.
-
Dit boek zal worden aangevuld met aantekeningen die via deze pagina in pdf vorm
beschikbaar zullen worden gemaakt.
- NB: ook het materiaal van de werkcolleges behoort tot de collegestof.
Docenten
-
Yde Venema: hoorcollege en
eindverantwoordelijkheid;
- X en Y: werkcolleges en huiswerkcorrectie.
Beoordeling
- deze informatie zal tzt beschikbaar worden gemaakt
Vakomschrijving
Dit vak biedt een inleiding in de equationele logica;
het behandelt de basisresultaten van de eerste-order predicatenlogica,
en een speciaal onderwerp.
Wat betreft de equationele logica komen de volgende onderwerpen aan de orde:
- algebra's en vergelijkingen
- boolese algebra
- equationele afleidingen
- Birkhoff's volledigheidsstelling
Van de predicatenlogica herhalen we kort de taal en semantiek, en behandelen dan
- expressiviteit dmv spelen
- natuurlijke deductie
- Gödels volledigheidsstelling
- compactheid
- Löwenheim-Skolem stelling
- onbeslisbaarheid van de predicatenlogica
Voor het speciale onderwerp maken we een keuze uit
- intuïtionistische logica
- modale logica
- representatiestelling voor boolese algebra's
Vragen, opmerkingen: stuur een mailtje naar
Yde Venema