介绍算法分析，主要的算法设计范例，包括递归算法，分而治之算法，动态规划，贪婪算法和图算法。形式化计算模型，包括有限自动机和图灵机。由算法的基本概念和复杂性理论约束引起的计算限制。约化、不可判定性和NP完全性。

先修课程：CS 173或MATH 213或CS 225。