02157 Funktionsprogrammering

2024/2025

Kursusinformation
Functional Programming
Engelsk
5
Bachelor
Kurset udbydes som enkeltfag
Retningsspecifikt kursus (BSc), General Engineering
Retningsspecifikt kursus (BSc), Softwareteknologi
Teknologiske linjefag, General Engineering
Teknologiske linjefag, Softwareteknologi
Tilvalgskursus (B Eng), Softwareteknologi
Tilvalgskursus (B Eng), IT-elektronik
Tilvalgskursus (B En), IT og økonomi
E4B (fre 8-12)
Campus Lyngby
Forelæsninger, grupperegning og programmeringsøvelser.
13-uger
E4B
Skriftlig eksamen
Skriftlig eksamen: 4 timer
Ingen hjælpemidler
7-trins skala , ekstern censur
(02002/02003/02100/02101/02102/02631) . (01017/01019) , Programmering i et imperativt/​objektorienteret sprog, diskret matematik (senest samtidigt).
Michael Reichhardt Hansen , Lyngby Campus, Bygning 322, Tlf. (+45) 4525 3727 , mire@dtu.dk
01 Institut for Matematik og Computer Science
http://courses.compute.dtu.dk/02157
I studieplanlæggeren
Overordnede kursusmål
At give deltagerne et begrebsmæssigt og praktisk grundlag for at modellere, analysere og konstruere systemer med udgangspunkt i en funktionel, deklarativ tilgang.
Læringsmål
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
  • beherske funktionelle tilgange til programmering
  • beherske begrebet rekursiv funktion
  • beherske anvendelse af funktionelle datatyper
  • anvende begrebet om funktioner som "first-class citizens"
  • aflede typer for funktionelle programmer
  • analysere effekten af et program skrevet i et funktionelt sprog
  • gøre rede for ressourceforbruget for simple funktionelle programmer
  • etablere et funktionelt design for et givet problem, således at hovedbegreberne for problemet direkte kan spores i designet
  • kommunikere løsninger og analyser på en klar og præcis måde
Kursusindhold
Funktionsprogrammering, herunder rekursive funktioner, rekursivt definerede datatyper, mønstre, højereordens funktioner, et stærkt typebegreb, og problemløsningsteknikker.

Deklarativ modellering ved brug af et funktionsprogrammeringssprog med et stærkt typebegreb.
Sidst opdateret
02. maj, 2024