Programmering, Avancerad nivå (Magister- och Masterexamen) i Uppsala Län

Programmering i ett urval funktionella programspråk (till exempel Haskell, Erlang och Lisp). Lat evaluering, parallellism, concurrency, metaprogrammering. Begrepp som bindning...

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

Kursen ger en introduktion till programmeringsspråket Python med fokus på analys och presentation av vetenskaplig data. Efter en introduktion till...

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

Det är ett stående önskemål i vetenskap och teknik att höja datorernas räknekapacitet. Snabba datorer med en enda processor och...

Kursen ger en introduktion till parallell programmering och hårdvara. Flera programmeringsmodeller presenteras och deras för- och nackdelar diskuteras. Du får...

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

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

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

- 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...

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...

Ä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...