首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   8篇
  免费   0篇
数学   8篇
  2014年   1篇
  2013年   1篇
  2009年   1篇
  2007年   1篇
  2003年   2篇
  2001年   2篇
排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
格值命题逻辑系统中基于滤子的MP归结演绎   总被引:2,自引:0,他引:2  
给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.  相似文献   
2.
强亚正交矩阵及其性质   总被引:9,自引:0,他引:9  
秦应兵 《大学数学》2007,23(2):171-173
推广正交矩阵得到了强亚正交矩阵的概念并讨论了它的性质.  相似文献   
3.
秦应兵 《大学数学》2014,30(5):62-65
讨论了三类广义正定矩阵的等价定义,进一步推广正定矩阵得到了一类新的广义正定矩阵,并对其性质进行了研究.  相似文献   
4.
秦应兵 《大学数学》2001,17(3):66-68
1 引  言自八十年代以来 ,高等院校的几乎所有专业 ,无论是理工科还是文科专业均开设了高等数学这门课程 .由近几年来我国高等院校招生人数看 ,每年大约有超过百万的大学生在接受高等数学的教育 .这正是现代社会对人才的要求的体现 ,也是数学重要作用的体现 .关于理工科高等数学 ,各高等院校均花大力气进行了教材、教学等各方面的研究与改革 ,而由于文科高等数学课程开设的时间还不长 ,因此对它的教材、教学等方面的研究还很缺乏 .据统计 ,目前我国接受文科高等数学教育的人数几乎等于接受理工科高等数学教育的人数 .因此 ,对文科高等数…  相似文献   
5.
首先讨论格值命题逻辑系统LP(X)中子句的规则型范式以及极简规则型子句集的形式,然后定义MP归结式以及(A,α)-归结演绎、α-逻辑推理以及α-不可满足,讨论了它们的一系列逻辑性质,最后证明了MP归结推理的可靠性以及弱完备性.  相似文献   
6.
关于文科高等数学教学的认识和实践   总被引:3,自引:0,他引:3  
秦应兵 《工科数学》2001,17(3):66-68
  相似文献   
7.
设F是由f(p)所局部定义的可解群系,G∈F,A是ZG-模.我们称A的一个p-主因子U/V在G中是F-中心的,如果G/CG(U/V)∈f(p).否则称U/V在G中是非中心的.本文证明了:设G是超-(有限或循环)的局部可解群,A是Artinian ZG-模且所有的不可约ZG-因子都是有限的;F为由f(p)所局部定义的局部可解群系,且对任意的p∈π,f(p)≠φ,f(∞) f(p).如果G∈F,且A的所有不可约ZG-因子在G中均是F-非中心的,则A被G的扩张在A上共轭可裂..  相似文献   
8.
阿贝尔群被超—(循环或有限)群的可裂扩张(I)   总被引:1,自引:0,他引:1  
设F是由f(p)所局部定义的可解群系,G∈F,A是ZG—模.我们称A的一个p—主因子U/V在G中是F-中心的,如果G/CG(U/V)∈f(p).否则称U/V在G中是非中心的.本文证明了:设G是超—(有限或插环)的局部可解群,A是ArtinianZG—模且所有的不可约ZG—因子都是有限的;F为由f(p)所局部定义的局部可解群系,且对任意的p∈π,f(p)≠Φ,f(∞)包含于f(p).如果G∈F,且A的所有不可约ZG—因子在G中均是F—非中心的,则A被G的扩张在A上共轭可裂。  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号