把抽象的数学概念 布尔巴基学派既然把所有的数学概念，命题，公理都抽象为一个字符串，那么我们能否据此用计算机做数学证明？

如何把抽象的数学概念直观起来 在现实世界中寻找数学概念的模型，树立概念的直观形象。对于某些数学概念，在我们数学老师眼中是理所当然的，往往认为：定义是这样的，不需要解释。但对于学生来说，对于一个凭空定义的概念，如果他们在现实生活中找不到这个概念的模型，他们就难以想象这个概念的存在。最后，他们也难以接受和理解这个概念。因此我们要寻找数学概念的模型，把抽象的数学概念变为直观的模型。怎么将抽象的数学概念用图表或者通俗的词语解释？ 各种数学概念千变万化，你这么笼统地问，没法解答。尽量利用身边的事物打比方就是了。如果你觉得不好理解，那你就把你认为最不好解释的概念列出几个来，我来试试用通俗易懂的语言帮你解释。高等数学书中一些定义定理的证明需要了解吗？ 看什么证明了，有些证明了解比如极限的定义证明问题、重要极限公式的证明等等；有些需要熟悉比如泰勒公式的证明等等；有些证明需要掌握比如中值定理的证明等等.而计算方法性的证明也都必须要掌握，比如分部积分法的证明.详细的要看教学大纲.

#数学