Data / IT, Avancerad nivå (Magister- och Masterexamen) i Uppsala Län

I kursen introduceras grundläggande teorier för programanalys, verifiering och samband mellan matematik och programmering. Områden som ingår är: propositionslogik, predikatlogik,...

Introduktion till datoralgebrasystem och symbolisk programmering. Grunderna i Mathematica som ett programmeringsspråk: symboliska uttryck, vektorer och matriser, villkor, loopar. Substitutioner...

Projektarbete i grupper som täcker in följande områden: inbyggda system, sensormaskinvara, distribuerade algoritmer, radiokommunikation (utbredning och modulation), energieffektivitet, and kommunikationsprotokoll...

- Användningen av verktyg för att lösa ett kombinatorisk problem, genom att först modellera problemet i ett lösningsteknik-oberoende villkorsbaserat modelleringsspråk...

Programmering av inbyggda system på exempel av sensormaskinvara, distribuerade algoritmer, radiokommunikation (utbredning och modulation), energieffektivitet, kommunikationsprotokoll för trådlösa system. Inbyggda...

Programvara används ofta under en lång tid under vilken den vidareutvecklas och modifieras för att passa ändrade förutsättningar. Det är...

Kursen vänder sig till dig som redan har rutin inom sekventiell programmering och nu vill bredda din kompetens till att...

Kursen täcker in följande områden: utvecklingsmiljöer för inbyggda programvara, resursmedveten programmering, maskinnära programmering, utveckling av multitrådad programvara, inter-processkommunikation med delade...

Projektarbete i grupper som täcker in följande områden: utvecklingsmiljöer för inbyggda programvara, resursmedveten programmering, maskinnära programmering, utveckling av multitrådad programvara,...

Även om datorerna blir snabbare och snabbare finns behovet att få ut så mycket kapacitet som möjligt ur datorn, det...

Kursen ger kunskaper och praktiska färdigheter i att konstruera moderna användargränssnitt. Ett delmål är att ge insikt i hur man...

Den här kursen ger dig möjlighet att fördjupa dig inom beräkningsvetenskap, där fördjupning är sådan att den inte ingår i...

Den här kursen ger dig möjlighet att fördjupa dig inom beräkningsvetenskap, där fördjupning är sådan att den inte ingår i...

Den här kursen ger dig möjlighet att fördjupa dig inom beräkningsvetenskap, där fördjupning är sådan att den inte ingår i...

Den här kursen ger dig möjlighet att fördjupa dig inom beräkningsvetenskap, där fördjupning är sådan att den inte ingår i...

Den här kursen ger dig möjlighet att fördjupa dig inom beräkningsvetenskap, där fördjupning är sådan att den inte ingår i...

Traditionellt har dataanalys och beräkningar utförts genom att de exekveras på datorns huvudprocessor, CPU:n. Allt eftersom datamängderna har ökat har...

Funktionell programmering är en form av deklarativ programmering: programmeraren ska fokusera på att definiera problemet, i stället för att ange...

Kursen fokuserar på praktisk projektledning med ett utvecklingsprojekt där internationella arbetsgrupper med mellan fem och åtta medlemmar konstruerar och implementerar...

Inom kommersiella programvaror för beräkningar används ofta en typ av beräkningsmetoder som kallas finita elementmetoder (FEM). Metodiken kommer ursprungligen från...