Semantik för programmeringsspråk

Antagningspoäng hösten 2026

Eget urval. Den här utbildningen antar inte på meritvärde eller högskoleprov, så det finns ingen poänggräns.

Lägsta antagna i senaste antagningen (hösten 2026) enligt UHR. Ingen garanti för nästa antagning.

Om utbildningen

Syftet med semantiska beskrivningar är att ge en exakt definition av innebörden av ett programspråk utan oklarheter eller tvetydigheter. Det är till nytta när man behöver en precis förståelse för hur ett programspråk fungerar, till exempel vid utformning av nya programspråk, vid konstruktion av program som använder andra program som data, som kompilatorer, men även av programmerare för referensändamål. Olika semantiska metoder och deras användning tas upp, med särskilt fokus på operationell semantik.

Behörighet

60 hp matematik och datavetenskap inklusive Algebra I, Logik och bevisteknik I, en fortsättningskurs i programmering, programmering i minst ett funktionellt och minst ett imperativt språk.

Praktiskt

Start

31 augusti 2026

Slut

1 november 2026

Språk

Engelska

Studietakt

33 %

Studieform

På plats i Uppsala

Anmälningskod

UU-11003

Vanliga frågor

Vad krävs för att komma in på Semantik för programmeringsspråk vid Uppsala universitet?

Utbildningen har ingen poänggräns (eget urval) – den antar inte på meritvärde eller högskoleprov. Du måste också uppfylla behörighetskraven.

Hur lång är utbildningen?

5 hp, studietakt 33 %.

Går den på distans?

Nej, den ges på plats i Uppsala.

Vad betyder BI och HP?

BI är betyg utan komplettering och HP är högskoleprovet. Läs guiden.

Överblick

• Alla program och kurser vid Uppsala universitet
• Alla kurser i Datateknik