Deze pagina gaat over het eerstejaars college Inleiding Wiskundige Logica voor de studierichting Wiskunde (bachelor, 1e jaar).
Het tentamen is op dinsdag 29 mei. De tentamenstof bestaat uit de Hoofdstukken 1, 2, 3, 4, 6, 7, 8, 10 en 11 van de syllabus.
Hier zijn de huiswerkopdrachten: huiswerk 6, huiswerk 5, huiswerk 4, huiswerk 3, huiswerk 2; huiswerk 1 was opgave 2.4 uit de syllabus.
Hier zijn uitwerkingen van Opgave 11.1 (gemaakt door Jan Rooduijn) en Opgave 11.3 (gemaakt door Tim Henke).
Wie ND-afleidingen in LaTeX wil geven, kan de style file fitch.sty ophalen en gebruiken; hier is documentatie.
Aan het begin van elke week worden de opgaven bekend gemaakt die bij het werkcollege worden besproken.
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
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.
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:
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.