Reasoning About Computation

Undergraduate catalogue

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 in theoretical computer science, such as NP-completeness and cryptography that arise from the world view of efficient computation. Prerequisites: COS 126 and MAT 175 or MAT 202 or MAT 204.