This course provides an introduction to the design and analysis of algorithms. It covers a variety of classical algorithms and data structures and their complexity and will equip students with the intellectual tools to design, analyze, implement, and evaluate their own algorithms.

This course provides an introduction to the theory of computation, including formal languages, grammars, auto-mata theory, computability, and complexity.