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]

Teknikker til funktionel programmering (Q3) ( forår 2009 - 5 ECTS )

Rammer for udbud

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

Formål

Deltagerne vil efter kurset have indsigt i Højere-ordens programmering og abstrakte maskiner for højere-ordens programmer. Kursets arbejdsform vil også træne deltagernes evne til at formidle og kommunikere faglige problemstillinger og til at læse og forstå videnskabelige artikler.

Obligatorisk program

Ugentlige opgaver

Indhold

Fortolkning, ræsonnering omkring programmer og programtransformationer.

Faglige forudsætninger

Programmeringssprog, Oversættelse

Underviser

Olivier Danvy

Undervisnings- og arbejdsform

Forelæsninger og øvelser

Engelsk

Litteratur

Forelæsningsnoter

Kursushjemmeside

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

Læringsmål

Deltagerne skal ved afslutningen af kurset kunne:

diskutere og reflektere program-abstraktioner.

Eksamensterminer

Marts/april, reeksamen august

Udbyder

Datalogisk Institut

Tilmelding til undervisning

http://www.brics.dk/~mis/enrollment.html

Særligt om dette kursus

Skema for dette kursus

Bedømmelse

Afsluttende projekt,
7-skala, ingen censur