De cursus van week tot week

(planning)

maandag 4 september
Welkom
College: Structurele operationele semantiek

Leertaak 1: Structurele operationele semantiek en uitbreidingen van While

donderdag 7 september
GEEN COLLEGE

maandag 11 september
Responsiecollege: Nabespreking leertaak 1

donderdag 14 september
College: Blokken en procedures

Leertaak 2: Blokken en procedures

maandag 18 september
Responsiecollege: Nabespreking leertaak 2

donderdag 21 september
College: Vervolg procedure-semantiek
Werkstuk: Introductie

Leertaak 3: Procedure-semantiek

maandag 25 september
Responsiecollege: Nabespreking leertaak 3

donderdag 28 september
GEEN COLLEGE ivm Lustrum

maandag 2 oktober
College: JML
Werkstuk: Onderwerp en opzet gereed

donderdag 5 oktober
Practicum: JML

maandag 9 oktober
College: Inleiding lambda-calculus

Leertaak 4: Berekeningen in de lambda-calculus

donderdag 12 oktober
Responsiecollege: Nabespreking leertaak 4

HERFSTVAKANTIE

maandag 23 oktober
College: Reductie en recursie in de lambda-calculus

Leertaak 5: Reductie en recursie in de lambda-calculus

donderdag 26 oktober
Responsiecollege: Nabespreking leertaak 5

maandag 30 oktober
College: Representatie berekenbare functies; normalisatie

Leertaak 6: Representatie en normalisatie in de lambda-calculus

donderdag 2 november
Responsiecollege: Nabespreking leertaak 6
Werkstuk: Eerste versie gereed

maandag 6 november
College: Normalisatie, optimalisatie en strictheid; inleiding getypeerde lambda-calculus
Werkstuk: tussenbespreking

Leertaak 7: Getypeerde lambda-calculus

donderdag 9 november
Responsiecollege: Nabespreking leertaak 7
Geïntegreerd hoorcollege: Eigenschappen van het typeringssysteem

Leertaak 8: Getypeerde lambda-calculus (vervolg)

maandag 13 november
Responsiecollege: Nabespreking leertaak 8

donderdag 16 november
College: Typeafleiding en typeverificatie

Leertaak 9: Typeafleiding en typeverificatie

maandag 20 november
Responsiecollege: Nabespreking leertaak 9

donderdag 23 november
Voorbereiding eerste deeltentamen (vragenuur)

maandag 27 november
Eerste deeltentamen
Werkstuk gereed

Data nog te bepalen
Bespreking werkstuk

donderdag 30 november
College: Clausules en unificatie

Leertaak 10: Clausules en unificatie

maandag 4 december
Responsiecollege: Nabespreking leertaak 10

donderdag 7 december
College: Resolutie

Leertaak 11: Algemene resolutie en "normalizatie" van formules

maandag 11 december
Responsiecollege: Nabespreking leertaak 11

donderdag 14 december
College: SLD-resolutie en Herbrandmodellen

Leertaak 12: SLD-resolutie en Herbrandmodellen

maandag 18 december
Responsiecollege: nabespreking leertaak 12

donderdag 21 december
GEEN COLLEGE

KERSTVAKANTIE

maandag 8 januari
College: Onvolledigheid

Leertaak 13: Onvolledigheid

donderdag 11 januari
GEEN COLLEGE

maandag 15 januari
Responsiecollege: nabespreking leertaak 13

woensdag 24 januari, 10:30 uur, plaats nog te bepalen
Afsluiting; voorbereiding tweede deeltentamen (vragenuur)

donderdag 25 januari, 10:30-12:30 uur, plaats nog te bepalem
Tweede deeltentamen