| studiehandbok@lith | |
|
|
|
|
|
| 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: TDDA16 AI-Kunskapsrepresentation, TDDA41 Logikprogrammering, TDDA89 Formella språk och automatateori, TSEA03 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. 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.
| |
|
|
 |
|||||
|
|
||||||
