Antal poäng: 4. Betygskala: TH. Obligatorisk för: IDA1, IPV1. Kursansvarig: Universitetslektor Bertil Ekdahl, Bertil.Ekdahl@cs.lth.se. Prestationsbedömning: Skriftlig tentamen. Webbsida: http://www.cs.lth.se.

Mål
Kursen ger

• Insikt i de teoretiska grunderna för datalogi.

• Kunskaper om formulering och beskrivning av problem med hjälp av matematik och logik.

• Färdighet i lösandet av matematiska och logiska problem.

Innehåll

• Funktioner, relationer och mängder.

• Permutationer och kombinationer.

• Heltalsegenskaper.

• Satslogik och predikatlogik.

Litteratur
Kolman B: Discrete Mathematical Structures, fourth edition, Prentice Hall 2000, ISBN 0130831433.