[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
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.
Ugentlige opgaver
Fortolkning, ræsonnering omkring programmer og programtransformationer.
Programmeringssprog, Oversættelse
Olivier Danvy
Forelæsninger og øvelser
Engelsk
Forelæsningsnoter
Deltagerne skal ved afslutningen af kurset kunne:
December/januar, reeksamen foregår efter aftale med underviseren
Datalogisk Institut
Afsluttende projekt,
7-skala, ingen censur