De cursus van week tot week
maandag 1 september
Welkom
College: Structurele operationele semantiek
Leertaak 1: Structurele operationele semantiek en uitbreidingen van While
woensdag 3 september
Responsiecollege: Nabespreking leertaak 1
maandag 8 september
GEEN COLLEGE
woensdag 10 september
GEEN COLLEGE
maandag 15 september
College: Blokken en procedures
Leertaak 2: Blokken en procedures
woensdag 17 september
Responsiecollege: Nabespreking leertaak 2
maandag 22 september
College: Vervolg procedure-semantiek
Werkstuk: Introductie
Leertaak 3: Procedure-semantiek
woensdag 24 september
Responsiecollege: Nabespreking leertaak 3
maandag 29 september
College: JML
woensdag 1 oktober
Practicum: JML Locatie: HG HG00.023
Assignment: JML Opgaven
maandag 6 oktober
College: Inleiding lambda-calculus
Leertaak 4: Berekeningen in de lambda-calculus
woensdag 8 oktober
Responsiecollege: Nabespreking leertaak 4
Werkstuk: Onderwerp en opzet inleveren voor 8 oktober; korte presentaties van de werkstukken (opzet)
maandag 13 oktober
GEEN COLLEGE (Herfstvakantie)
woensdag 15 oktober
GEEN COLLEGE (Herfstvakantie)
maandag 20 oktober
College: Reductie en recursie in de lambda-calculus
Leertaak 5: Reductie en recursie in de lambda-calculus
woensdag 22 oktober
Responsiecollege: Nabespreking leertaak 5
maandag 27 oktober
College: Representatie berekenbare functies; normalisatie
Leertaak 6: Representatie en normalisatie in de lambda-calculus
woensdag 29 oktober
Responsiecollege: Nabespreking leertaak 6
Werkstuk: Eerste versie gereed
maandag 3 november
College: Normalisatie, optimalisatie en strictheid; inleiding getypeerde lambda-calculus
Werkstuk: bespreking eerste versie
Leertaak 7: Getypeerde lambda-calculus
woensdag 5 november
Responsiecollege: Nabespreking leertaak 7
maandag 10 november
College: Eigenschappen van het typeringssysteem
Leertaak 8: Getypeerde lambda-calculus (vervolg)
woensdag 12 november
Responsiecollege: Nabespreking leertaak 8
maandag 17 november
College: Typeafleiding en typeverificatie
Leertaak 9: Typeafleiding en typeverificatie
woensdag 19 november
Responsiecollege: Nabespreking leertaak 9
maandag 24 november
College: Clausules en unificatie
Leertaak 10: Clausules en unificatie
woensdag 26 november
Voorbereiding eerste deeltentamen (vragenuur)
maandag 1 december
Eerste deeltentamen Hier zijn het Lambda calculus + type theorie deeltentamen van 2007 en het Lambda calculus + type theorie herdeeltentamen van 2007
woensdag 3 december
Responsiecollege: Nabespreking leertaak 10
vrijdag 5 december
Werkstuk gereed
Data nog te bepalen
Bespreking werkstuk
maandag 8 december
College: Resolutie
Leertaak 11: Algemene resolutie en "normalizatie" van formules
woensdag 10 december
Responsiecollege: Nabespreking leertaak 11
maandag 15 december
College: SLD-resolutie en Herbrandmodellen
Leertaak 12: SLD-resolutie en Herbrandmodellen
woensdag 17 december
Responsiecollege: nabespreking leertaak 12
KERSTVAKANTIE
maandag 5 januari
College: Onvolledigheid
Leertaak 13: Onvolledigheid
woensdag 7 januari
Responsiecollege: nabespreking leertaak 13
maandag 12 januari
Afsluiting; voorbereiding tweede deeltentamen (vragenuur)
woensdag 14 januari
Tweede deeltentamen
Hier is een oud Logica deeltentamen van januari 2006
Hier is een oud Logica deeltentamen van januari 2007
vrijdag 30 januari
Her van het eerste deeltentamen (lambda calculus + type theorie), 10.30-12.30 locatie: HG 00.310
vrijdag 27 februari
Her van het tweede deeltentamen (logica), 10.30-12.30, locatie nader te bepalen