Detaljer för kursplan för kurs EDA030F giltig från och med VT 2016

Allmänt

Syfte

Kursen syftar till att introducera begrepp inom diskreta strukturer som är centrala för datavetenskap.

Innehåll

Mängder, relationer, funktioner, induktion, rekursion, träd, grafer, satslogik, predikatlogik, bevis, interaktiva bevisföringsverktyg.

Kunskap och förståelse

För godkänd kurs skall doktoranden
förstå grundläggande begrepp inom diskreta strukturer
förstå hur bevis är uppbyggda

Färdighet och förmåga

För godkänd kurs skall doktoranden
kunna tillämpa begrepp inom diskreta strukturer på datavetenskapliga problem
kunna tillämpa grundläggande tekniker för att konstruera bevis

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

Undervisningsformer

Seminarier
Laborationer
övningar
övrigt
Kommentarer:
Kursen bedrivs i form av övningar, laborationer, kamraträttning och seminarier. Inför varje seminarium ska doktoranden läsa kursmaterial och göra övningar och/eller laborationer. Varje doktorand kamraträttar vissa övningar och/eller laborationer. Vid seminarierna diskuteras olika lösningar.

Examinationsformer

Inlämningsuppgifter
övrigt
Kommentarer:
Aktivt deltagande på seminarier. Inlämningsuppgifterna består dels av egna lösningar till övningar och dels av feedback på andras lösningar.
Betygsskala:
Underkänd, godkänd

Förkunskapskrav

Förutsatta förkunskaper

Urvalskriterier

Litteratur

Litteratur:
Makinson, D.: Sets, Logic, and Maths for Computing, 2nd edition.. Springer, 2012. ISBN 9781447124993.
Pierce, Benjamin C.: Software Foundations. Electronic textbook. Version 4.0.. 2016.
Kommentarer:
Förordet samt kapitlen om Basics, Induction och Lists ingår i kursen.

Övrig information

Förutom kursböckerna ingår visst material från internet (videos och föreläsningsanteckningar).

Kurskod

Administrativ information

Alla publicerade kurstillfällen för kursplanen

Inga matchande kurstillfällen hittades.

0 kurstillfällen.