多值逻辑的古典方法

本文给多值逻辑一个古典逻辑观察方法。通过引入断词，勾通了多值逻辑与古典逻辑的联系，使全部古典理论在多值逻辑中都有直接应用；规定一类多值公式与古典公式的对应，从而建立起一类多值公式的公理系统，得出一些结果。     

聚合公理系统的布尔值模型

本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型ＶＯｎ＾（Ｂ）是聚合公理系统的布尔值模型〔ＶＯＮ＾（Ｂ）〕的子模型，并且ＺＦ集合公理组在〔ＶＯＮ＾（Ｂ）〕中满足。     

对离散数学课程中结构主义观点的思考

离散数学课程的知识结构,是课程教学的一个重要问题.本文在厘清其基于集合论结构主义观点的基础上,自然地导入范畴论的概念,并说明离散数学教学中从集合论结构主义观点向范畴论结构主义观点转向的合理性.     

从欧几里得《几何原本》到希尔伯特《几何基础》

数学研究的对象是"数"与"形",形的数学就是几何学.它是以直观为主导,以培养人的空间洞察力与思维为目的.从数学发展的历史来看几何学的第一个最重要著作就是欧几里得(Euclid,约公元前330-275年)的<几何原本>.它被世界各国翻译成各种文字.它的印刷量仅次于"圣经",所以不少人称<几何原本>为数学工作者的"圣经".<几何原本>在数学史乃至人类思想史上有着无比崇高的地位.     

罗素悖论与弗协调逻辑

本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.     

扩张原理的粗集表示

粗集、模糊集均是处理不确定信息的数据分析工具,是数据挖掘的重要方法.由Zadeh首先提出的模糊扩张原理是模糊集理论的最基本的原理之一,粗集是通过上、下近似算子来发挥作用的.本文讨论扩张原理与粗集上近似之间的关系,证明了扩张原理可以表示成粗集上近似的形式,因此,扩张原理成了粗集与模糊集之间的桥梁.此外,借助粗集上、下近似算子的公理系统解决了扩张原理的反问题.     

以发展学生的主体性为目标构建数学安全课堂

美国心理学家罗杰斯认为:"成功的教学依赖于一种真诚的理解和信任的师生关系,依赖于一种和谐安全的课堂气氛."课堂安全是学生在课堂上一种正常的、自然的心理需求,这种心理需求不断得到满足,学生才能以愉悦的心境参与学习活动.科学研究表明,学生在愉悦状态下,学习的主动性与创造性更     

基于滤子收敛的分离公理的等价刻画

在拓扑空间中,滤子是用来描述收敛的主要工具之一,也是用来研究收敛空间的主要工具。本文对拓扑空间中的滤子,定义了三个新的滤子■,*和△,并用它们刻画了拓扑空间中的T0,T1,T2,正则,完全正则和正规等分离性。     

单调类定理的一个集合论证明

本文利用集合论中的序数理论和超限归纳法,给出概率测度论中一个集族生成的最小σ代数,最小λ类和最小单调类的具体形式,并给出单调类定理一个直接的证明.