This course is directed toward computer science and mathematics majors. Topics include sets, relations, functions, logic, induction, combinatorics, Boolean algebra, recurrence relations digraphs, and trees. Emphasis is on the solution of problems.