| TDDB94 | Diskret matematik och logik, 8 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, datalogi, matematik, diskret matematik. | ||
| Mål: Kursen ger grundläggande kunskaper i diskret matematik och logik med tonvikt på datalogiska tillämpningar.Påbyggnadskurser: TDDA 16 AI-Kunskapsrepresentation, TDDA 41 Logikprogrammering, TDDA 89 Formella språk och automatateori, TSEA 04 Digitalteknik, TATM 24 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. Komplexitetsteori. Kardinalitet och oändliga mängder. Boolesk algebra. Grafer och träd. Logik: Giltiga argument. Sats- och predikatlogik. Språk och semantik. Modellteori och bevisteori. Inferensregler. Naturlig deduktion. Normalformer. Resolution. Sundhet och fullständighet. Axiomatiska system och definitioner.Kurslitteratur: Björn, A, Turesson, B O: Diskret matematik, 1998. Hansen, K. Grundläggande Logik. Studentlitteratur, 1994. | ||
| TEN1 | En skriftlig tentamen efter period 1, 4 p. | |
| TEN2 | En skriftlig tentamen efter period 2, 4 p. | |
Undervisningsspråk är svenska.