| TDDB90 | DISKRET MATEMATIK OCH LOGIK, 9 poäng /Discrete Mathematics and Logic, Introductory Course/ För: C1 | |
| Utbildningsområde: Naturvetenskap Ämnesgrupp: Matematik | ||
| Fördjupningsnivå: B | ||
| Klassning för datavetenskaplig examen: Datavetenskap | ||
| Mål: Kursen ger grundläggande kunskaper i diskret matematik och logik med tonvikt på datalogiska tillämpningar.Påbyggnadskurser: TDDA16 AI-Kunskapsrepresentation, TDDA41 Logikprogrammering, TDDA89 Formella språk och automatateori, TSEA 04, TSEA 06 Digitalteknik, TATM24 Abstrakt Algebra.Organisation: Kursen varvar föreläsningar i diskret matematik och logik. På lektionerna övas och illustreras teorin.Kursinnehåll: Diskret Matematik: Grundläggande mängdlära. Relationer och funktioner. Heltalen. Induktion och rekursion. Algoritmer. Euklides algoritm. Komplexitets teori. Kardinalitet och oändliga mängder. Boolesk algebra. Grafer och träd. Logik: Giltiga argument. Sats- och predikatlogik. Språk och semantik. Modell teori och bevisteori. Inferensregler. Naturlig deduktion. Normalformer. Resolution. Sundhet och fullständighet. Axiomatiska system och definitioner.Kurslitteratur: Grimaldi, R. Discrete and Combinatorial Mathematics . Addison-Wesley, 1994. (3e upplagan). Hansen, K. Grundläggande Logik. Studentlitteratur, 1994. | ||
| TEN 1 | En skriftlig tentamen efter period 1. | |
| TEN 2 | En skriftlig tentamen efter period 2. | |