Lambdakalkyl, typteori och programmeringsspråkens grundvalar

Antagningspoäng hösten 2026

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

Lambdakalkyl är en beräkningsmodell som ger en matematisk grundval för funktionella programeringsspråk. Dess typade formulering har använts till att undersöka det beräkningsmässiga innehållet hos logiska och matematiska bevis, via Curry–Howard-korrespondensen.

Behörighet

För tillträde till kursen krävs godkänt resultat på Logik och fullständighet (LOG112) eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.

Praktiskt

Start

31 augusti 2026

Slut

3 november 2026

Språk

Engelska

Studietakt

50 %

Studieform

På plats i Göteborg

Studieavgift

19 250 kr (gäller bara sökande utanför EU/EES)

Anmälningskod

GU-24170

Vanliga frågor

Vad krävs för att komma in på Lambdakalkyl, typteori och programmeringsspråkens grundvalar vid Göteborgs universitet?

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

Hur lång är utbildningen?

7,5 hp, studietakt 50 %.

Går den på distans?

Nej, den ges på plats i Göteborg.

Vad betyder BI och HP?

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

Överblick

• Alla program och kurser vid Göteborgs universitet
• Alla kurser i Matematik