DM509: Programmeringssprog (5 ECTS)
STADS: 15011001
Niveau
Bachelorkursus
Undervisningsperiode
Kurset er placeret i efterårssemesteret.
2. kvartal.
Ansvarlige undervisere
Email: petersk@imada.sdu.dk
Skemaoplysninger
Hold |
Type |
Dag |
Tidsrum |
Lokale |
Uger |
Kommentar |
Fælles |
I |
Mandag |
10-12 |
U142 |
45 |
|
Fælles |
I |
Onsdag |
12-14 |
U27a |
49-51 |
|
Fælles |
I |
Torsdag |
12-14 |
U155 |
45-48 |
|
Fælles |
I |
Fredag |
12-14 |
U155 |
45 |
|
Fælles |
I |
Fredag |
12-14 |
U26 |
47, 49 |
|
S1 |
TE |
Mandag |
10-12 |
U142 |
48 |
|
S1 |
TE |
Tirsdag |
16-18 |
U27a |
45-51 |
|
S1 |
TE |
Fredag |
12-14 |
U26 |
46, 48 |
|
Vis hele skemaet
Vis personligt skema for dette kursus.
Kommentar:
Ubegrænset deltagerantal. Kurset kører i 2. kvartal.
Indgangskrav:
Ingen
Faglige forudsætninger:
Stoffet fra programmering A og B (DM502 og DM503) skal være kendt. Algoritmer og Datastrukturer (DM507) anbefales.
KursusintroduktionAt give deltagerne en forståelse for de generelle principper for
design af programmeringssprog, samt de specielle valg der kendetegner sprogklasserne imperative, objekt-orienterede, logik-baserede og funktionelle sprog. At give deltagerne erfaring med programmering i sprog af andre typer end de sædvanlige imperative og objektorienterede sprog.
Forventet læringsudbytteEfter kurset forventes den studerende at kunne:
- Løse ikke-trivielle programmeringsopgaver i et funktionelt sprog, herunder skrive klar og korrekt kode samt anvende sprogets standardbibliotek.
- Løse ikke-trivielle programmeringsopgaver i et logikbaseret sprog, herunder skrive klar og korrekt kode samt anvende sprogets standardbibliotek.
- Vurdere tid- og pladsforbruget af funktionelle programmer.
- Bevise egenskaber ved simple funktionelle programmer.
- Udregne den mest generelle type af et funktionelt udtryk.
- Udregne en most general unifier af to termer.
- Udføre resolution af et logisk mål.
- Konvertere et udtryk i 1. ordens prædikatlogik til klausal form.
Emneoversigt
- Generelle programmeringssprogsmekanismer: kontrolstrukturer, typesystemer, abstraktion, modulering
- Funktionelle sprog: funktioner, højere-ordens typer, polymorfi, lister, lazy-evaluering, referential transparency, monader, effektivitetsovervejelser, korrekthedsbeviser
- Logik-baserede sprog: prædikater og regler, unification, SLD-resolution, funktionssymboler, lister, implementering af negation, constraint-programmering
LitteraturMeddeles ved kursets start.
Kursets hjemmeside
Dette kursus benytter
e-learn (blackboard).
Forudsætningsprøver
Ingen
Eksamen- og censurform:
Projektopgave i flere dele fordelt over kvartalet. Intern censur ved underviser. Bestået/ikke bestået. (15011002)
Reeksamen efter 4. kvartal.
Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Forelæsninger (22 timer), eksaminatorier (20 timer) og projektarbejde.
Aktiviteter i studiefasen
Sprog
Dette kursus undervises på dansk eller engelsk, afhængigt af underviseren. Dog altid på Engelsk ved deltagelse af internationale studerende.
Kursustilmelding
Se tilmeldingsfrister.
Pris for åben uddannelse
Se priser for enkeltkurser.
Denne kursusbeskrivelse var gyldig fra 1. september 2011 til 31. august 2012.