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)

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), 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