简介:摘要:计算机数学课程,顾名思义,即计算机专业之中的数学课程,这门课程兼具计算机专业之特征与数学学科的内在特征。计算机数学课程之于整个计算机专业而言,具备极其重要的基础性作用,如何改善计算机数学课程教学质量,是每一位高职计算机专业数学教师均应展开深入思考的问题。为此,高职计算机数学教师必须正视存在于课程教学之中的各方面问题,并采取科学策略完成教学改革,力求解决问题,帮助学生打下良好的计算机数学基础,从而促进学生的专业核心课程学习,更好地向企业与社会输送高素质应用型计算机人才。鉴于此,文章结合笔者多年工作经验,对高职院校“计算机数学”数字化教学资源库建设的分析提出了一些建议,仅供参考。
简介:摘要:本文重点讨论射影几何符号计算的两个基本问题:①投影几何特性应如何解析编写?用算法表示“射影几何属性”领域语言中的一阶公式,并转换为方括号(或不变式)解析几何语言中的受限类公式。这种特殊形式对应于合成射影几何中的陈述,并且该算法是转换几何的基本步骤。②解析几何定理如何证明?不变射影给出了解析射影几何定理。希尔伯特零点定理派生的理论在证明中起着核心作用。为证明关于所有字段或有序字段上“几何特性”的开放定理,一种算法会推导零点定理恒等式,从而在证明中提供最大的代数简单性和最大的信息。最后结果支持这样的建议,即应使用不变语言中的标识直接执行计算分析投影几何。