Functioneel programmeren

Website:	website met extra informatie
Vakcode:	INFOFP
Studiepunten:	7.5 ECTS (=5.25 oude studiepunten)
Periode:	periode 3 (week 6 t/m 16, dwz 2-2-2004 t/m 16-4-2004; herkansing week 21)
Deelnemers:	tot nu toe 131 inschrijvingen
Rooster:	Dit is een oud rooster! vorm groep tijd week zaal docent college   ma 13-15 6,7,12-15 Rup-wit Jurriaan Hage Atze Dijkstra Eelco Dolstra Daan Leijen Wishnu Prasetya Johan Jeuring Bastiaan Heeren               8,10,11 WENT-blauw wo 09-11 10 WENT-blauw wo 15-17 14 Rup-wit 6,7,11,13 WENT-blauw coordinatie           Johan Jeuring   werkcollege groep 1 di 13-15 6-8,10-15 BBL-458 Arthur Baars   do 11-13 6-8,10-15 BBL-458 groep 2 di 13-15 6-8,10-15 BBL-461 do 11-13 6-8,10-15 BBL-461 groep 3 di 13-15 6-8,10-15 BBL-468 Eelco Dolstra   do 11-13 6-8,10-15 BBL-468 groep 4 di 13-15 6-8,10-15 BBL-471 do 11-13 6-8,10-15 BBL-471 groep 5 wo 11-13 6-8,10-15 BBL-458 Karina Olmos Joffre   vr 11-13 6-8,10-12,15 BBL-458 groep 6 wo 11-13 6-8,10-15 BBL-461 vr 11-13 6-8,10-12,15 BBL-461 groep 7 wo 11-13 6-8,10-15 BBL-468 vr 11-13 6-8,10-12,15 BBL-468 groep 8 wo 11-13 6-8,10-15 BBL-471 vr 11-13 6-8,10-12,15 BBL-471 groep 9 wo 13-15 6-8,10-15 BBL-458 vr 13-15 6-8,10-12,15 BBL-458 groep 10 wo 13-15 6-8,10-15 BBL-461 vr 13-15 6-8,10-12,15 BBL-461 groep 11 wo 13-15 6-8,10-15 BBL-468 vr 13-15 6-8,10-12,15 BBL-468 groep 12 wo 13-15 6-8,10-15 BBL-471 vr 13-15 6-8,10-12,15 BBL-471 groep 13 di 15-17 6-8,10-15 BBL-458 do 13-15 6-8,10-15 BBL-458 groep 14 di 15-17 6-8,10-15 BBL-461 do 13-15 6-8,10-15 BBL-461
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'. Er kan een aanvullende 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. Aanvullend practicum en toets gaan over de hele stof, ongeacht voor welk van de drie hij als vervanging geldt. De aanvullende toets vindt plaats in periode 4.
Inspanningsverplichting voor aanvullende toets:	Om aan de aanvullende toets te mogen meedoen is ontbreken van ten hoogte 1 toetsactiviteit toegestaan.