Logical and mathematical foundations of computer science, including topics such as logic, proof, algorithms, recursive processes, combinatorial analysis, algorithm complexity, graphs, and theory of computation.
Credit hours: 3