2012级--时间安排

本课程内容分为四个论域，每个论域一学期完成，具体安排如下：

• 论域1，计算入门与数学证明：2012/2013学年秋季学期。
• 论域2，经典数据结构与算法：2012/2013学年春季学期。
• 论域3，典型应用问题及其求解方法：2013/2014学年秋季学期。
• 论域4，复杂性理论初步与“难”问题的求解方法：2013/2014学年春季学期。