Diskret matematik

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

Kursen ges även som fristående kurs vid Göteborgs Universitet.

Kursen ger grundläggande kunskaper i diskreta matematiska strukturer som behövs som förkunskaper för vidare universitetsstudier inom datavetenskap och programmering. Kursen betonar matematikens viktiga roll i studentens framtida studier och inom datavetenskapen som helhet. Kursen ger en grundlig introduktion till diskret matematik. För detta syfte introduceras grundläggande begrepp som mängder, logik, bevis, funktioner, följder och grafer.

Efter godkänd kurs ska studenten kunna:

Kunskap och förståelse

• förklara terminologi och egenskaper hos vanligt förekommande diskreta strukturer (till exempel heltal och grafer),
• förklara bevismetoder (såsom motsägelsebevis eller induktionsbevis) för diskreta strukturer och iterativa processer

Färdigheter och förmåga

• välja och tillämpa lämpliga matematiska resonemang för att beskriva och analysera vanliga diskreta problem
• genomföra och presentera egna matematiska resonemang och bevis

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

• identifiera och använda lämpliga tekniker för att bevisa påståenden om diskreta strukturer
• bedöma och kritiskt granska matematiska resonemang och bevis som presenteras av 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, 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, 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.