Versie 10, 28/07/14


De cursus van week tot week


Week 6

Dinsdag 4 februari: HG00.068 Erik Barendsen
Welkom.
Verkenning: Inleiding semantiek
College: Semantiek van expressies

Het ALGOL68 report.

Leertaak 1: Semantiek van expressies in programmeertalen

Donderdag 6 februari: HG00.071 Erik Barendsen
Responsiecollege: Nabespreking leertaak 1
College: Natuurlijke semantiek

Leertaak 2: Afleidingsregels voor natuurlijke semantiek


Week 7

Dinsdag 11 februari: HG00.068 Erik Barendsen
Responsiecollege: Nabespreking leertaak 2

Donderdag 13 februari: HG00.071 Erik Barendsen
College: Semantische equivalentie

Leertaak 3: Herhalingsconstructies en semantische equivalentie


Week 8

Dinsdag 18 februari: HG00.068 Erik Barendsen
Responsiecollege: Nabespreking leertaak 3

Extra oefeningen naar aanleiding van leertaak 3.

Donderdag 20 februari: HG00.071 Erik Barendsen
College: Abrupte terminatie in Java (case study)

Leertaak 4: Abrupte terminatie in Java


Week 9

Dinsdag 25 februari: HG00.068 Erik Barendsen
Werkstuk: Introductie
Responsiecollege: Nabespreking leertaak 4

Donderdag 27 februari: HG00.071 Engelbert Hubbers
College: Structurele operationele semantiek

Leertaak 5: Structurele operationele semantiek en uitbreidingen van While


Week 10

Dinsdag 4 maart: Carnaval

Donderdag 6 maart: HG00.071 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 5
Werkstuk: Groepsindeling, onderwerpkeuze; Inleveren via Blackboard assignment


Week 11

Dinsdag 11 maart: HG00.068 Engelbert Hubbers
College: Proceduresemantiek
Responsiecollege: Proceduresemantiek

Donderdag 13 maart: HG00.071 Engelbert Hubbers
Hoarecollege: Inleiding axiomatische semantiek

Leertaak 7: Inleiding axiomatische semantiek


Week 12

Dinsdag 18 maart: HG00.068 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 7

Donderdag 20 maart: HG00.071 Engelbert Hubbers
College: Soundness, completeness en zwakste precondities
Werkstuk: Opzet gereed; Inleveren via Blackboard assignment

Leertaak 8: Correctheidsregels, soundness en completeness


Week 13

Dinsdag 25 maart 08.30--10.30: HG00.068 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 8

Dinsdag 25 maart 12.30--13.30: HG00.307 Engelbert Hubbers
Responsiecollege: Nabespreking deeltentamen 2009


Week 14

Woensdag 2 april 13.30--15.30: HG00.307, HG03.632
Eerste deeltentamen: Semantiek van imperatieve talen

Donderdag 3 april: Kwartaalonderbreking


Week 15

Dinsdag 8 april: Kwartaalonderbreking

Donderdag 10 april: Kwartaalonderbreking


Week 16

Dinsdag 15 april: HG00.062 Hans Zantema
College: Inleiding herschrijfsystemen; termherschrijven

Leertaak 9: Reductie in termherschrijfsystemen

Donderdag 17 april: HG00.108 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 9


Week 17

Dinsdag 22 april: HG00.062 Hans Zantema
College: Normalisatie in TRS

Leertaak 10: Normalisatie in termherschrijfsystemen

Donderdag 24 april: HG00.108 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 10


Week 18

Dinsdag 29 april: Meivakantie

Donderdag 1 mei: Meivakantie


Week 19

Dinsdag 6 mei: HG00.062 Hans Zantema
College: Confluentie in TRS

Leertaak 11: Confluentie in termherschrijfsystemen

Donderdag 8 mei: HG00.108 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 11

Vrijdag 9 mei: 17:30
Werkstuk: Eerste versie gereed; Inleveren via Blackboard assignment


Week 20

Dinsdag 13 mei (08.30--10.30): HG00.062 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur); zie Blackboard voor toelichting

08:45--09:00 Sjors Clabbers en Tom van Bussel
09:05--09:20 Dion van de Vooren en Martin Huyben
09:25--09:40
09:45--10:00 Demian Janssen en Emma Gerritse
10:05--10:20 Martijn Nanne en Tom Evers

Woensdag 14 mei (08.30--10.30): HG02.028 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur); zie Blackboard voor toelichting

08:45--09:00 Maarten Schellevis en Roland Verbruggen
09:05--09:20
09:25--09:40
09:45--10:00 Koen Basten en Tim Janssen
10:05--10:20 Leon Botros en Matjah Sonneveld

Donderdag 15 mei: HG00.108 Erik Barendsen
College: Inleiding lambda-calculus

Leertaak 12: Berekeningen in de lambda-calculus

Donderdag 15 mei (15.30--17.30): HG01.058 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur); zie Blackboard voor toelichting

15:45--16:00 Patrick Tan en Sanne Boumans
16:05--16:20 Simon Brugman
16:25--16:40 Charlie Gerhardus
16:45--17:00 Dennis Obster
17:05--17:20 Marjolein Zwerver en Mart Lubbers

Week 21

Dinsdag 20 mei: HG00.068 Erik Barendsen
Responsiecollege: Nabespreking leertaak 12

Donderdag 22 mei: HG00.108 Erik Barendsen
College: Beta-reductie en dekpunten in de lambda-calculus

Leertaak 13: Reductie en recursie in de lambda-calculus


Week 22

Dinsdag 27 mei: HG00.062 Erik Barendsen
Responsiecollege: Nabespreking leertaak 13

Donderdag 29 mei: Hemelvaart


Week 23

Dinsdag 3 juni: HG00.062 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur); zie Blackboard voor toelichting

08:45--09:00 Marjolein Zwerver en Mart Lubbers
09:05--09:20 Maarten Schellevis en Roland Verbruggen
09:25--09:40 Maxime Klusman
09:45--10:00
10:05--10:20 Dion van de Vooren en Martin Huyben

Donderdag 5 juni: HG00.108 Erik Barendsen
College: De kracht van de lambda-calculus; normalisatie

Leertaak 14: Representatie en normalisatie in de lambda-calculus


Week 24

Dinsdag 10 juni: HG00.062 Erik Barendsen
Responsiecollege: Nabespreking leertaak 14

Donderdag 12 juni: HG00.108 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur); zie Blackboard voor toelichting

09:45--10:00 Demian Janssen en Emma Gerritse
10:05--10:20 Martijn Nanne en Tom Evers

Vrijdag 13 juni: 17:30
Werkstuk: Definitieve versie gereed; Inleveren via Blackboard assignment


Week 25

Dinsdag 17 juni: HG00.062 Erik Barendsen Engelbert Hubbers
Voorbereiding tentamen: vragenuur

Donderdag 19 juni: LIN1, HG01.057
Tweede deeltentamen: Semantiek van functionele talen


Week 26

Dinsdag 24 juni: HG02.645 Erik Barendsen Engelbert Hubbers
Eindbespreking werkstukken

08:45--09:00 Marjolein Zwerver en Mart Lubbers
09:05--09:20 Charlie Gerhardus
09:25--09:40 Dion van de Vooren en Martin Huyben
09:45--10:00 Simon Brugman
10:05--10:20 Maarten Schellevis en Roland Verbruggen

Week 27

Dinsdag 1 juli: HG02.032 Erik Barendsen Engelbert Hubbers
Eindbespreking werkstukken

08:45--09:00 Demian Janssen en Emma Gerritse
09:05--09:20 Martijn Nanne en Tom Evers
09:25--09:40 Patrick Tan en Sanne Boumans
09:45--10:00 Sjors Clabbers en Tom van Bussel
10:05--10:20 Roland Verbruggen

Week 34

Dinsdag 19 augustus, 08.30--10.30: HG00.068
Herkansing eerste deeltentamen: Semantiek van imperatieve talen

Donderdag 21 augustus, 08.30--10.30: HG00.108
Herkansing tweede deeltentamen: Semantiek van functionele talen

Vrijdag 22 augustus: 17:30
Werkstuk: Herkansing werkstuk gereed; Inleveren via Blackboard assignment


Geschiedenis van deze pagina


Versie 10, 28/07/14


Versie 9, 24/06/14


Versie 8, 18/06/14


Versie 7, 11/06/14


Versie 6, 01/06/14


Versie 5, 09/05/14


Versie 4, 30/04/14


Versie 3, 17/03/14


Versie 2, 17/01/14


Versie 1, 13/01/14