Considers the mathematical underpinning of computer science. The course includes topics such as finite automata, regular expressions, grammars, languages, push-down automata, Stack machines, Turing machines, complexity, and Church’s Thesis. Prerequisite: CS 222. Corequisite: MA 230. FA, SP.