中介公理集合论框架下的粗糙集

利用中介公理集合论来讨论粗糙集。首先给出中介化算子的公理化定义,讨论它的一些重要性质;其次给出与等价关系相对应的中介化算子的构造性定义,并指出它满足上述公理;再由中介化算子出发,构造出相应的等价关系。最后讨论中介化算子与等价关系之间的联系,证明两者是相互惟一确定的,用等价关系将集合改造成粗糙集与用相应的中介化算子将集合化为中介集,这两者是等效的。本文将粗糙集纳入中介公理系统理论框架之下,为研究粗糙集奠定了坚实的数学理论基础。     

基于中介真值程度度量处理图像的应用理论研究

中介数学系统是处理模糊现象的一种数学工具.文中首先将中介真值程度的度量方法拓展到对称的数值区域中并结合数字图像的特点,以中介真值程度度量为基础,研究了图像单个像素点灰度的度量、图像集合灰度的度量、图像像素点间的相似性度量以及图像集合问相似性度量.定义了图像中介熵,获得了利用图像中介熵表示的图像离散模糊程度,为处理图像建立了一种新的基于中介逻辑的、自然的数值化方法.     

逻辑数学悖论及其解决

逻辑——数学悖论是指仅借助于逻辑和数学的符号而得以构造的悖论。从历史发展看,其主要是指布拉里——福蒂（Burali—Forti）悖论,康托悖论和罗素悖论,它们分别是在1897、1899及1902年提出的。逻辑——数学悖论的出现,明确地表明素朴集合论中包含有逻辑矛盾。解决逻辑——数学悖论,必须对康托的素朴集合论加以限制,特别是必须抛弃前面所提到的概括原则。按策梅罗的研究成果,只须对公理适当地加以选择,就可做到既能使新建立的集合论能成为数学的基础,同时又能确保新的理论不会导致悖论。     

朱梧檟的数学思想

从“中介原则”、“连续统假设相对于一般集合论系统的不可确定性”、“量性对象的可考察性”、“悖论研究”、“数学无限与哲学无限”、“概括原则与多值逻辑系统的不相容性问题”、“数理逻辑及其学科归属”、“数学研究的艺术”、“数学教育中的远见卓识”等九个方面简单评述了数学家朱梧的数学思想。     

中年数学家朱梧槚

本文简单评述了中年数学家朱梧槚所取得的几项重要科研成果:1955—1957年,他与著名数学家徐利治教授合作,获得了连续统假设不可判定的正确思想,并且给出了一个朴素而直观性的证明;1979—1987年,与人合作在数学基础理论方面主要作了如下两件工作,其一是抛球问题的解决,其二是关于有穷或无穷值逻辑悖论的构造;1982—1987年,他与肖奚安合作共同创立了中介公理集合论系统MM。     

广义集论基础

提出 N-BGC(13条)公理系统用以刻划广义集、广义类,并研究了广义类的性质和运算,形成了广义集论的雏型.广义集论不仅给出了公理集合论与公理聚合论的统一处理及它们的一个真扩张,而且特殊化后,既保持了朴素集合论、聚合论的基本内容,也消除了文中的“病态”结果.     

选择公理及其等价命题

<正> 选择公理是Zermelo 1904年为证明良序定理所提出,它大大推动了近代数学的发展,在逻辑严密性方面也有重要作用。但是,也有人持不同看法,认为该命题未加证明而怀疑其正确性。自Godel工作出来后,在数学上大量应用选择公理、良序定理、Zorn引理等工具进行研究,取得很多好的成果,仅与选择公理等价的命题就有二十多个,它涉及代数、几何、集合论等方面。本文仅就代数方面常用的选择公理、良序定理、Zorn引理的等价性给出证明。为简便计,将它们写在下面,用循环法给以证明。     

一阶谓词逻辑反驳演算自然推理系统

反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。     

中介逻辑ML的一种模型

中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。     

正规弗晰集合结构与布尔值模型

弗晰集合论是应用数学中发展十分迅速的一个领域,布尔值模型则是公理集合论的一种非标准模型,这种模型在集合论独立性证明中起着重要的作用.在文献[1]中我们曾引进正规弗晰集合结构的概念,这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广;在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型.这样,我们就在弗晰集合论与布尔值模型这两个领域间架起了一个桥梁.本文是对文献[1]的一种阐明,详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换,同时引进了正规弗晰集合结构的序数、基数等基本概念.本文的研究对布尔值模型方法也是一种推广与发展.     

连续发酵动力学的理论探讨

本文从数学角度探讨连续发酵动力学的有关问题,使从理论上了解发酵基质浓度、微生物浓度和稀释速度之间的关系,为连续发酵的实际应用提供了理论依据。     

基于资源位的航空网络连通性研究

在点集拓扑学、离散数学图论以及复杂网络理论关于连通性研究的基础上,本文借助系统经济学的“资源位”概念,以空间资源位为点权,以时间资源位为边权,为航空网络的连通性研究提供了新的思路。     

可拓实数与可拓复数

引进了可拓实数和可拓复数等概念,给出了可拓实数和可拓复数刻划定理,建立了可拓实数和可拓复数度量空间,该空间是完备的,在该空间上可讨论可拓实数列和可拓复数列的极限、度量收敛和水平收敛,还可进一步研究可拓实函数和可拓复函数的连续性和可拓连续性,从而丰富了可拓数学的内容和方法,为可拓数学的研究开辟了一条新的途径,为可拓分析学的进一步研究打下了一定基础。     

数学史与数学教育

数学史与数学教育的整合（HPM）是数学教育的一个重要课题。数学史与数学教育的整合有着深刻的理论基础、哲学基础和心理学基础。随着HPM研究的深入开展,数学史为数学教育服务需要从理论走向实践,应注重对数学史与数学教育整合的可操作方法的探索以及数学史在数学教育中作用的实际证据的获取。     

论数学研究性学习

数学研究性学习是学生在数学及相关学科教师性指导下，运用类似于数学研究的思想与方法去获取和应用数学知识的一种学习方式，在这一学习活动中，教师作为学生的群体性“指导者”，潜能的“挖掘者”、研究的“合作伙伴”的新型师生关系，现代科学技术手段所构建起的人脑加电脑的新型学习机制，以及以数学建模和数学实验过程所架设起的联系数学理论与实践生活的“桥梁”，将使数学研究性学习既实现再现数学知识产生、发现与发展的历史轨迹，又从理论上与实践上真正切入到21世纪的发展轨道。     

哈贝马斯的交往行动理论对现代传媒理论的影响

在哈贝马斯的交往行为理论中,主体间性与交往理性的观念对当今传播学的影响日益凸显。其交往理论在公共领域上的应用,更奠定了其对现代传播学的整体创新基础。文章重新审视了传播模式并从将媒介打造成公共话语平台角度探讨了哈贝马斯交往行动理论对现代传媒理论的启示。     

常微分方程课程教学改革的探索与实践

常微分方程是高等院校数学及相关专业的主要课程之一.结合常微分方程理论性强和应用性强的特点,提出了在常微分方程课程教学中实行"基础理论奠基+思想方法提升+建模竞赛应用+科研论文探究"四位一体的教学模式,以期能为培养创新型人才服务.     

中学数学中的教育数学的研究与实践

针对当前中学数学教育削弱数学知识的倾向,开展师范院校的中学数学教育的实践和讨论,从理论上和实践上给出构建中学数学的教育数学的一般策略。     

康托的超穷数理论

康托（G. Cantor,1845—198）所创立的超穷集合论,在近代数学史上是令人极为惊异的巨大成就。但究其历史根源,正是由于研究分析学的基础而激起了康托对点集的兴趣,并由此而发现了超穷数.集合论,至少部分地起源于黎曼等人对三角级数的丰富研究以及对不连续函数的分析;康托对那些使函数不连续或收敛问题变得非常困难的点的集合进行了深刻的研究,并在这一过程中系统地建立和发展了一般点集的理论,从而开拓了一个全新的数学领域。本文将就其如何发现超穷数理论与创立超穷集合论的数学历史背景及其发展过程予以较系统地介述与评析。