LFU:online

Graduates of this module can prove simple results. They understand formal techniques, basic methods to analyse concrete structures, and can represent information abstractly.

proof methods, integers and rationals, introduction to graph theory, discrete probability theory, finite automata, turing machines, complexity theory

Presentation of slides together with blackboard lecture; dedicated lecture notes (see homepage).

written exam

See homepage of the lecture