When Offered:Spring, Even-numbered years A rigorous treatment of some theoretical aspects of computer science including formal definition of the notion of an algorithm, abstract machines, and formal grammars. Prerequisite: CS 2490 (Intro to Theoretical Computer Science). [Dual-listed with CS 4550.]
