首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   144篇
  免费   1篇
  国内免费   15篇
系统科学   1篇
丛书文集   1篇
教育与普及   17篇
现状及发展   17篇
综合类   124篇
  2020年   1篇
  2017年   1篇
  2014年   1篇
  2013年   3篇
  2011年   4篇
  2010年   3篇
  2009年   10篇
  2008年   12篇
  2007年   10篇
  2006年   13篇
  2005年   13篇
  2004年   11篇
  2003年   7篇
  2002年   4篇
  2001年   2篇
  2000年   8篇
  1999年   4篇
  1998年   10篇
  1997年   6篇
  1996年   1篇
  1995年   3篇
  1994年   6篇
  1993年   2篇
  1991年   2篇
  1990年   4篇
  1988年   1篇
  1987年   2篇
  1986年   2篇
  1985年   3篇
  1984年   2篇
  1983年   1篇
  1982年   1篇
  1981年   1篇
  1979年   2篇
  1978年   2篇
  1977年   1篇
  1958年   1篇
排序方式: 共有160条查询结果,搜索用时 12 毫秒
1.
在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]).  相似文献   
2.
王国俊 《科技资讯》2011,(25):59-59
通过对理论焊接坡口和非理论坡口的比较,我们可以对比理论坡口和非理论坡口对焊缝成形的影响,进而分析非理论坡口对焊缝超声波检测的影响,确保超声波检测工作质量。  相似文献   
3.
模糊命题系统G(o)del和L*中条件真度的比较   总被引:1,自引:0,他引:1  
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd.  相似文献   
4.
给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理;也可先分别依据各给定规则进行推理,然后将所得结果进行聚合.本文证明了这两种方法都可以是相容的,并指出Buckley与Hayashi关于前者一定不相容的论断是错误的.  相似文献   
5.
利用势为三的非均匀概率空间的无穷乘积,在Lukasiewicz三值命题逻辑系统L-3中引入命题的真度概念,给出了真度推理规则,证明了在三值逻辑(a/5,b/5,c/5)测度下全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑系统的近似推理奠定了基础。  相似文献   
6.
蕴涵格与Stone表现定理的推广   总被引:9,自引:0,他引:9  
王国俊 《科学通报》1998,43(10):1033-1036
从R0-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.  相似文献   
7.
蕴涵格与Stone表现定理的推广   总被引:3,自引:0,他引:3  
从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .  相似文献   
8.
知识推理的程度化方法(英文)   总被引:1,自引:0,他引:1  
在知识推理的许多应用领域里,对特定事件和当事人知识的可能性的推理扮演着重要角色.本文提出了一种程度化的知识推理方法,在该推理机制下,可以讨论在给定的Kripke知识结构M中的给定状态s之下一个当事人在多大程度上知道某个事件,最后讨论了这种程度化知识推理的一些重要性质.  相似文献   
9.
10.
在不使用系统£*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必然具有形式D({ψ1,ψ2,…}),这里ψi∈是系统£*中全体命题变元,进而给出了极大相容理论的若干刻画条件;证明了系统£*的满足性定理和紧致性定理,其结果完善了系统£*的理论体系.  相似文献   
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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