Vær opmærksom på at dette website indeholder et arkiv med historiske data. Det aktuelle kursuskatalog findes på kursuskatalog.au.dk

AU kursuskatalog arkiv

[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]

Introduction to Functional Programming (Q1) (Honours) ( efterår 2010 - 5 ECTS )

Rammer for udbud

  • Uddannelsessprog: engelsk
  • Niveau: Kandidatkursus
  • Semester/kvarter: Q1
  • Timer per uge: 3
  • Deltagerbegrænsning: Ingen
  • Undervisningssted: Århus
  • Hovedområde: Det Naturvidenskabelige Fakultet
  • Udbud ID: 25029

Formål

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.

Obligatorisk program

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.

Indhold

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.

Faglige forudsætninger

Underviser

Olivier Danvy

Undervisnings- og arbejdsform

Forelæsninger (3t/uge)

Litteratur

Forelæsningsnoter og artikler

Kursushjemmeside

http://www.cs.au.dk/~danvy/dIFP/

 

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

  • Beskrive og klassificere begreber og teknikker, der anvendes i funktionel programmering
  • Analysere og sammenligne teoretiske såvel som praktiske løsninger på edb-problemer
  • Argumentere for og bevise de korrekte egenskaber ved funktionelle konstruktioner
  • Argumentere for og bevise kompleksiteten i egenskaberne ved funktionelle konstruktioner.

Eksamensterminer

Oktober, reeksamen efter aftale med underviser

Udbyder

Datalogisk Institut

Tilmelding til undervisning

https://mit.au.dk/

 

Bedømmelse

Afsluttende individuelt projekt samt individuel mundtlig eksamen uden forberedelse (30 min), 7- skala, intern censur