Specialiseringskursus i semantik og verifikation

2022/2023

Modulets indhold, forløb og pædagogik

Læringsmål

Viden

Den studerende skal opnå dybdegående indsigt i centrale emner inden for forskning i semantik og verifikation

Færdigheder

Den studerende skal med udgangspunkt i videnskabelige artikler inden for kursets emner:

  • kunne give en klar og forståelig præsentation og diskussion af artiklers centrale emner, herunder deres præmisser, problemstilling(er), teori, metoder, resultater og konklusioner

  • kunne gøre rede for relevante teorier, metoder og argumenter, der præsenteres i artikler

Kompetencer

Den studerende skal med udgangspunkt i videnskabelige artikler inden for kursets centrale emner:

  • kunne relatere de i artiklerne præsenterede teorier, metoder og resultater til kursets emner

  • kunne vurdere og perspektiver de i artiklerne foreslåede løsninger, resultater og konklusioner og disses kvaliteter og praktiske anvendelighed

Undervisningsform

Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen jf. § 17.

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 navnSpecialiseringskursus i semantik og verifikation
Prøveform
Mundtlig
Individuel mundtlig prøve. Prøven er af 45 minutters varighed. Eksaminanden stilles en opgave som udleveres 7 dage før prøveafholdelsen
ECTS5
Bedømmelsesform7-trins-skala
CensurEkstern prøve
VurderingskriterierVurderingskriterierne 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 titelSpecialisation Course in Semantics and Verification
ModulkodeDSNCSITK324
ModultypeKursus
Varighed1 semester
SemesterEfterår
ECTS5
UndervisningssprogEngelsk
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

StudienævnStudienævn for Datalogi
InstitutInstitut for Datalogi
FakultetDet Teknisk Fakultet for IT og Design