Grundläggande algoritmer och datastrukturer: En systematisk genomgång av begreppen abstrakta datatyper, stackar, köer, listor, träd, sökning, sortering och rekursion. Hashning, prioritetsköer, sökträd och problemträd, enkel syntaxanalys och reguljära uttryck.
Algoritmanalys med avseende på både effektivitet och korrekthet. Korrekthetsbevis.
Programmering: programutvecklingsmetodik, programkvalitet, abstraktion, testning, standardbibliotek.