Discrete Mathematics for Computer Scientists

The natural numbers; sets, relations and function; algebraic topics; combinatorics; partially ordered structures; logic; graphs; formal machines; analysis of algorithms and complexity theory; coding theory.