De cursus van week tot week
Dinsdag 11 april: HFML0220 Erik Barendsen Engelbert Hubbers
Welkom.
Introductie werkstuk
Donderdag 13 april: HFML0220 Engelbert Hubbers
College: Abrupte terminatie in Java (case study)
Leertaak 1: Abrupte terminatie in Java
Dinsdag 18 april: HFML0220 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 1
Dinsdag 18 april: 17:30
Werkstuk: Groepsindeling, onderwerpkeuze; Inleveren via Blackboard assignment.
Donderdag 20 april: HFML0220 Engelbert Hubbers
College: Inleiding herschrijfsystemen; termherschrijven
Leertaak 2: Reductie in termherschrijfsystemen
Dinsdag 25 april: Meivakantie
Donderdag 27 april: Meivakantie
Dinsdag 2 mei: HFML0220 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 2
Donderdag 4 mei: HFML0220 Engelbert Hubbers
College: Normalisatie in TRS
Leertaak 3: Normalisatie in termherschrijfsystemen
Dinsdag 9 mei: HFML0220 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 3
Dinsdag 9 mei: 17:30
Werkstuk: Eerste versie werkstuk gereed; Inleveren via Blackboard assignment.
Donderdag 11 mei: HFML0220 Engelbert Hubbers
College: Confluentie in TRS
Leertaak 4: Confluentie in termherschrijfsystemen
Vrijdag 12 mei: HG00.643 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur) (onder voorbehoud)
13:45--14:00 Reference types: Janne, Aaron en Thijs
14:05--14:20 Shakespeare: Nathan, Gia Linh en Timo
14:25--14:40 Rust: Sander en Nienke
14:45--15:00 TI-Basic: David, Tom en Gijs
15:05--15:20 Iterators and yield: Michel, Marein en Stefan
15:25--15:40 Side effects: Aldo en Bart
15:45--16:00 Python lists: Taras, Milan en Koen
16:05--16:20 Piet: Rick, Sietse en Bas
16:25--16:40 Befunge: Leo, Joris en Bart
Dinsdag 16 mei: HFML0220 Engelbert Hubbers
Responsiecollege: Nabespreking leertaak 4
Donderdag 18 mei: HFML0220 Erik Barendsen
College: Inleiding lambda-calculus
Leertaak 5: Berekeningen in de lambda-calculus
Dinsdag 23 mei: Geen college
Donderdag 25 mei: Hemelvaartsdag
Dinsdag 30 mei: HFML0220 Erik Barendsen
Responsiecollege: Nabespreking leertaak 5
Dinsdag 30 mei: 17:30
Werkstuk: Tweede versie werkstuk gereed; Inleveren via Blackboard assignment.
Donderdag 1 juni: HFML0220 Erik Barendsen
College: Beta-reductie en dekpunten in de lambda-calculus
Leertaak 6: Reductie en recursie in de lambda-calculus
Vrijdag 2 juni: HG00.643 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur)
13:45--14:00 Rust: Sander en Nienke
14:05--14:20 Reference types: Janne, Aaron en Thijs
14:25--14:40 TI-Basic: David, Tom en Gijs
14:45--15:00 Python lists: Taras, Milan en Koen
15:05--15:20 Befunge: Leo, Joris en Bart
15:25--15:40 Piet: Rick, Sietse en Bas
15:45--16:00 Shakespeare: Nathan, Gia Linh en Timo
Dinsdag 6 juni: HFML0220 Erik Barendsen
Responsiecollege: Nabespreking leertaak 6
Dinsdag 6 juni: HG00.643 Engelbert Hubbers
Werkstuk: Voortgangsbespreking (spreekuur)
13:45--14:00 Iterators and yield: Michel, Marein en Stefan
14:05--14:20
14:25--14:40
14:45--15:00
15:05--15:20
Donderdag 8 juni: HFML0220 Erik Barendsen
College: De kracht van de lambda-calculus; normalisatie
Leertaak 7: Representatie en normalisatie in de lambda-calculus
Dinsdag 13 juni: HFML0220 Erik Barendsen
Responsiecollege: Nabespreking leertaak 7
Donderdag 15 juni: HFML0220 Erik Barendsen Engelbert Hubbers
Bespreking oud tentamen
Vrijdag 16 juni: 17:30
Werkstuk: Definitieve versie gereed; Inleveren via Blackboard assignment.
Woensdag 21 juni, 12.30--15.30: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Semantiek van functionele talen
Maandag 26 juni: HG02.802 Erik Barendsen Engelbert Hubbers
Werkstuk: Eindbesprekingen
09:45--10:05
10:10--10.30 Rust: Sander en Nienke
10:35--10:55 TI-Basic: David, Tom en Gijs
11:15--11:35 Piet: Rick, Sietse en Bas
11:40--12:00 Python lists: Taras, Milan en Koen
12:05--12:25
Dinsdag 27 juni: HG02.802 Erik Barendsen Engelbert Hubbers
Werkstuk: Eindbesprekingen
09:45--10:05 Vervallen
10:10--10:30 Befunge: Leo, Joris en Bart
10:35--10:55 Side effects: Aldo en Bart
11:15--11:35 Iterators and yield: Michel, Marein en Stefan
11:40--12:00 Shakespeare: Nathan, Gia Linh en Timo
12:05--12:25 Reference types: Janne, Aaron en Thijs
Woensdag 16 augustus, 12.30--15.30: Alleen ter info: de gegevens in het persoonlijk rooster zijn bepalend.
Tentamen: Semantiek van functionele talen
Vrijdag 18 augustus: 17:30
Werkstuk: Herkansing werkstuk gereed; Inleveren via Blackboard assignment.
Dinsdag 23 augustus: Nog onbekend Erik Barendsen Engelbert Hubbers Tim Steenvoorden
Werkstuk: Eindbesprekingen?
Geschiedenis van deze pagina