Diskret matematik

Lärandemål

Kursen skall ge den begreppsram och de tekniker som används inom den diskreta matematiken vid tillämpningar inom programutveckling, teoretisk datalogi, databasteori, digitalteknik och som kommer till användning i fortsatta studier i diskret matematik. Efter avslutad kurs skall studenten:

• kunna utföra bevis med induktion, tillämpa induktion vid lösning av rekursiva problem, samt kunna lösa grundläggande problem inom heltalsaritmetik såsom diofantiska ekvationer,
• ha tillgodogjort sig och kunna tillämpa mängdlärans formelspråk och operationer, och därigenom strukturera, formulera och lösa kombinatoriska problem,
• vara väl förtrogen med definitioner och grundläggande egenskaper hos relationer, grafer och booleska funktioner, samt relaterade begrepp som beskrivs av kursinnehållet, och kunna använda dessa för problemlösning och enklare bevisföring,
• kunna redovisa lösningsgångar och använda matematikens formelspråk på ett korrekt sätt.