| TDDB08 | Logik fördjupningskurs, 3 poäng /Logic, advanced course/ För: C3, C4 Kursen ges varannat år. Kursen ges ej 2000. | |
| Utbildningsområde: Teknik Ämnesgrupp: Datalogi | ||
| Fördjupningsnivå: D | ||
| Klassning för datavetenskaplig examen: Datavetenskap, datalogi, matematik, diskret matematik. | ||
| 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. | ||
| UPG1 | 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. , 3 p. | |
Undervisningsspråk är svenska.