由大学多媒体教学实践所引发的深入思考

多媒体技术是物理教学良好的辅助工具，多媒体技术的应用为大学物理教学开辟了一片广阔天地。它能大大增加物理教学的信息量，图形形象直观、生动活泼，有着传统教学无法比拟的优势，但是，多媒体技术使用不当也会给物理教学带来一些负面影响。     

利用多媒体技术进行大学物理教学的实践与思考

 多媒体技术作为目前最先进的现代化教育手段,正越来越多地应用于各项教学活动中,成为教学现代化的必然趋势。现在我国条件较好的院校都在根据自己学校的特点,进行物理多媒体教学实践。     

导数及其应用

高考对导数考查的广度和深度在不断增加，已由解决问题的辅助工具上升为解决问题的必不可少的工具。考查侧重于利用导数来确定函数的单调性和最值；侧重于导数的综合应用．即利用导数解决与函数、数列、不等式有关的问题．     

多媒体教学弊端之我见

多媒体介入教学,为物理教学开创了新的天地．当然计算机只是一种辅助工具,在教学中要“恰到好处”地选用,千万不能滥用．     

一元高次方程试根的一种方法

<正>如何试出一元高次方程的根?对高中生而言很困惑,因为他们没有接触过高等数学,无从下手,如果方程系数简单可以试根"±1",可以通过因式分解找出方程的根等等,但方程系数较大时,只学过利用导数工具绘制函数草图,再利用"二分法"去逼近一元高次方程的近似根,但在考试过程中,不能用计算机等辅助工具,却要得到根的准确答案?下面举一个圆锥曲线中常见问题,教会高中生一个简单易行的试根方法:"约数试根法".     

基于Coq的第三代微积分机器证明系统

本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分|没有极限的微积分|理论构架的形式化验证,包括对张景中等发表的题为\微积分基础的新视角"论文中全部定义和定理的Coq描述.进而,对定理无例外地给出Coq的机器证明代码,所有形式化过程已被Coq验证,并在计算机上运行通过,体现了基于Coq的数学定理机器证明具有可读性和交互性的特点,其证明过程规范、严谨、可靠.本文是实践研究人员利用计算机学习、理解、构建乃至教育现代数学理论的一个尝试.     

透视导数应用问题中的几个误区

高考对导数考查的深度与广度在不断增加,已由解决问题的辅助工具上升为解决问题的必不可少的工具．考查侧重于利用导数求函数的单调性、极值、最值等问题．但是笔者在教学过程中发现,同学们在应用导数解决相关问题时还存在许多误区．为帮助同学们理清解题思路,走出误区,本文对导数应用问题中的几个常见“误区”透视如下：