Prerequisites: Graduate Level. This course includes a survey of those areas in mathematics that are particularly useful to computer science. Topics discussed include set theory, relations and functions, equivalence and order relations, digraph and trees, Recursion, Recurrence Relations, and Analysis of Algorithms, Proofs, Inductions, Formal Logic, and probability concepts.