Kurs DT1056

Logik och matematik för datavetenskap

7,5 högskolepoäng
Grundnivå

Huvudområde: Datateknik

Kursen har inga tillfällen inplanerade just nu

Kursens mål

Efter avslutad kurs ska studenten kunna:
  • redogöra för olika algebraiska system, modulär aritmetik och polynom aritmetik
  • använda grundläggande begrepp inom satslogik, mängdlära och relationer mellan mängder, grafteori, samt tillämpa dessa kunskaper på datavetenskap
  • implementera algoritmer som baseras på elementär talteori inklusive delbarhetsegenskaper
  • tillämpa induktion och rekursion på problemlösning och programmering, speciellt för att hantera kombinatoriska problem
  • relatera logik och matematik med datavetenskap.