Grundläggande behörighet + Matematik 4.

Kursen ingår i examensfordringarna för civilingenjörsexamen i Datateknik.

• Mängdlära: terminologi och grundläggande begrepp
• Grundläggande sats- och predikatlogik, syntax och semantik, bevistekniker och boolesk algebra
• Talteori: delbarhet och primtal, Euklides algoritm och modulär aritmetik
• Kombinatorik: permutationer och kombinationer, binomialkoefficienter, principen om inklusion och exklusion, postfacksprincipen, elementär sannolikhetslära
• Funktioner och relationer
• Rekursion: talföljder, rekursionsformler och induktionsprincipen
• Grafteori: terminologi och grundläggande begrepp
• Formella språk och automater: terminologi och grundläggande begrepp.

Kunskap och förståelse

Efter avslutad kurs skall studenten kunna:

1. redogöra för centrala begrepp inom mängdlära, sats- och predikatlogik, talteori, kombinatorik, funktioner, relationer, grafteori, formella språk och automater,
2. redogöra för lösningen till problem inom diskret matematik på ett väl strukturerat och logiskt sammanhängande sätt med korrekt terminologi.

Färdighet och förmåga

Efter avslutad kurs skall studenten kunna:

3. genomföra beräkningar inom diskret matematik för hand och med noggrannhet i utförandet,
4. formulera utsagor och avgöra sanningsvärden med hjälp av sats- och predikatlogikens språk och terminologi, 
5. identifiera problem som kan lösas med metoder från diskret matematik, välja lämpliga lösningstekniker och använda dessa.

Värderingsförmåga och förhållningssätt

För godkänd kurs ska studenten kunna:

6. kritiskt granska och utvärdera giltigheten av ett matematiskt resonemang.

Föreläsningar, lektioner och självstudier.

Ett väsentligt inslag i lektionerna är övning i problemlösning.

För godkänt betyg krävs:

• godkänt seminarium (UG, 1,5 hp) (Lärandemål 6).
• godkänd skriftlig tentamen (TH, 6 hp) (Lärandemål 1-5).

För samtliga bedömningar ska underlaget vara sådant att individuella prestationer kan särskiljas.

Slutbetyget motsvaras av betyget på den skriftliga tentamen.

• Eriksson, K. och Gavel, H. (2013) Diskret matematik och diskreta modeller, Studentlitteratur.

Malmö universitet ger studenter som deltar i eller har avslutat en kurs en möjlighet att framföra sina erfarenheter av och synpunkter på kursen genom en kursvärdering som anordnas av lärosätet. Universitetet sammanställer kursvärderingarna samt informerar om resultaten och eventuella beslut om åtgärder som föranleds av kursvärderingarna. Resultaten ska hållas tillgängliga för studenterna. (HF 1:14).

Om en kurs har upphört att ges eller har genomgått större förändringar ska studenterna, under ett år efter det att förändringen har skett, erbjudas två tillfällen för omprov baserade på den kursplan som gällde vid registreringen.

Om en student har beslut om riktat pedagogiskt stöd, har examinator rätt att ge ett anpassat prov eller låta studenten genomföra prov på ett alternativt sätt.