A continuation of C+IN SC 1166 (0066). Concepts include recursion and recursive algorithms; relations including equivalence, congruence, and order; introduction to graphs and trees. Additional topics include Boolean algebra and finite automata. Applications to computer science will be illustrated. Note: (1) Duplicate Course: No credit for students who have completed Math 3098 (W205). (2) May not be taken for mathematics credit. (3) For Computer Science Majors.