Diskret matematik

Kursen är obligatorisk inom N1SOF Sofware Engineering and Management kandidatprogram.

Kursen ger grundläggande kunskaper om diskreta matematiska strukturer som behövs som förkunskapskrav för fortsatta högskolestudier i computing och programmering. I kursen understryks matematikens viktiga roll inom studentens framtida studier och inom data-området som helhet.

Kursen ger en konkret bild och framåtblick av såväl de stora klassiska grundläggande frågor inom computing och programmering (t.ex. Halting problemet, P vs. NP), som de stora aktuella utmaningarna inom data-området (t.ex. "big data", multi-core revolutionen), och vilken roll matematiken spelar i dessa frågor.

Kursen motiverar relevanta matematiska koncept och tekniker med hjälp av computing och programmering exempel (t.ex. programmeringsproblem, nätverksalgoritmer, tidsuppskattning av program).

Efter godkänd kurs ska studenten kunna:

Kunskap och förståelse

• förklara terminologi och egenskaper vanligt förekommande i diskreta strukturer (som heltal, trädstrukturer, och grafer),
• förklara bevistekniker (som motsägelsebevis och strukturell induktion) för diskreta strukturer och iterativa processer,

Färdigheter och förmåga

• välja och tillämpa lämpliga diskreta strukturer för att beskriva och resonera om vanliga computing och programmering situationer
• föra och presentera egna matematiska resonemang och bevis 

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

• identifiera och använda lämpliga matematiskt verktyg i vanliga situationer som uppstår inom computing och programmering
• bedöma och kritisera matematiska resonemang och bevis framfört av en tredje part.

Undervisningen kommer att ske med hjälp av föreläsningar och gruppövningar med handledare.

Undervisningsspråk: engelska

Kursen examineras genom en skriftlig salstentamen i slutet av kursen och skriftliga inlämningsuppgifter som normalt genomförs i grupper av studenter. Delmomentet inlämningsuppgifter examineras baserat på lösningsförslag på obligatoriska problem som lämnats in under kursens gång samt utifrån studentens individuella bidrag till gruppens arbete.

Om student som underkänts två gånger på samma examinerande moment önskar byte av examinator inför nästa examinationstillfälle, bör sådan begäran inlämnas skriftligt till institutionen och ska bifallas om det inte finns särskilda skäl däremot (HF 6 kap 22§).

Om student fått rekommendation från Göteborgs universitet om särskilt pedagogiskt stöd kan examinator, i det fall det är förenligt med kursens mål och förutsatt att inte orimliga resurser krävs, besluta att ge studenten en anpassad examination eller alternativ examinationsform.

I det fall en kurs har upphört eller genomgått större förändringar ska student garanteras minst tre examinationstillfällen (inklusive ordinarie examinationstillfälle) under en tid av minst ett år, dock som längst två år efter det att kursen upphört/förändrats. Vad avser praktik och verksamhetsförlagd utbildning gäller motsvarande, men med begränsning till endast ett ytterligare examinationstillfälle.

Delkurser

1. Tentamen (Written exam), 4,5 hp
   Betygsskala: Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3) och Underkänd (U)
2. Inlämningsuppgifter (Assignements), 3 hp
   Betygsskala: Godkänd (G) och Underkänd (U)

På kursen ges något av betygen Mycket väl godkänd (5), Väl godkänd (4), Godkänd (3) och Underkänd (U).

För att bli godkänd på kursen krävs att både inlämningsuppgifterna och skriftliga salstentamen är godkända. Det slutliga betyget på kursen bestäms utifrån betyget på skriftliga salstentamen.

Resultatet och eventuella förändringar i kursens upplägg ska förmedlas både till de studenter som genomförde värderingen och till de studenter som ska påbörja kursen.

Kurslitteratur kommer att publiceras senast 8 veckor innan kursstart.