²Ñä²Ô²µ»å³Ù±ð´Ç°ù¾±
Om utbildningen
Kursen behandlar Zermelo-Fraenkels mängdteori, ZFC, formulerad i första ordningens logik och tar sin utgångspunkt i den mängdteoretiska konstruktionen av naturliga och reella talsystemen. Ordinal- och kardinaltal presenteras och särskild vikt läggs dels vid den kumulativa hierarkin och dels vid urvalsaxiomets roll i axiomatiseringen av mängdbegreppet.
µþ±ð³óö°ù¾±²µ³ó±ð³Ùer och urval
µþ±ð³óö°ù¾±²µ³ó±ð³Ù
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
