Logik och matematik för datavetenskap

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.

I kursen studeras algebraiska system som inkluderar modulär aritmetik och polynomaritmetik. Logik och mängdlära behandlas såsom grafteori, satslogik, sanningsvärden, mängder och mängdoperationer, samt funktioner och relationer. Vidare behandlas grundläggande kunskaper i talteori och kombinatorik såsom delare och primtal, divisionsalgoritmen, Euklides algoritm, aritmetikens fundamentalsats, induktion och rekursion, permutationer och kombinationer samt binomialteoremet.
Kursens teoretiska innehåll utforskas genom programmeringsövningar för att förstå hur datavetenskap är grundade i logik och matematik.

Duggor 4,5 hp
Laborationsrapporter 3 hp

Föreläsningar, laborationer och övningar

Som betygsskala används U–G.