简介：

简介：

简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：在无限长逻辑Lω1ω的一个子逻辑L′ω1ω上建立了几个保持性定理.

简介：逻辑推理的方法和探索工具——类比思维若谷数学学习能使人聪明，故人们称数学是“思维的体操”类比思维就是“思维体操”中非常重要，非常关键的一节，著名数学教育家波利亚曾说过：“类比是获得发现的源泉，是最富创造性的逻辑推理方法和探索工具”。实际上，类比是根据...

简介：对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。

简介：分析了罗素悖论与康托的实数集合不可数证明及康托定理S〈P（S）证明之间的本质性联系，发现康托的这两个非构造性证明与罗素悖论有完全相同的思路，但是康托犯了两个逻辑性错误而使他误用了这个悖论思路。得到明确的结论：康托在集合论中如上两个证明里的核心部分实际上是罗素悖论的翻版，这两个证明中的思路与做法是错误的，这样的证明结果没有科学性。

简介：高等数学——重要而难学的基础课,非数学专业的理工科大学生往往这么认为。确实,数学,由于本身的抽象,使许多学生感到难以理解。特别是近年来基础课时的压缩,课堂上教师不得不放“快镜头”,学生就更感到压力大,甚至考试难以过关。

简介：智慧课堂是指以建构主义理论为依据,在大数据、云计算、物联网、移动互联网等技术的支持下,实现的智能高效的课堂[1].智慧课堂有丰富的技术手段,能够实现精准的学情分析,促进学生自主学习、合作学习,促进教与学方式的变革,但是,传统课堂中的师生互动、生生互动的氛围、精炼的板书等却是信息技术手段无法达到的效果,因此,只有将二者深度融合,才能真正实现智慧的课堂.

简介：2000年修订数学课程标准时,珠算被取消了。虽然珠算的计算功能被计算机取代了,但在珠算基础上发展起来的珠心算具有多元功能,不仅具有计算功能,还具有教育功能和开发儿童智力潜能的作用。珠算是中国传统数学的重要组成部分之一,在明代