| TATM90 | DISKRET MATEMATIK OCH LOGIK, 8 poäng /Discrete Mathematics and Logic/ För: D1, Y4, matematik åk 3-4 | |
| Utbildningsområde: Naturvetenskap Ämnesgrupp: Matematik | ||
| Fördjupningsnivå: B | ||
| Mål: Kursen skall ge grundläggande kunskaper i diskret matematik och logik.Förkunskaper: Gymnasiets matematik (kurs A-E) väl inhämtad (eller motsvarande)Organisation: Kursen ingår i den andra tematerminen för Datatekniklinjen. Innehållet i kursen kommer därför att samordnas med övriga kurser som läses den terminen. Kursen är i tiden uppdelad i två delkurser som tenteras var för sig. Undervisningen är uppdelad på gemensamma föreläsningar och klassvisa lektioner. Antal och fördelning framgår senare av schema.Kursinnehåll: Från Diskret Matematik: Mängdlära och operationer på mängder. Heltalsteori. Induktion och rekursion. Euklides algoritm. Relationer och funktioner, speciellt partiella ordningar, lattice och ekvivalensrelationer. Boolska algebror. Grafer, träd och olika adresseringar och ordningar av riktade träd. Exempel på ändliga automater. Från Logik: Propositions- och predikatlogik avseende formelspråk, normal former, modellbegrepp och ekvivalenstransformationer på formler jämte bevis för dessa. Inferensregler för naturlig deduktion med fullständighetsanalys för axiomatiseringar.Kurslitteratur: Grimaldi, R: Discrete and Combinatorial Mathematics. Addison-Wesley, 1994, 3:e upplagan. Hansen, KK Grundläggande Logik. Studentlitteratur, 1994. Kompendier utgivna av institutionen för datavetenskap: Sandewall, E: Tillämpad logik. Sandewall, E: Rekursionsmetoder. Bäckström, C: Övningsuppgifter till Tillämpad logik. | ||
| TEN1 | En skriftlig tentamen efter period 3. | |
| TEN2 | En skriftlig tentamen efter period 4. | |