[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
Deltagerne vil efter kurset have detaljeret kendskab til begrebet funktioner og praktisk erfaring med funktionel programmering. Kursets arbejdsform vil også træne deltagernes evne til at læse og forstå videnskabelige artikler.
En række små skriftlige opgaver skal afleveres og bestås i løbet af kurset. En større projekt rapport om et emne valgt af den studerende sammen med underviseren skal skrives. Dette projekt skal bestås.
Kurset vil introducere grundlæggende begreber inden for funktionel programmering, f.eks funktioner som værdier, evaluering af strategier, blinde datastrukturer, tolkningsprogrammer og programtransformatorer. Vi definerer, hvad ren funktionel programmering er og giver en række eksempler på rene funktionelle programmer, der bruges i praksis. Undervejs introducerer vi den bagvedliggende matematik, især det nødvendige ræsonnements-princip. Kurset afsluttes med et individuelt skriftligt projekt om et emne valgt af de studerende sammen med underviseren. Indholdet af projektet præsenteres derefter mundtligt. Projektet udgør en mulighed for at "dreje" kurset i en mere teoretisk eller praktisk retning, alt efter interesse.
Olivier Danvy
Forelæsninger (3t/uge)
Forelæsningsnoter og artikler
http://www.cs.au.dk/~danvy/dIFP/
Deltagerne skal ved afslutningen af kurset kunne:
Oktober, reeksamen efter aftale med underviser
Datalogisk Institut
Afsluttende individuelt projekt samt individuel mundtlig eksamen uden forberedelse (30 min), 7- skala, intern censur