Mål:
Kursen syftar till kännedom om grundläggande abstrakta datatyper och effektiva implementationer av dessa i termer av datastrukturer och procedurer, samt till kännedom om och förståelse av metoder för design, analys och verifiering av algoritmer.
Förkunskaper:
Grundkurs i diskret matematik, Grundkurs i logik, TDDB 93, TDDB 92 Programmering i inkrementellt system. Vidare krävs grundläggande kunskaper i programmering i Pascal (eller något liknande programmeringsspråk.
Påbyggnadskurser:
TDDA 32 Konstruktion och analys av algoritmer. TDDB 45 Beräkningsbarhet och Komplexitetsteori. Vidare utgör kursen förkunskapskrav till följande kurser:
TDDA 21 Processprogrammering.
TDDA 28 Kompilatorer och interpretatorer.
TDDA 37 Kompilatorkonstruktion.
TDDA 38 Databasteknik.
TDDA 13 Artificiell Intelligens D
TDDA 58 Artificiell Intelligens C
Organisation:
Föreläsningarna används till genomgång av teori. Lektionerna används dels till övningar och dels till förberedelse av laborationer. Laborationerna är huvudsakligen datorbaserade men innehåller även vissa "skrivbordsmoment".
Kursinnehåll:
-Grundläggande begrepp
-Grundläggande abstrakta datatyper och datastrukturer
-Analys och verifiering av algoritmer
-Sortering och urval
-Algoritmdesign
-Minneshantering
Kurslitteratur:
Kursbok, meddelas senare.
Kompendium, utges av institutionen för datavetenskap.
Examination:
LAB 1 En laborationskurs.
TEN 1 En skriftlig tentamen.