数学形式化相关论文
有关数学形式化及其教学曾在20世纪90年代引发广泛讨论．伴随着中国高中数学课程标准从2003年实验版到2017年版及其2020年的重新修订......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
美国数学家斯蒂恩（steen）提出“数学是关于模式的科学”．认知心理学家西蒙也指出“人们在解决数学问题时，大多数是通过模式识别来解决......
下面结合实际教学,谈谈我对“合情推理”的理解. 一、在教学中注重运用“合情推理”,有助于学生理解数学新知识,有利于培养......
众所周知，兴趣是一个学生最好的老师．笔者在初中数学任教多年，渐渐发现初中数学对部分学生来说越学越了无兴趣，始终无法摆脱数学形式化......
根据高职高专教育的特点与要求，充分考虑学生的人性特点，分析目前高等数学教学面临的难题，思考与探索问题的关键所在，尽可能地提出发展......
“强调本质,注意适度形式化”是《普通高中数学课程标准(实验)》提出的新理念.这一理念不是要打压、淡化数学形式化,而是为了改善......
一、构建基于“数学文化”的数学教学观“数学文化”注重数学向文化的回归，这对数学教育有很重要的启示：不应只注重数学形式化的一面......
20世纪50年代以来成为主流的新古典经济学派,在方法论个人主义的指导下,利用经济人假设及瓦尔拉斯一般均衡体系构建了一座宏伟的经......
前人对学习困难学生问题的研究大多集中在对学生自身因素的分析及矫治。本文作者立足数学学科特点,从数学教师的教育观念、教学手......
经济研究中关于数学使用的争论,实际上关系到对经济学的性质与意义、范围与方法等问题的讨论,同时也涉及到经济学对其语言的一个选......
初步分析和批评了国内有代表性的将马克思价值价格理论数学形式化的相关文论,阐明了两个主要观点:一、商品的价值,即社会必要劳动......
