Kategoriteori
Kurs
LOG350
Avancerad nivå
7,5 högskolepoäng (hp)
Behörigheter och urval
Behörighet
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),
- samt godkänt resultat på Mängdteori (LOG121),
eller motsvarande. Dessutom krävs språkkunskaper motsvarande Engelska 6.
Urval
Högskolepoäng, max 165 hp