Access教学改革探讨

针对Access课程理论教学与实际应用严重脱离、学生学习目的不明确等问题,本文阐述了采用反例教学法来组织教学的观点,注重对学生实际应用能力的培养,课程结束采用计算机考试的模式。结果表明此方法不仅提高了学生二级考试的通过率,并且获得了较高的解决实际问题的能力。     

对决策表和简化决策表的研究

简化决策表具有高效处理数据的能力,一经提出即得到广泛的重视.文中通过反例证明简化决策表在处理数据时会产生错误,改变了原决策表表达信息.通过分析得出简化决策表不具备处理不一致数据的能力,针对简化决策表存在的缺陷对其进行修正,提出新简化决策表的概念和建立算法.新简化决策表具有高效处理数据的能力,同时具备处理不一致数据的能力,并且不需要修改原有以决策表或简化决策表为基础的求核和求约简算法.     

间接论证的思想方法

在大学数学和其它学科中,逻辑论证是常用的证明方法.它可分为直接论证和间接论证,一些定理、结论和习题的证明,不是采用直接的论证,而常常需要通过证明其它的论题,来确定原论题的真实性,这种方法,称为间接论证.笔者总结数年的教学经验,从逻辑论证的角度出发,对此方法进行研究、归纳,以期在证明中做到有的放矢,灵活运用.     

关于拟完备映射的注记

本文给出了一些在拟完备映射作用下逆保持的拓扑空间,文中的例子则给出一些反面结果。     

反例在初中数学课堂中的有效应用

在数学教学课堂当中,很多教师会引入"反例"。在逻辑学中,所谓反例,是相对于某个全称命题的概念。反例在数学、哲学和自然科学中都有重要的应用。以反例作为探讨的突破口,对反例在初中数学课堂引入过程中常见的问题,以及反例的应用技巧等进行了相关探索和分析。     

高等数学中某些问题的探讨

高等数学中的函数单调性的导数判定法。比较简单易行地解决了函数单调性的判定问题。但此"判定法"的证明,是基于函数单调性的通常定义(全局性的)之上,借助拉格朗日中值定理才能达到。通过对函数单调性的另一个定义(局布性的)进行了探讨创新,直接利用导数的性质给予证明,将"判定法"撇开拉格朗日中值定理这一铺垫,给人一种更直接了当、行之有效的判定证明。     

论概率论中的反例

反例是数学中人们所悉心追求的美感之一。一个数学问题用一个反例予以解决,给人的刺激犹如一出好的戏剧。在教学实践的过程,总结出一些反例。     

通过反例培养学生的逆向思维

针对二元函数混合偏导数存在且相等,但未必连续的命题,给出反例说明.寻找反例的具体过程启示:在数学教学中.可以通过有意识的列举反例,启发学生构造反例,来培养学生的逆向思维能力,从而提高教学质量.     

关于四色问题两个重要反例的研究

该文用Tait方法证明了Heawood反例是四色的;用Kempe链方法证明了Tutte反例也是四色的。发现了3-正则平面图的二级Hamilton圈生成机制。为四色问题的非计算机证明找到了一个新的途径。     

反例引导的模型检验工具的设计

针对模型组合中常见的"状态空间爆炸"问题,分析了抽象和组合两种方法各自的优缺点,采用"反例引导的抽象精化"框架和模型检验思想,将抽象和组合结合起来,为模型组合的检验提出了一种新的方法.设计了模型的抽象、组合、检验和精化算法,开发了一款基于反例引导的、图形化的模型检验工具,使用Kripke结构建立模型,用LTL描述性质,从而表明了反例引导的模型检验方法的过程.