CMS 310 - Theoretical Foundations of Computer Science

Builds on the foundation established in Introduction to Discrete Mathematics. Topics include, but are not restricted to, combinatorics and graph theory, Boolean algebra, digital logic circuits, functional programming, models of computation, and computational complexity. Prereq(s): CMS 120 and MAT 140