数学形式化与非形式化的研究综述

来源 :中学数学教学参考 | 被引量 : 0次 | 上传用户:hubai123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
《普通高中数学课程标准(实验)》课程基本理念中的第七条是强调本质,注意适度形式化.形式化是数学的基本特征之一.在数学教学中,学习形式化的表达是一项基本要求,但是不能只限于形式化的表达,要强调对数学本质的认识,否则会将生动活泼的数学思维活动淹没在形式化的海洋里,数学的现代发展也表明,全盘形式化是不可能的.因此,高中数学课程应该返璞归真,努力揭示数学概念、法则、结论的发展过程和本质.数学课程要讲逻辑推理,更要讲道理, Article 7 of the basic idea of ​​“Ordinary High School Math Curriculum Standards (Experiment)” is emphasizing the essence and paying attention to proper formalization.Formalization is one of the basic characteristics of mathematics.In the mathematics teaching, the formal expression of learning is one Basic requirements, but it can not be limited to formal expressions. Emphasis should be placed on understanding the nature of mathematics. Otherwise, the lively mathematical thinking activities will be submerged in the formalized ocean. The modern development of mathematics also shows that it is impossible to achieve formal formalization Therefore, high school mathematics curriculum should be back to basics, trying hard to reveal the development process and essence of mathematical concepts, rules and conclusions.Mathematical curriculum should be logical reasoning, but also to reason,
其他文献
内毒素系革兰氏阴性细菌及某些阴性菌样微生物外膜中的一种结构成分,在文献中更常用的术语为脂多糖(Lipopolysaccharide,LPS)。由于此大分子是致人发热的一种有效诱导因子,
>>广告公司在完成了资本的原始积累之后,后十年如何从艺术化运作到科学化管理?重复自己的成功? 广告公司的管理问题严重是人所共知的,管理问题、机制问题、人才问题使艺术管
利用基因工程,可将外源基因导入大肠杆菌或其它工程细胞,使其作为生物工厂生产人类需要的蛋白质。在利用大肠杆菌表达外源基因时,必须考虑表达的基因载体、外源基因的性质、
近年来,由于DNA重组技术的运用,许多人类遗传性疾病的分子基础已经阐明,尤其是与人类基因组DNA有关的遗传性疾病的特定的多态限制性部位的检测,如镰刀细胞性贫血,已为产前诊
本文就经过Kauth-Thomas变换的TM数据用于雁北阳高盆地盐渍化程度分析进行了探讨。通过模拟TM数据和TM影像数据进行变换分析,并与标准假彩色合成和K-L变换比较,取得了较好的
最近发现的调节糖酵解和糖异生的一种新物质—2,6二磷酸果糖(Fru-2,6-P_2)。这里就Fru-2,6-P_2的发现及其调节因子有关生物合成、分解及生理作用加以叙述。磷酸果糖激酶(PFK
研究样品吸收光谱的常规方法是测定样品的透射光谱,而对某些强吸收物质,需用反射光谱,但一般反射光谱的光强度随消光系数的变化不明显。1961年J Fahrenfort提出了衰 The co
一、小组组建后的初期运作  小组建好后,通过完成一些简单的任务,让组员初步建立小组的组织概念,形成一定的小组凝聚力、小组荣誉感和小组责任心。初期可以进行以下工作:1.确定组名,设计小组团队精神(口号)、小组标志(logo)  用海报(手绘或彩色打印都可以)、黑板报、PPT等形式介绍小组成员,展示小组风采。2.确定小组学习成绩推进目标  因为分组后各组的学习成绩有差异,为公平见,每小组的成绩推进目标
磷脂酰胆碱(PC)的生物合成已如前述,其主要合成道路是以胆碱为原料,由ATP提供磷酸形成磷酸胆碱,再由CTP:磷酸胆碱胞苷转移酶(CT)催化生成CDP-胆碱,后者和二脂酰甘油作用最后
白内障是致盲的主要原因之一,全世界约为1300万人因白内障致盲。其病因和发病机理迄今仍不十分明确,且无非常有效的防治方法。近百年来,为了深入探讨白内障的病因学、发病学