Mål:
Kursens mål är att ge förståelse för några av den matematiska logikens under 1900-talet centrala resultat.
Förkunskaper:
Kunskaper i diskret matematik, grundläggande logik, formella språk. Viss matematisk mognad.
Organisation:
Seminarier, där kursmaterialet gås igenom genom att kursdeltagarna presenterar lämpliga avsnitt. Frivilliga inlämningsuppgifter.
Kursinnehåll:
Beräkningsmodeller och ekvivalens mellan dem, beräkningsbarhet och ickeberäkningsbarhet, första ordningens logik med dess oavgörbarhet, kompakthet och fullständighet, Skolem-Löwenheims sats, Gödels ofullständighetssats, ickestandardmodeller för aritmetik.
Litteratur:
Boolos & Jeffrey: Computability and Logic. Cambridge University Press. ISBN 0-521-38923-2.
Examination:
UPG 1 Väl utförda presentationer räcker för betyget godkänt. Frivilliga inlämningsuppgifter ger möjlighet att få betyget väl godkänt. Vid större antal kursdeltagare kan ett antal inlämningsuppgifter komma att bli obligatoriska.