Covers discrete mathematics including set theory; functions; vectors and matrices; graph theory; planar graphs; colourations; trees; directed graphs; finite state machines; combinatorial analysis; algebraic systems; formal languages; posets and lattices; proposition calculus; and Boolean algebra.