Hoppa till huvudinnehåll
Länkstig

Bevisteori

Kurs
Avancerad nivå
7,5 högskolepoäng (hp)
Studietakt
50%
Undervisningstid
Dag
Studieort
Göteborg
Undervisningsform
Campus
Undervisningsspråk
Engelska
Start/slut
-
Ansökan öppen
-
Anmälningskod
GU-22472
Ansökan stängd. Sen anmälan öppnar 15 december 2020.

Behörigheter och urval

Förkunskapskrav

För tillträde till kursen krävs godkänt resultat om minst 7,5 hp i Logisk teori (LOG111) eller Logic in Computer Science (DAT060 eller DIT201), eller motsvarande.

Urval

Högskolepoäng, max 225 hp.

För antagning till sommaren 2021 och framåt gäller följande urval: högskolepoäng, max 165 hp.