Diskret matematik

Lärandemål

Efter genomgången kurs förväntas studenten kunna

• förklara de begrepp som ingår i kursen på ett sätt som är anpassat efter mottagarens förkunskaper, och redogöra för någon tillämpning inom vart och ett av kursens delområden.
• hantera de mängdalgebraiska räknesätten och modellera problem med mängdalgebraiska medel, samt redogöra för sambandet med satslogik och boolesk algebra.
• formulera och tolka påståenden i predikatlogisk notation.
• redogöra för primtals- och delarbegreppen och tillämpa Euklides algoritm i problemlösning, såsom för att lösa linjära modulära ekvationer.
• genomföra induktionsbevis och lösa problem som bygger på rekursion.
• redogöra för och tillämpa grundläggande metoder och principer inom kombinatorik och sannolikhetslära.
• använda grundläggande grafteoretisk terminologi och modellera problem med grafteoretiska medel.
• Dessutom förväntas studenten förvärva kunskaper och färdigheter i enlighet med minst ett av målen nedan:
• konstruera och uttolka funktionen av automater och redogöra för sambandet med reguljära språk.
• redogöra för begreppen funktion och relation och avgöra vilka egenskaper olika relationer har.
• Då kursen ges på ett program ska detta programs behov vara styrande för valet.