Versie 8, 18/08/16


De cursus van week tot week


Week 5

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


Week 6

Dinsdag 9 februari: Carnaval

Donderdag 11 februari: LIN4 Tim Steenvoorden
College: Natuurlijke semantiek

Leertaak 2: Afleidingsregels voor natuurlijke semantiek


Week 7

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


Week 8

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


Week 9

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


Week 10

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


Week 11

Dinsdag 15 maart: LIN4 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 6

Donderdag 17 maart: LIN4 Engelbert Hubbers
College: Proceduresemantiek

Leertaak 7: Blokken en procedures


Week 12

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.


Week 13

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


Week 14

Dinsdag 6 april: Kwartaalonderbreking

Donderdag 7 april: Kwartaalonderbreking


Week 33

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


Versie 8, 18/08/16


Versie 7, 23/03/16


Versie 6, 15/03/16


Versie 5, 01/03/16


Versie 4, 01/02/16


Versie 3, 29/01/16


Versie 2, 03/12/15


Versie 1, 25/11/15