De cursus van week tot week
Maandag 30 januari: LIN4 Engelbert Hubbers
Welkom.
Verkenning: Inleiding semantiek
College: Semantiek van expressies
Het ALGOL68 report.
Leertaak 1: Semantiek van expressies in programmeertalen
Donderdag 2 februari: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 1
Maandag 6 februari: LIN4 Engelbert Hubbers
College: Natuurlijke semantiek
Leertaak 2: Afleidingsregels voor natuurlijke semantiek
Donderdag 9 februari: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 2
Maandag 13 februari: LIN4 Engelbert Hubbers
College: Semantische equivalentie
Leertaak 3: Herhalingsconstructies en semantische equivalentie
Donderdag 16 februari: Geen college: Engelbert is verhinderd.
Maandag 20 februari: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 3
Donderdag 23 februari: LIN4 Engelbert Hubbers
Hoarecollege: Inleiding axiomatische semantiek
Leertaak 4: Inleiding axiomatische semantiek
Maandag 27 februari: Geen college: Carnaval
Donderdag 2 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 4
Maandag 6 maart: LIN4 Engelbert Hubbers
College: Soundness, completeness en zwakste precondities
Leertaak 5: Correctheidsregels, soundness en completeness
Donderdag 9 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 5
Maandag 13 maart: LIN4 Engelbert Hubbers
College: Structurele operationele semantiek
Leertaak 6: Structurele operationele semantiek en uitbreidingen van While
Donderdag 16 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 6
Maandag 20 maart: LIN4 Engelbert Hubbers
College: Proceduresemantiek
Leertaak 7: Blokken en procedures
Donderdag 23 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 7
Vrijdag 31 maart: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Semantiek van imperatieve talen
Maandag 8 mei, 13.45--15.30: HG00.108 Engelbert Hubbers
Responsiecollege: verplicht voor derdekans-studenten
Maandag 15 mei: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Hertentamen: Semantiek van imperatieve talen
Geschiedenis van deze pagina
