De cursus van week tot week
Woensdag 15 november: HG00.307 Engelbert Hubbers
Welkom.
Verkenning: Inleiding semantiek
College: Semantiek van expressies
Het ALGOL68 report.
Leertaak 1: Semantiek van expressies in programmeertalen
Dinsdag 21 november: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 1
Woensdag 22 november: HG00.307 Engelbert Hubbers
College: Natuurlijke semantiek
Leertaak 2: Afleidingsregels voor natuurlijke semantiek
Dinsdag 28 november: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 2
Woensdag 29 november: HG00.307 Engelbert Hubbers
College: Semantische equivalentie
Leertaak 3: Herhalingsconstructies en semantische equivalentie
Dinsdag 5 december: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 3
Woensdag 6 december: HG00.307 Marc Schoolderman
Hoarecollege: Inleiding axiomatische semantiek
Leertaak 4: Inleiding axiomatische semantiek
Dinsdag 12 december: LIN4 Marc Schoolderman
Responsiecollege: Nabespreking leertaak 4
Woensdag 13 december: HG00.307 Marc Schoolderman
College: Soundness, completeness en zwakste precondities
Leertaak 5: Correctheidsregels, soundness en completeness
Dinsdag 19 december: LIN4 Marc Schoolderman
Responsiecollege: Nabespreking leertaak 5
Woensdag 20 december: HG00.307 Engelbert Hubbers
College: Structurele operationele semantiek
Leertaak 6: Structurele operationele semantiek en uitbreidingen van While
Dinsdag 26 december: Geen college: Kerstvakantie
Woensdag 27 december: Geen college: Kerstvakantie
Dinsdag 2 januari: Geen college: Kerstvakantie
Woensdag 3 januari: Geen college: Kerstvakantie
Dinsdag 9 januari: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 6
Woensdag 10 januari: HG00.307 Engelbert Hubbers
College: Proceduresemantiek
Leertaak 7: Blokken en procedures
Dinsdag 16 januari: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 7
Woensdag 17 januari: HG00.307 Engelbert Hubbers
Responsiecollege: Nabespreking oud tentamen
Maandag 29 januari: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Semantiek van imperatieve talen
Geschiedenis van deze pagina
