部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

关于部分K值逻辑Sheffer函数(Ⅲ)

根据部分多值逻辑的完备性理论，证明了m=2时的一类单纯可离函数集在P^*k的极大封闭集之最小覆盖中必须出现。     

部分K值逻辑中准完备集之最小复盖的一些结果（Ⅰ）

根据部分K值逻译的完备性理论,证明了保E函数集T_E是P_K~*中准完备集之最小复盖的必需组成部分,它们的并集复盖了大量的准完备集。     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

部分三值逻辑中准完备集的最小复盖

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。     

关于部分K值逻辑Sheffer函数判定的一些结果(II)

根据部分多值逻辑的完备性理论，证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。     

关于部分K值逻辑中Sheffer函数判定的一些结果（I）

根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在PK^*中极大封闭集之最小覆盖中必需出现．     

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)

根据部分多值逻辑的完备性理论,证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．     

关于部分K值逻辑Sheffer函数(III)

根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .     

卡诺图法化简逻辑函数一题多解的研究

通过分析、推理和证明 ,对卡诺图法化简逻辑函数出现的一题多解问题进行论证 ,阐述其产生原因和一般规律     

逻辑函数的粗糙集表达及最小化方法

提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.     

逻辑学在物理教学应用中的分析

物理学是一门自然科学,其本身具有内在的逻辑性,因此从逻辑学的视角研究物理教学,将逻辑分析的方法引入物理教学,具有重要的理论意义和现实意义.通过几个简单案例逻辑学分析,将逻辑学方法应用于物理教学之中,为教师分析物理课程本身及教学技巧的改善和培养学生的逻辑思维能力提供了一个新的视角.     

关于E~(n+1)中全臍超曲面和极小超曲面的一个注记

本文利用改进了的一般极大值原理,给出了n+1维欧氏空间E~(n+1)中利齐曲率下方有界的完备连通超曲面为全脐超曲面或极小超曲面的一个充要条件。     

求粗糙集正域POSc(D)的表上作业法

给出了一种非常简洁的求POSC(D)的表上作业方法,此法不仅无须分别求出U/IND(C)和U/IND(D),而且省略了U/IND(C)和U/IND(D)之间的比较及求交的程序;最后,应用这一方法研究了评价和预测问题中各因素的合理赋权问题,对中国区域生态水平评价问题进行了权重挖掘,按照所得权重给出了新的评价结果.     

压缩体正边界上的简单闭曲线素集

证明了一个压缩体X的正边界上的一个无交简单闭曲线组ζ是素的当且仅当沿着ζ的任何子集往X上加2-环柄所得的3-流形仍是一个压缩体.该结果是Gordon的一个定理的推广.     

高师数学专业数理逻辑教学的一些思考

抽象、枯燥、形式化程度高、学时紧等问题给数理逻辑教学带来了不利,专业性与师范性的矛盾也给教学增加了困扰.分析了高师数学专业数理逻辑课教学面临的缺乏适合师范专业的教材,抽象、枯燥、形式化程度高、学时紧张,课程的重要性没有得到足够的体现等问题.提出了相应的建议,使数理逻辑教学更加具有针对性、实用性和师范性.     

极小子群对有限群结构的影响

利用准素子群的补给出了一个群幂零及p-幂零的一些充分条件.