COS 340: Reasoning about Computation
An introduction to mathematical topics relevant to computer science. Combinatorics, probability and graph theory will be covered in the context of computer science applications. The course will present a computer science approach to thinking and modeling. Students will be introduced to fundamental concepts such as NP-completeness and cryptography that arise from the world view of efficient computation.