1）结合课程内容，了解我国古代优秀数学思想和侧重算法（”术“）的优势与不足。
2）公理化思想的渐近渗透与提炼公理化思想就是任何真正的科学都始于原理，以它们为基础，并由之而导出一切结果。
3）结构化思想的构建
数学结构(mathematical structure)也称关系结构，简称结构，是现代数学的一个基本概念，各种数学对象的统称。
我们主要侧重于以《数论》为基础的 代数结构（群,环，域）和序结构。
4）介绍吴文俊院士在数学机械化的思想与算法。
本平台仅支持教师账号登录
精品课程建设
