|
02100 Funktionsprogrammering |
| Engelsk titel: Functional Programming |
|
Sprog: Dansk Point: 10, Ekstern censur. |
|
|
Eksamensplacering: |
F4-A (jun 04 2002), E4-A (dec 18 2001)
|
|
Vejledende placering: Først i studiet. |
|
Undervisningsform: Forelæsninger. Obligatoriske opgaver. |
Evalueringsform: Skriftlig eksamen
For at blive indstillet til eksamen skal de obligatoriske opgaver være løst tilfredsstillende |
| Karakter: 13-skala |
| Kursusmål: Funktionsbegrebet er velkendt fra matematikken. Hovedmålet med dette kursus er at vise hvorledes alle programmer kanudtrykkes ved sammensætning af passende funktioner, der virker på størrelser kaldet datastrukturer. Fordelen ved at formulere programmer i et funktionsprogrammeringssprog,er at programmerne bliver enklere og mere gennemskuelige, hvorved man bliver i stand til at behandle programmers matematiske egenskaber. Funktionsprogrammering er udgangspunkt for forståelse af andre programmeringssprog samt datalogiske metoder og teorier generelt. Herudover indføres de studerende i teknikker til at beskrive og dokumentereprogrammer, specielt datatyper til beskrivelse af funktioner og datastrukturer. Endeligt bibringes de studerende indsigt i teknikker til praktisk brug af funktionsprogrammering som et simpelt værktøj til løsning af problemer, og indsigt i hvordan man dokumenterer sit produkt i en teknisk rapport, der dækker såvel en brugers som en programmørs behov. |
| Kursusindhold: Funktionsprogrammering og programmeringsteknik. Rekursive funktioner.Datatypebegrebet. Parametrisering og polymorfi. Datarepræsentation, invarianter. Binding og omgivelser. Evaluering af udtryk. Konstruktion og afprøvning af programmer. God skik for dokumentation af programmer. Udarbejdelse af programdokumentation i form af en teknisk rapport. |
Kontaktperson: Hans Bruun, building 322, (+45) 4525 3709, hab@imm.dtu.dk
Jens Thyge Kristensen, building 322, (+45) 4525 3711, jtk@imm.dtu.dk |
| Institut: 002 Informatik og Matematisk Modellering |
| Kursus URL: http://www.imm.dtu.dk/courses/02100 |
| Nøgleord: Funktionsprogrammering, Datatyper, Datastrukturer, Modellering, Dokumentation |
| Opdateret: 03-05-2001 |
|
|
