| TDDB08 | LOGIK, fördjupningskurs, 3 poäng /Logic, advanced course/ För: C3, C4 | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: D | ||
| Klassning för datavetenskaplig examen: Datavetenskap | ||
| 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 icke berä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. Kurslitteratur: Boolos & Jeffrey: Computability and Logic . Cambridge University Press. ISBN 0-521-38923-2. | ||
| 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 kursdelta gare kan ett antal inlämningsuppgifter komma att bli obligatoriska. | |