Logik och fullständighet
Kurs
LOG112
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 60 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik, eller
- minst 90 hp inom filosofi eller lingvistik, samt minst 30 hp sammanlagt inom ämnesområdena matematik, logik, datavetenskap eller formell lingvistik,
eller motsvarande kunskaper. Dessutom krävs språkkunskaper motsvarande Engelska 6.
Urval
Högskolepoäng, max 165 hp