Fall 2017

Computer Science 674 introduces students to the mathematical foundations of computation and enhances/develops students' ability to understand and conduct mathematical proofs for computation and algorithms.