问题求解2年中的核心价值点 ·形式化和证明方法 ·抽象数据类型及数据结构 所有的一切，归根结底， ·算法复杂度评估 体现为： ·算法设计策略 程序设计能力 ·若干经典问题的数学模型及算法 (狭义上的问题求解) ·难问题的“难”以及我们的妥协 ·妥协中的坚持问题求解2年中的核心价值点 • 形式化和证明方法 • 抽象数据类型及数据结构 • 算法复杂度评估 • 算法设计策略 • 若干经典问题的数学模型及算法 • 难问题的“难” 以及我们的妥协 • 妥协中的坚持 所有的一切，归根结底， 体现为： 程序设计能力 （狭义上的问题求解）