De cursus van week tot week
Woensdag 18 april: HG00.108 Erik Barendsen Engelbert Hubbers Tim Steenvoorden
Welkom.
Introductie werkstuk
Donderdag 19 april: MERCI00.28 Engelbert Hubbers
College: Abrupte terminatie in Java (case study)
Leertaak 1: Abrupte terminatie in Java
Woensdag 25 april: LIN8 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 1
Woensdag 25 april: 17:30
Werkstuk: Groepsindeling, onderwerpkeuze; Inleveren via Blackboard assignment.
Donderdag 26 april: MERCI00.28 Tim Steenvoorden
College: Inleiding herschrijfsystemen; termherschrijven
Leertaak 2: Reductie in termherschrijfsystemen
Woensdag 2 mei: Meivakantie
Donderdag 3 mei: Meivakantie
Woensdag 9 mei: HG00.062 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 2
Donderdag 10 mei: Hemelvaart
Woensdag 16 mei: Geen college
Donderdag 17 mei: MERCI00.28 Engelbert Hubbers
College: Normalisatie in TRS
Leertaak 3: Normalisatie in termherschrijfsystemen
Vrijdag 18 mei: 17:30
Werkstuk: Eerste versie werkstuk gereed; Inleveren via Blackboard assignment.
Woensdag 23 mei: HG00.068 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 3
Donderdag 24 mei: MERCI00.28 Engelbert Hubbers
College: Confluentie in TRS
Leertaak 4: Confluentie in termherschrijfsystemen
Donderdag 24 mei: M1.01.13 Tim Steenvoorden
Werkstuk: Voortgangsbespreking (spreekuur)
13:30--13:45 Jasper en Dion
13:50--14:05 Conny, Jona en Hendrik
14:10--14:25 Joran, Laura en Bas
14:30--14:45 Ceel, Gijs en Julian
Donderdag 24 mei: HG03.082 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur)
13:45--14:00 Justin, Bob en Johan
14:05--14:20 Thomas en Tosca
14:25--14:40 Bas, Reinier en Koen
14:45--15:00 Stan
15:05--15:20
Vrijdag 25 mei: M1.01.13 Tim Steenvoorden
Werkstuk: Voortgangsbespreking (spreekuur)
11:00--11:15 Robin en Robin
11:20--11:35 An Ha, Sander en Phil
11:40--11:55 Mees en Glenn (?)
12:00--12:15
Maandag 28 mei: HG01.029 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur)
08:45--09:00
09:05--09:20
09:25--09:40 Jonathan, Jan en Randy
09:45--10:00 Sam en Niels
10:05--10:20 Hermen
Woensdag 30 mei: HG00.062 Erik Barendsen
College: Inleiding lambda-calculus
Leertaak 5: Berekeningen in de lambda-calculus
Donderdag 31 mei: MERCI00.28 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 4
Woensdag 6 juni: LIN8 Erik Barendsen
Responsiecollege: Nabespreking leertaak 5
Woensdag 6 juni: 17:30
Werkstuk: Tweede versie werkstuk gereed; Inleveren via Blackboard assignment.
Donderdag 7 juni: MERCI00.28 Erik Barendsen
College: Beta-reductie en dekpunten in de lambda-calculus
Leertaak 6: Reductie en recursie in de lambda-calculus
Donderdag 7 juni: M1.01.13 Tim Steenvoorden
Werkstuk: Voortgangsbespreking (spreekuur)
13:30--13:45 Julian, Gijs en Ceel
13:50--14:05 Hendrik, Conny en Jona
14:10--14:25 Jasper en Dion
14:30--14:45 Sander, An Ha en Phil
Vrijdag 8 juni: M1.01.13 Tim Steenvoorden
Werkstuk: Voortgangsbespreking (spreekuur)
11:00--11:15 Robin en Robin
11:20--11:35 Joran, Laura en Bas
11:40--11:55
12:00--12:15
Vrijdag 8 juni: M1.01.13 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur)
13:45--14:00 Tosca en Thomas
14:05--14:20 Reinier, Bas en Koen
14:25--14:40 Stan
14:45--15:00
15:05--15:20 Justin, Bob en Johan
Maandag 11 juni: M1.01.13 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur)
08:45--09:00
09:05--09:20
09:25--09:40 Jonathan, Jan en Randy
09:45--10:00 Sam en Niels
10:05--10:20 Hermen
Woensdag 13 juni: MERCI00.28 Erik Barendsen
Responsiecollege: Nabespreking leertaak 6
Donderdag 14 juni: MERCI00.28 Erik Barendsen
College: De kracht van de lambda-calculus; normalisatie
Leertaak 7: Representatie en normalisatie in de lambda-calculus
Woensdag 20 juni: MERCI00.28 Erik Barendsen
Responsiecollege: Nabespreking leertaak 7
Donderdag 21 juni: MERCI00.28 Erik Barendsen Engelbert Hubbers
Bespreking oud tentamen
Vrijdag 22 juni: 17:30
Werkstuk: Definitieve versie gereed; Inleveren via Blackboard assignment.
Donderdag 28 juni: HG03.082 Erik Barendsen Engelbert Hubbers
Werkstuk: Eindbesprekingen
11:40--12:00 E12 Piet: Sam en Niels
12:05--12:25 E14 MATL: Hermen
12:30--12:55 E15 Structured text: Stan
Vrijdag 29 juni: HG03.082 Erik Barendsen Engelbert Hubbers Tim Steenvoorden
Werkstuk: Eindbesprekingen
09:20--09:40 E05 Mailbox: Bas, Koen en Reinier
09:45--10:05 T03 Python comprehensions: Hendrik, Jona en Constantin
10:10--10:30 T04 Python Del and Named tuple: Jasper en Dion
10:35--10:55 T07 C# events: Robin en Robin
11:00--13:45 Pauze
13:45--14:05 E11 Whenever: Jonathan, Jan en Randy
14:10--14:30 E09 Befreak: Tosca en Thomas
14:35--14:55 E01 Befunge: Justin, Bob en Johan
14:55--15:15 Pauze
15:15--15:35 T08 Goroutines: Gijs, Ceel en Julian
15:40--16:00 T13 Promises: Phil, Sander en An
16:05--16:25 T06 Python iterators: Laura, Joran en Bas
Donderdag 5 juli, 12.30--15.30: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Semantiek van functionele talen
Donderdag 23 augustus, 12.30--15.30: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Semantiek van functionele talen
Donderdag 23 augustus: 17:30
Werkstuk: Herkansing werkstuk gereed; Inleveren via Blackboard assignment.
Geschiedenis van deze pagina