Overview. Mathematics 309: Discrete Mathematics explains methods of discrete mathematics that are useful in computer science. The course covers number theory, set theory, logic, relations, functions, ...