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, TSEA 06 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:
Grimaldi, R. Discrete and Combinatorial Mathematics. Addison-Wesley, 1994. (3e upplagan).
Hansen, K. Grundläggande Logik. Studentlitteratur, 1994.
Examination:
TEN 1 En skriftlig tentamen efter period 1.
TEN 2 En skriftlig tentamen efter period 2.