De cursus van week tot week
Dinsdag 2 februari: LIN4 Engelbert Hubbers Tim Steenvoorden
Welkom.
Verkenning: Inleiding semantiek
College: Semantiek van expressies
Het ALGOL68 report.
Leertaak 1: Semantiek van expressies in programmeertalen
Donderdag 4 februari: LIN4 Tim Steenvoorden
Responsiecollege: Nabespreking leertaak 1
Dinsdag 9 februari: Carnaval
Donderdag 11 februari: LIN4 Tim Steenvoorden
College: Natuurlijke semantiek
Leertaak 2: Afleidingsregels voor natuurlijke semantiek
Dinsdag 16 februari: LIN4 Tim Steenvoorden
Responsiecollege: Nabespreking leertaak 2
Donderdag 18 februari: LIN4 Tim Steenvoorden
College: Semantische equivalentie
Leertaak 3: Herhalingsconstructies en semantische equivalentie
Dinsdag 23 februari: LIN6 Tim Steenvoorden
Responsiecollege: Nabespreking leertaak 3
Donderdag 25 februari: LIN4 Engelbert Hubbers
Hoarecollege: Inleiding axiomatische semantiek
Leertaak 4: Inleiding axiomatische semantiek
Dinsdag 1 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 4
Extra oefeningen naar aanleiding van leertaak 4.
Uitwerkingen naar aanleiding van leertaak 4.
Donderdag 3 maart: LIN4 Engelbert Hubbers
College: Soundness, completeness en zwakste precondities
Leertaak 5: Correctheidsregels, soundness en completeness
Dinsdag 8 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 5
Uitwerkingen naar aanleiding van leertaak 5.
Donderdag 10 maart: LIN4 Engelbert Hubbers
College: Structurele operationele semantiek
Leertaak 6: Structurele operationele semantiek en uitbreidingen van While
Dinsdag 15 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 6
Donderdag 17 maart: LIN4 Engelbert Hubbers
College: Proceduresemantiek
Leertaak 7: Blokken en procedures
Dinsdag 22 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 7
Donderdag 24 maart: LIN4 Engelbert Hubbers
Nabespreking van het tentamen van 2009; verstopt achter de link 'Tentamen' hieronder.
Dinsdag 30 maart: Kwartaalonderbreking
Donderdag 31 maart: Kwartaalonderbreking
Vrijdag 1 april, 08.30--11.30: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Tentamen
Dinsdag 6 april: Kwartaalonderbreking
Donderdag 7 april: Kwartaalonderbreking
Donderdag 18 augustus, 15.45--16.30: HG00.310 Engelbert Hubbers Tim Steenvoorden
Vragenuur
Vrijdag 19 augustus, 08.30--11.30: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Hertentamen
Geschiedenis van deze pagina