Logic, algorithms, combinatorics, trees, graphs, and other topics from discrete mathematics used in computer science.