The course consists of 14 weeks of lectures and exercises.
* The lectures will provide the theory and examples of formal definitions, formal proofs, regular languages, state machines, models of computations, combinatorics, discrete probabilities and modular arithmetic (c.f. ILO).
* The weekly exercises are written exercises that train the students in working with and apply the theory introduced in the lectures. The problems that the students solve in the weekly exercises will prepare the students for the written exam, as the exam will contain problems of similar nature.
4 hours written exam with no aids.
There is no access to advanced electronic tools such as computers, e-Readers or tablets.
Only old-fashioned pocket calculators and standard tools for writing on paper are allowed (pen, pencil, eraser, etc.).
Only use of pen is allowed for the final exam hand-in.
Form of re-exam is the same as the ordinairy exam.