Kursöversikt

Kurs-PM

Kursen ges av institutionen för Data- och informationsteknik.

Examinator och föreläsare: Koen Claessen (room 6113A).

Assistenter: Freek Geerlings (room 6461A).

Administration

Kurslitteratur består ut av (gratis) anteckningar och (gratis) böcker som görs tillgänglig via kursens hemsida.

Kursen har 3 föreläsningar per vecka.

Det finns handledda övningstillfällen i grupp 1 gång i veckan.

Det finns en inlämningsuppgift varje vecka. (Om deadline missas får man en chans till vid nästa tillfälle kursen ges.)

Efter godkänd kurs ska studenten kunna:

Kunskap och förståelse

förklara terminologi och egenskaper hos i datavetenskapen vanligt förekommande
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 datavetenskapliga 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 datavetenskapen;
bedöma och kritisera matematiska resonemang och bevis framfört av en tredje part.

För att få godkänt på kursen ska man ha godkänt på alla inlämningsuppgiterna.

Det finns en skriftlig tentamen på slutet av kursen.

Slutbetyget på kursen är detsamma som betyget på tentan.