真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

用点到直线距离公式解决与函数相关的问题

点P（x，y）到直线Ax＋By＋C=0距离为d=｜Ax＋By＋C｜/√A^2＋B^2,当P（x，y）在函数y=f（x）上时，该公式变为d=｜Ax＋Bf（x）＋C｜/√A^2＋B^2,本文通过引进函数y=f（x），借助该公式解决一些与函数相关的问题．     

在物理教学中加强学生能力的培养

在物理教学中如何使学生在获取知识的同时,培养学生各种能力,是教师一直重视和探讨的问题．尤其是在新的形势下,为了全面贯彻《国务院关于大力发展职业教育的决定》迎接21世纪技术革命的挑战．培养具有开拓精神的新一代．能力的培养途径是多方面、多     

一类函数题的“是”与“非”初探

题 已知f（cosx）=sin3x，求f（sinx）（该题可见诸于多种资料） 解 f（sinx）=f[cos（π/2-x）]=sin3（π/3-x）=-cos3x．     

信息技术和物理学科整合以实现教学优化

随着信息技术的快速发展，网络魅力的无限度增强，信息技术和各学科的整合已成为教育现代化的一个亮点，信息技术和物理学科的整合也给物理教学带来了新的生命和契机，使物理教学的优化效果日趋明显．     

几何画板在交流电路教学中的运用

The Geometers Sketchpad（简称GSP）是由美国Key Curriculum Press公司制作并出版的数理软件．1995年由人民教育出版社及全国计算机发展中心联合引进，其汉化版称为《几何画板》，被誉称为“21世纪的动态几何”．几何画板与许多绘图软件类似，不仅能绘制各种几何图形，还提供了测量和计算功能，能对图形中的测量数据实时显示，并引入了坐标系，为研究方程、函数、曲线以及矢量关系提供了良好的平台．     

多媒体物理教学软件的开发与应用

为了适应教学改革的需要，本人就计算机在物理教学中的应用进行了深入的研究和尝试，开发了“平抛运动演示实验”及“飞机投掷演示实验”等软件，并成功地用到了教学中．