Inleiding Wiskundige Logica: 2017/2018
Deze pagina gaat over het eerstejaars college Inleiding Wiskundige Logica
voor de studierichting Wiskunde (bachelor, 1e jaar).
Er is een aparte pagina over
- Vanaf 2018/2019 zal het college Inleiding Wiskundige Logica
worden verzorgd door dr. Bahareh Afshari (b punt afshari at uva punt nl).
- Deze pagina wordt niet langer onderhouden.
- Hier is de volledige syllabus.
Opzet
Het college Inleiding Logica bestaat uit zeven hoorcolleges en zeven
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
Het hoorcollege is op dinsdag van 15 tot 17 uur in zaal SP C0.110
(Science Park), behalve in
- week 16: geen hoorcollege op 8 mei.
De werkcolleges zijn op donderdag van 9 tot 11 uur,
in de zalen SP G3.10, SP D1.112 en SP G5.29,
behalve in
- week 16: geen werkcollege op 10 mei.
Alle zalen zijn in Science Park.
Materiaal
- Als basismateriaal voor het college gebruiken we een syllabus, die
hier
in de vorm van een pdf file beschikbaar is.
- Als onderdeel van deze syllabus gebruiken we enkele hoofdstukken uit het boek:
Logica in actie
van Johan van Benthem, Hans van Ditmarsch and Jan van Eijck.
U kunt dit boek
hier
downloaden, maar gezien de schappelijke prijs valt het te overwegen
om het boek aan te schaffen.
- NB: ook het materiaal van de werkcolleges behoort tot de collegestof.
Docenten
-
Yde Venema: hoorcollege en
eindverantwoordelijkheid;
- Tim Henke [tim punt henke at gmail dot com],
Jan Rooduijn [j dot m dot w dot rooduijn at uva dot nl] en
Kyah Smaal [kyahsmaal at gmail dot com]:
werkcolleges en huiswerkcorrectie.
Beoordeling
Er is een schriftelijk tentamen op dinsdag 29 mei, van 13:00-16:00 uur.
Daarnaast dient u wekelijks een van de huiswerkopgaven van het
werkcollege in te leveren bij het daaropvolgende werkcollege.
De deadline is steeds bij aanvang van dat werkcollege.
Er zijn in totaal zes inleveropdrachten.
Uw eindcijfer wordt grotendeels bepaald door uw tentamencijfer (T)
en gedeeltelijk door uw score (H) op het ingeleverde huiswerk.
De precieze berekening van het eindcijfer
is als volgt:
- het gemiddelde van de beste X (uit X+1) huiswerkcijfers geeft het
cijfer H;
- het tentamencijfer dient minimaal een 5 te zijn: T >= 5;
- de formule voor het eindcijfer is dan: (4*T + H)/5.
Met andere woorden: het huiswerk telt voor 1/5 mee.
Vakomschrijving
Dit vak biedt een inleiding in de twee belangrijkste formalismes uit de
wiskundige logica: de propositielogica en de predicatenlogica.
In beide
gevallen worden zowel de formele taal, de semantiek als een afleidingssysteem
(natuurlijke deductie) behandeld.
Wat betreft de propositielogica komen de volgende onderwerpen aan de orde:
- formules en inductie naar de complexiteit van formules,
- waarheidstafels,
- tautologieën en propositionele equivalenties,
- functionele volledigheid en disjunctieve normaalvormen,
- natuurlijke deductie,
- correctheid, volledigheid en compactheid (met bewijzen).
Van de predicatenlogica behandelen we
- de taal en semantiek van de eerste-orde logica,
- vertalen van natuurlijke taal naar de predicatenlogica,
- semantische begrippen als geldigheid en equivalentie,
- theoriën en axiomatiseringen,
- expressiviteit dmv spelen,
- natuurlijke deductie,
- correctheid, volledigheid en compactheid (zonder bewijs).
Vragen, opmerkingen: stuur een mailtje naar
Yde Venema