An introduction to the areas of discrete mathematics that are important for computer science. Topics include logic, sets, functions, relations, algorithms, counting methods, and graph theory.