Equationeel Programmeren 2011-2012
Inhoud
Equationeel programmeren (vakcode 401011) is een keuzevak van 6 ECTS
dat wordt gegeven in periode 2.
Het onderwerp is
functioneel
programmeren.
Aan de theoretische kant bestuderen we de grondslagen van
functioneel programmeren: de
lambda calculus,
equationele logica, en
termherschrijven.
Deze onderwerpen worden behandeld in de
hoorcolleges (2 uur per week) en werkcolleges (2 uur per week),
en worden getoetst op het schriftelijke tentamen.
Daarnaast is er een practicum (2 uur per week)
waarin opdrachten in de functionele programmeertalen
OCaml en
Haskell
gemaakt worden.
Voor de practicumopdrachten wordt een cijfer gegeven dat meetelt voor het eindcijfer.
Zie ook de
beschrijving
in de studiegids (nog updaten).
Vereiste voorkennis:
het vak
logica en modelleren.
Mogelijke vervolgvakken:
term rewriting systems (mastervak) en
logical verification (mastervak).
Hoorcollege
week 44-50: maandag 13.30-15.15 in zaal F654
docent:
Femke van Raamsdonk
pagina
over de hoor- en werkcolleges.
Werkcollege
week 44-50: woensdag 11.00-12.45 in zaal F654
docent: Patrick van Rietschoten
pagina
over de hoor- en werkcolleges.
Practicum
week 44-50: vrijdag 13.30-15.15 in zaal P337
docenten: Femke van Raamsdonk
en Patrick van Rietschoten
pagina
over het practicum.
Materiaal
Het dictaat en de slides zijn te vinden via de pagina
voor de hoor- en werkcolleges.
De opdrachten voor het practicum zijn te vinden via de pagina
voor het practicum.
Voorbereiding op het tentamen
-
Stof: wat er behandeld is in de hoor- en werk-colleges;
verder OCaml zoals in het practicum.
-
vragenuurtje
op dinsdag 20 december 2011, 11.00-12.45 (of korter);
zaal F654.
-
sommen inleveren?
als je extra wilt oefenen: maak (een deel van)
tentamen 15 februari 2010 of herkansing 8 februari 2011
en lever t ter correctie in.
-
Equationeel programmeren is de opvolger van het vak
inleiding theoretische informatica (iti) dat 5 ects was.
Oude tentamens van iti en ep zijn
hier te vinden.
(Het onderdeel procesalgebra hoorde vroeger bij iti maar hoort nu niet
bij de stof van ep. Er zijn soms andere kleine verschillen.)
-
Meer vragen? Mail femke at cs.vu.nl.
Tentamen
-
Normering:
Je krijgt een cijfer voor het practicum en een cijfer voor het tentamen.
Alletwee die cijfers tellen mee voor het eindcijfer;
het practicum voor een-kwart en het tentamen voor drie-kwart.
Alletwee de cijfers moeten mimimaal een 5 zijn.
-
Het (schriftelijke) tentamen is in week 51 op donderdag 22 december,
12.00-14.45, in zaal ???.
(Check dit nog zelf!)
-
Er is een herkansing; het is nog niet bekend wanneer en waar.
Vragen ?
Stuur dan een email aan femke at cs.vu.nl.
Laatste wijziging: 12 december 2011