Boolean algebra and propositional logic with applications. Elements of the theory of directed and undirected graphs. Permutations, combinations, and related combinatorial concepts. The course provides mathematical topics of particular value to students in computer science. Prerequisite: MATH 132 or CSCI 112. C21:NS,QS.