Recent ProfessorsNot yet assignedRecent SemestersNo scheduled sections on recordClass SizeNot publishedCredits4PrerequisiteCS 111 , CS 138 , or CS 150 and MATH 126 , MATH 126S , or eligibility determined by the math placement process. Transfers ToCSUDescriptionDesigned for students majoring in computer science, this course introduces discrete mathematics, including logic, methods of proof, number theory, sets, counting, relations, recursion, recurrence relations, Boolean algebra, graphs, trees, and networks. Topics are illustrated with applications to computer science, including design and analysis of algorithms, undecidability, program correctness, and digital logic design. C-ID COMP-152.