数学形式化相关论文
有关数学形式化及其教学曾在20世纪90年代引发广泛讨论.伴随着中国高中数学课程标准从2003年实验版到2017年版及其2020年的重新修订......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
数学抽象思维能力的培养是核心素养下课堂教学研究的一个重要课题.教师应根据数学抽象思维发展的规律,运用学生认知结构的发展和认......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
根据数学抽象思维发展的规律,运用学生学习与发展的相关理论,结合教学实践,研究数学抽象思维能力的培养策略:循“序”渐进,表征积......
本文首先讨论了主流经济学的定义,其定义主要基于学术思想的声望和影响力。在谈及主流经济学时代特征时,本文提及了主流经济学所具......
美国数学家斯蒂恩(steen)提出“数学是关于模式的科学”.认知心理学家西蒙也指出“人们在解决数学问题时,大多数是通过模式识别来解决......
在传统数学课堂教学中,教师片面强调数学形式化的逻辑推导,对数学发现过程的展示和数学直观性背景关注较少,在学生眼里,数学成了枯燥无......
下面结合实际教学,谈谈我对“合情推理”的理解. 一、在教学中注重运用“合情推理”,有助于学生理解数学新知识,有利于培养......
根据高职高专教育的特点与要求,充分考虑学生的人性特点,分析目前高等数学教学面临的难题,思考与探索问题的关键所在,尽可能地提出发展......
澳大利亚信息和通信技术研究中心(Australia’s Information and Conlmunications Technology Research Centre of Excellence,后文......
“强调本质,注意适度形式化”是《普通高中数学课程标准(实验)》提出的新理念.这一理念不是要打压、淡化数学形式化,而是为了改善......
Mizar系统是由波兰华沙大学的Andrzej Trybulec教授于二十世纪七十年代开创的集逻辑证明、推理演绎、校验排版、复杂计算、科研教......
20世纪50年代以来成为主流的新古典经济学派,在方法论个人主义的指导下,利用经济人假设及瓦尔拉斯一般均衡体系构建了一座宏伟的经济......
20世纪50年代以来成为主流的新古典经济学派,在方法论个人主义的指导下,利用经济人假设及瓦尔拉斯一般均衡体系构建了一座宏伟的经......
前人对学习困难学生问题的研究大多集中在对学生自身因素的分析及矫治。本文作者立足数学学科特点,从数学教师的教育观念、教学手......
经济研究中关于数学使用的争论,实际上关系到对经济学的性质与意义、范围与方法等问题的讨论,同时也涉及到经济学对其语言的一个选......
初步分析和批评了国内有代表性的将马克思价值价格理论数学形式化的相关文论,阐明了两个主要观点:一、商品的价值,即社会必要劳动......