Specialiseringskursus i semantik og verifikation
2020/2021
Modulets indhold, forløb og pædagogik
Læringsmål
Viden
- opnå dybtgående indsigt i centrale emner inden for nyere forskning i matematiske modeller til formel beskrivelse og verifikation af programmer, softwaresystemer og programmeringssprog
Færdigheder
Den studerende skal med udgangspunkt i en videnskabelig artikel inden for kursets centrale emner:
- kunne give en klar og forståelig præsensation af artiklens centrale emner, herunder dens præmisser, problemstilling(er), teori, metoder, resultater og konklusioner
- kunne gøre rede for relevante/centrale teorier, metoder og ræsonnementer, der præsenteres i artiklen
Kompetencer
Den studerende skal med udgangspunkt i en videnskabelig artikel inden for kursets centrale emner:
- kunne relatere de i artiklen præsenterede teorier, metoder og resultater til kursets emner
- kunne vurdere og perspektiver de i artiklen foreslående løsninger, resultater og/eller konklusioner og disses kvaliteter og disses kvaliteter og praktiske anvendelighed
Undervisningsform
Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen, jf. kapitel 3
Omfang og forventet arbejdsindsats
Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.
Eksamen
Prøver
| Prøvens navn | Specialiseringskursus i semantik og verifikation |
| Prøveform | Mundtlig
Den studerende giver en forelæsning af 30 minutters varighed over
et nærmere afgrænset videnskabeligt emneområde (typisk i form af en
artikel) i tilknytning til problemstillinger behandlet i kurset.
Udvælgelsen af emneområdet og formuleringen af opgaven til den
enkelte studerende foretages af kursusholderen, normalt i samråd
med den studerendes projektvejleder, og den studerende gives 7
dages forberedelse. Efter forelæsningen kan eksaminator og censor,
inden for en tidsramme, der normalt ikke overstiger 10 minutter,
stille spørgsmål i tilknytning til den studerendes præsentation af
emneområdet |
| ECTS | 5 |
| Bedømmelsesform | 7-trins-skala |
| Censur | Ekstern prøve |
| Vurderingskriterier | Vurderingskriterierne er angivet i Universitetets eksamensordning |
Yderligere informationer
Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854
Fakta om modulet
| Engelsk titel | Specialisation Course in Semantic and Verification |
| Modulkode | DSNDATFK306 |
| Modultype | Kursus |
| Varighed | 1 semester |
| Semester | Efterår
|
| ECTS | 5 |
| Undervisningssprog | Dansk og engelsk |
| Tomplads | Ja |
| Undervisningssted | Campus Aalborg |
| Modulansvarlig | |
| Indgår i | |
Organisation
| Studienævn | Studienævn for Datalogi |
| Institut | Institut for Datalogi |
| Fakultet | Det Tekniske Fakultet for IT og Design |
