8 Prerequisites

The formal requirements are listed in the course plan, which may be found at the following . They include the following.

1. A knowledge of programming in C in the Unix/Linux environment. This requirement is met by the formal prerequisite of the course Systemprogrammering (Systems Programming).
2. A thorough knowledge of data structures and algorithms, as presented in the course Datastrukturer och algoritmer (Data Structures and Algorithms), which is a prerequisite for the course in systems programming.
3. A knowledge of discrete mathematics and the formal foundations of computer science. This requirement is met by the courses Datavetenskaps grunder (Foundations of Computer Science) and Diskret matematik (Discrete Mathematics).
4. A knowledge of first-order predicated logic, as presented in the course Logik för datavetare (Logic for computer scientists).

This requirements should be met by students who are following a normal path of study in one of the programs of the Department of Computing Science. However, students from other disciplines who are considering this course should understand that the level of sophistication required in these topics is relatively high, and often not met by persons who work in other disciplines, even if they have a fair amount of practical programming experience.