四个论域 ·论域1：计算入门与数学证明 ·帮助学生理解计算思维最核心的概念，接受基本的形式化训练，掌握抽象数学证明的 基本方法。 ·论域2：经典数据结构与算法 ·帮助学生理解抽象数据类型，理解并应用常用的数据结构 ·掌握重要的算法设计策略以及算法设计与分析的基本理论与方法 ·理解并能够应用支持上述内容的离散数学工具与方法。 ·论域3：典型应用问题及其求解方法 ·引导学生掌握典型应用中抽象出来的重要算法问题的求解方法，理解并能够应用支持 上述内容的离散数学工具与方法。 ·论域4：复杂性理论基础与“难”问题的算法 ·涵盖问题求解中复杂性理论的基本内容与问题规约方法，解决“难”问题的主要方法、 技术以及相关的重要理论结果。四个论域 • 论域1：计算入门与数学证明 • 帮助学生理解计算思维最核心的概念，接受基本的形式化训练，掌握抽象数学证明的 基本方法。 • 论域2：经典数据结构与算法 • 帮助学生理解抽象数据类型，理解并应用常用的数据结构 • 掌握重要的算法设计策略以及算法设计与分析的基本理论与方法 • 理解并能够应用支持上述内容的离散数学工具与方法。 • 论域3：典型应用问题及其求解方法 • 引导学生掌握典型应用中抽象出来的重要算法问题的求解方法，理解并能够应用支持 上述内容的离散数学工具与方法。 • 论域4：复杂性理论基础与“难”问题的算法 • 涵盖问题求解中复杂性理论的基本内容与问题规约方法，解决“难”问题的主要方法、 技术以及相关的重要理论结果