CSCI 26 — Discrete Mathematics for Computer Science
This course studies elements of discrete mathematics which have applications to computer science. Topics include sets, propositional and predicate logic, relations and functions, proof techniques, graphs, trees, and discrete probability.