EDA030F

Tillfällig

Diskreta strukturer och introduktion till bevis

6

Ren forskarutbildningskurs

7121 (Datavetenskap (LTH))

 -10-27

Professor Thomas Johansson

Engelska

Vid tillräcklig efterfrågan

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

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

förstå grundläggande begrepp inom diskreta strukturer
förstå hur bevis är uppbyggda

kunna tillämpa begrepp inom diskreta strukturer på datavetenskapliga problem
kunna tillämpa grundläggande tekniker för att konstruera bevis

Seminarier

Laborationer

övningar

övrigt

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.

Inlämningsuppgifter

övrigt

Aktivt deltagande på seminarier. Inlämningsuppgifterna består dels av egna lösningar till övningar och dels av feedback på andras lösningar.

Underkänd, godkänd

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.

Förordet samt kapitlen om Basics, Induction och Lists ingår i kursen.

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

EDA030F

 -10-27

Professor Thomas Johansson