Functioneel programmeren

Website:	website met extra informatie
Vakcode:	INFFP
Studiepunten:	6 ECTS (=4.2 oude studiepunten)
Periode:	periode 4 (week 11 t/m 18, dwz 10-3-2003 t/m 2-5-2003; herkansing week 28)
Deelnemers:	tot nu toe 161 inschrijvingen
Rooster:	Dit is een oud rooster! vorm groep tijd week zaal docent college   wo 15-17 11,14-17 AARD-groot Arjan van IJzendoorn   12 UNNIK-001 do 09-11 13 UNNIK-001 vr 11-13 11-15,17 AARD-groot werkcollege groep 1 wo 11-13 12,14-17 BBL-468 Arjan van IJzendoorn   do 11-13 11-15,17 BBL-468 groep 2 wo 11-13 12,14-17 BBL-471 Frank Atanassow   do 11-13 11-15,17 BBL-471 groep 3 wo 13-15 12,14-17 BBL-458 Andres Löh   vr 09-11 11-15,17 BBL-458 groep 4 wo 13-15 12,14-17 BBL-461 Karina Olmos Joffre   vr 09-11 11-15,17 BBL-461 groep 5 wo 13-15 12,14-17 BBL-468 vr 09-11 11-15,17 BBL-468 groep 6 wo 13-15 12,14-17 BBL-471 vr 09-11 11-15,17 BBL-471
Inhoud:	In het vak imperatief programmeren hebben jullie kennis gemaakt met de taal Java. In die taal bestaat een programma uit opdrachten: doe dit, doe dat. In een functionele taal bestaat een programma uit functies zoals je die kent uit de wiskunde. Programma's schrijven in zo'n taal vergt een andere manier van denken en dat is precies waar we het in dit vak over gaan hebben. In concreto gaan we problemen oplossen met behulp van de functionele taal Haskell. Deze taal kent uitgebreide abstractiemogelijkheden waardoor programma's vaak bijzonder compact zijn. Over veel details, zoals berekeningsvolgorde en geheugenallocatie, hoef je je geen zorgen te maken. De nadruk ligt op wat en niet op hoe. Recursie in functionele talen is de evenknie van lusconstructies (for, while) in Java. Het is de manier om programma's te schrijven die over een datastructuur wandelen of herhaalde berekeningen doen. Eigenschappen bewijzen van programma's speelt een grote rol binnen dit vak. Die eigenschappen kunnen we gebruiken om uitspraken te doen over de correctheid of om programma's te herschrijven. Als het programma recursieve functies bevat dan is tijdens bewijzen het begrip inductie nodig en ook dit komt aan bod.
Literatuur:	Dictaat: Jeroen Fokker & Arjan van IJzendoorn, Functioneel programmeren Kosten: ongeveer 10 euro.
Werkvorm:	per week 2 keer 2 uur hoorcollege, en 2 keer 2 uur gecombineerd werkcollege/practicum.
Toetsvorm:	Het vak wordt beoordeeld aan de hand van drie toetsen (T1,T2,T3) en drie practica (P1,P2,P3). Het totaalcijfer voor de toetsen (T) is 0.2*T1+0.4*T2+0.4*T3 en evenzo voor de practica (P). Het eindcijfer voor het vak is dan (T+P)/2 onder de voorwaarde dat P>=5 en T>=5. Afronding gebeurt op halven boven de zes en op helen onder de zes, dus 5.5 wordt 6 en 5.4 wordt 5. Als een van de zes cijfers ontbreekt, blijft het vak 'onvoltooid'. Als herkansing kan er een extra practicumopdracht worden gemaakt, die je kunt inzetten voor een van P1, P2 en P3 (om een onvoldoende of een ontbrekend cijfer te vervangen). Hetzelfde geldt voor de toetsen. Herkansings-practicum en -toets gaan over de hele stof, ongeacht voor welk van de drie hij als vervanging geldt. Herkansings-toets/tentamen vindt plaats in de tentamenweek van blok 5.
Inspanningsverplichting voor aanvullende toets:	Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan.