Sidans innehåll
Logik, spel och automata
Kurs
LOG290
Avancerad nivå
7,5 högskolepoäng (hp)
Behörigheter och urval
Förkunskapskrav
För tillträde till kursen krävs godkänt resultat på Logisk teori (LOG111) samt godkänt resultat på Modallogik (LOG131), eller motsvarande.
Urval
Högskolepoäng, max 165 hp.