这里大学都是大二或者大三一门Discrete Math介绍Asymptotic Complexity，一门Introduction to Algorithms and Data Structure再介绍多一点复杂度，一门Computability and Complexity引入图灵机，各类computability证明，和各种complexity classes。最后大三或者大四还有一门mathematic logic一类的课或者深入点的Computability and Complexity。