DM820: Avancerede emner i programmeringssprog (5 ECTS)

STADS: 15015301

Niveau
Kandidatkursus forhåndsgodkendt som PhD-kursus

Undervisningsperiode
Kurset udbydes efter behov.

Ansvarlige undervisere
Email: petersk@imada.sdu.dk

Yderligere undervisere
lcf@imada.sdu.dk

Skemaoplysninger
Hold Type Dag Tidsrum Lokale Uger Kommentar
Fælles I Mandag 10-12 IMADA Seminarrum 16-21
H1 TE Tirsdag 12-14 IMADA Seminarrum 16-22
H1 TE Onsdag 13-15 IMADA Seminarrum 22
Vis hele skemaet
Vis personligt skema for dette kursus.

Kommentar:
Ubegrænset deltagerantal.

Indgangskrav:
Ingen

Faglige forudsætninger:
Stoffet fra DM509 Programmeringssprog forudsættes kendt.

Kursusintroduktion
At give deltagerne en forståelse af avancerede emner i imperative, objekt-orienterede, logikbaserede og funktionelle programmeringssprog og ikke-standard programmeringsparadigmer. At give deltagerne mere erfaring med programmering ved anvendelse af avancerede emner til løsning af praktiske problemer.

Forventet læringsudbytte
Ved kursets afslutning forventes den studerende at kunne:
- bruge avancerede funktioner i almindelige programmeringssprog
- skrive programmer i et moderne scriptingsprog
- skrive programmer, der samarbejder over sprog- og systemgrænser
- klassificere ukendte programmeringssprog

Emneoversigt
Scriptingsprog, multi-paradigme-sprog, avancerede typesystemer, reflection og metaprogrammering, automatic demonstration, programverifikation, interactive theorem provers, domæne-specifikke sprog, grænseflader mellem forskellige sprog, deklarative grafiske brugergrænseflader.

Litteratur
Der er i øjeblikket ikke angivet nogle materialer for kurset.

Kursets hjemmeside
Dette kursus benytter e-learn (blackboard).

Forudsætningsprøver
Mundtlig fremlæggelse af eet tildelt emne. Intern censur ved underviser, bestået/ikke-bestået (15015312). Fremlæggelsen skal være bestået før den studerende kan bestå projektopgaven.

Eksamen- og censurform:
Projektopgave baseret på tildelte opgaver, der skal løses ved brug af mindst et af de avancerede emner. Opgaven består af en implementering og en skriftlig rapport. Karakter efter 7-trins skalaen, intern censur (15015302)

Vejledende timetal
På naturvidenskab er undervisningen tilrettelagt efter trefasemodellen dvs. intro, trænings- og studiefasen.
Introfase: 10 timer

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.

Dette er den nyeste version af en kursusbeskrivelse, som trådte i kraft den 1. feb 2015.