P: 240 and MATH 164. Fall. Theory and application of discrete
mathematics structures and their relationship  to computer science.
Topics include sets, relations, functions, permutations, combinatorics,
graphs, trees,  Boolean algebra, recurrence relations, group theory, and
finite-state automata.