Fördjupning i bevisteori

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

Kursen fördjupar sig i avancerade ämnen inom bevis­teori, det vill säga den matematiska och filosofiska studien av matematiskt bevis. De ämnen som behandlas kan omfatta: bevis­teori för starka aritmetiska system, mängd­teorier och delsystem av andra ordningens analys; ordinalanalys; bevis­teori för infinitär logik; predikativism och konstruktivism inom matematiken; axiomatiska teorier om sanning och bevisbarhet; samt ”icke-standard”-bevis­system såsom nästade, hypersekvent- och icke-välgrundade sekventkalkyler.

Behörighet

För tillträde till kursen krävs godkänt resultat på Bevisteori (LOG221) 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-24168

Vanliga frågor

Vad krävs för att komma in på Fördjupning i bevisteori vid Göteborgs 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?

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