Projektmodul
Forspecialisering i Datalogi (20 ECTS)
Kurser
Der vælges et blandt følgende:
Der vælges et blandt følgende:
Specialiseringskursus: Menneske-maskineinteraktion (5 ECTS)
Menneske-maskine interaktion eller Human-Computer Interaction (HCI) er en videnskabelig retning, som bl.a. handler om, hvordan man opbygger betjeningsdelen af en maskine (typisk men ikke nødvendigvis en grafisk brugerflade til en computer), så den er nem og intuitiv for mennesker at betjene. Ideen er, at brugerne ikke selv skal være teknisk kyndige, men at systemerne skal være tilpassede, så de bliver nemme og logiske at anvende. På denne specialisering kommer du til at arbejde med bl.a. interaktionsdesign og usabilityevaluering, og du bliver i stand til selv at designe og evaluere et konkret system.
Specialiseringskursus: Databaseteknologi (5 ECTS)
På denne specialisering skal du beskæftige dig med begreber og teknikker fra avancerede databaser, herunder design og implementering. Du kommer til at arbejde med bl.a. multidimensionelle databaser, fx data warehousing, Online Analytical Processing og data mining. Desuden skal du lære om spatiale (rumlige) og spatiotemporale databaser, herunder indeksering og processering af forespørgsler. Specialiseringen handler også om komplekse data i databaser, fx XML, Semantic Web og lign.
Specialiseringskursus: Distribuerede systemer (5 ECTS)
Distribuerede systemer er computersystemer, hvori programmer og/eller data er fordelt over en række samtidigt arbejdende processer, som udgør knudepunkterne i et kommunikationsnetværk, fx datakabler, telefonlinjer, satellitforbindelser osv. Du skal arbejde med videregående teorier og metoder inden for både distribuerede og indlejrede systemer. Fx indeholder kurserne emner som avancerede infrastrukturer og applikationer for fx grid-, cloud-, peer to peer- eller parallelle/multicore systemer.
Desuden kommer du til at lære om system og netværksprogrammel til indlejrede systemer, og du skal arbejde med ad hoc sensor networks, home automation, distribuerede algoritmer, paradigmer til programmering og teknikker til analyse. Med denne specialisering kommer du til at kunne anvende begreber og teknikker fra distribuerede systemer, samt designe og analysere distribuerede og indlejrede systemer.
Specialiseringskursus: Semantik og verifikation (5 ECTS)
Semantik og verifikation handler om et programmeringssprogs opbygning (semantik), og at de anvendte algoritmer opfylder de krav, man har stillet til programmet (verifikation). På specialiseringen i Semantik og verifikation kommer du til at beskæftige dig med avancerede matematiske modeller til formel beskrivelse og verifikation af programmer, softwaresystemer og programmeringssprog. Det kan fx være Binary Decision Diagrams (BDD), SAT-algoritmer, prædikatlogik, Petrinet, temporallogikker og mobile proceskalkyler. Du kommer til at udvikle formelle modeller og verifikationsværktøjer til beskrivelse, analyse og verifikation af softwaresystemer.
Specialiseringskursus: Maskinintelligens (5 ECTS)
Maskinintelligens går ud på, at intelligente computersystemer skal kunne tilpasse sig forskellige situationer og forskellige brugere. Fx skal et intelligent informationssystem give information og service, som brugeren netop har brug for, og ikke fremkomme med en masse resultater, som vedkommende ikke har behov for at vide noget om i den givne situation. På specialiseringen i Maskinintelligens skal du arbejde med bl.a. avancerede teknikker i data mining, avancerede metoder til ræsonnement og beslutningstagen under usikkerhed, design af intelligente systemer samt intelligente webbaserede systemer. Du skal også lære at analysere systemers anvendelighed og virkning ved løsning af specifikke opgaver.
Specialiseringskursus: Programmeringsteknologi (5 ECTS)
Denne specialisering dækker over et stort spektrum inden for datalogiens verden. Specialiseringen indeholder bl.a. emner som avancerede programmeringsteknologier og -teknikker, herunder programmeringssprog. Du får viden om både nye tendenser inden for programmering samt klassiske avancerede emner. Du kommer til at arbejde med fx biblioteksdesign, scripting, performance studier, forskellige hardware platforme, deklarativ og generisk programmering mm. Med denne specialisering bliver du i stand til at udvælge de rette programmeringsværktøjer til en given opgave, at skrive korrekte og effektive programmer, der er lette at vedligeholde, og du bliver i stand til at vurdere ressourceforbrug, foretage optimeringer og udføre performance studier.
Specialiseringskursus: Systemudvikling (5 ECTS)
Systemudvikling består af en kombination af at finde frem til kravene til det system, man vil lave, analysere sammenhængene i det samt designe, programmere og teste det. Gennem denne specialisering vil du opnå viden om avancerede emner inden for systemudvikling i teori og praksis, og du kan bl.a. komme til at arbejde med analyse af systemudviklingspraksis, systemudviklingsmetoder, -processer og – kompetencer, organisation og ledelse af systemudvikling samt udvikling af systemer til komplekse sammenhænge, fx understøttelse af samarbejde i organisationer, vidensintensive systemer og informationsinfrastruktur.
