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]

Introduktion til funktionel programmering (Q1) ( efterår 2010 - 5 ECTS )

Rammer for udbud

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

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

Ugentlige opgaver

Indhold

Dette kursus giver en grundlæggende viden om funktionel programmering. Denne grundlæggende viden består af: hvad funktionerer (parameteriserede abstraktioner af expressions), hvor de opstod (symbolic computation, videnskabelig computing, programmeringssprog processing), hvor de har fundet god brug indtil videre (så som, streams, coroutining, backtracking og mobilitet) og hvor de anvendes i dag; deres formalisering (små skridt og stor-skridt operationel semantik, abstrakte maskiner); deres centrale formelle egenskaber og reasoning principles, og hvordan de implementeres (closures).

Faglige forudsætninger

Underviser

Olivier Danvy

Undervisnings- og arbejdsform

Forelæsninger og øvelser

Litteratur

Forelæsningsnoter og artikler

Kursushjemmeside

http://www.daimi.au.dk/dIFP/

 

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

  • ræsonnere og reflektere om continuations og om programmer og programmering i continuation-passing stil.
  • bevise og analysere egenskaber ved funktionel programmering (ved hjælp af konstruktive beviser og induktionsbeviser - fra intuitivt niveau til formelle detaljer.
  • programmere og implementere funktioner.
  • programmere og implementere interpreters (f.e.ks. evaluerings funktioner).
  • programmere og implementere funktionel backtracking.

Eksamensterminer

Oktober, reeksamen efter aftale med underviser

Udbyder

Datalogisk Institut

Tilmelding til undervisning

https://mit.au.dk/

 

 

Særligt om dette kursus

Schedule for this course

 

Bedømmelse

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