形式化数学语言的培养

来源 :重庆职业技术学院学报 | 被引量 : 0次 | 上传用户:super8516
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
形式化语言是表征数学知识的工具,它具有表征的科学性、高度的抽象性、表达的简洁性、涵盖的广泛性等特征.形式化语言的培养措施有:循序渐进,符合学生认知序;师生互动,培养学生形式化语言的交流能力;小组协作,培养学生形式化语言的问题解决能力.
其他文献
对普通大学生体能素质作出科学的评定,是保证高校体育教学发展的前提.也是我国实施全民健身计划最基本的决策之一。为适应未来体育课程教学的发展.就必须要对他们的体能素质作出
异步电动机在水利行业有着较为广泛的应用,由于电动机是感性元件,会产生大量的无功功率,对异步电动机采取无功补偿以提高其功率因数,可以有效减少电能损耗,节约电能,提高企业
过失危险犯是否成立在理论上尚存争议,但过失危险行为在实践中客观存在并不容忽视。本文主要就确立过失危险犯的必要性、确立过失危险犯的理论论证、确立的条件及其适用原则等
介绍并总结归纳了影响汉钢公司煤焦、矿石、熔剂酌减分析结果稳定性的因素,通过对这些不同因素的分析和探索,针对不同时间的样品灼减的称量,用相应的理论知识和最合适的分析