全文获取类型
收费全文 | 144篇 |
免费 | 0篇 |
国内免费 | 16篇 |
专业分类
系统科学 | 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条查询结果,搜索用时 15 毫秒
1.
一类代数上的逻辑学(Ⅱ) 总被引:13,自引:6,他引:13
王国俊 《陕西师范大学学报(自然科学版)》1997,25(3):1-8
Zadeh的复合命题演算方法(简称CRI方法)虽然已被广泛采纳并在应用上取得了很大成功,然而CRI方法至今尚未有严格的理论基础.本文在一类模糊公式代数F(S)上通过特殊的赋值方法为模糊取式(FuzyModusPonens)与模糊拒取式(FuzyModusTolens)建立了严格的逻辑基础.其中关于FMP的一个结果不只是Zadeh的CRI方法相应结果的改进,而且也是首次把CRI方法纳入了模糊逻辑的框架之中,沿此途径,进一步提出并研究了前提与结论之间的支持度与相似度的理论. 相似文献
2.
一类代数上的逻辑淡(Ⅰ) 总被引:6,自引:0,他引:6
引入了一种代数,称为模糊公式代数,在这种代数上建立了一个准形式演绎系统,证明了相应的可行性定理与相容性定理,提出了程度化的Modus Ponens规则和Hypothetical Syllogism规则。 相似文献
3.
(L)ukasiewicz命题逻辑系统中的赋值决定公式问题 总被引:2,自引:0,他引:2
为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1值命题逻辑中得到解决.文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论,首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件,其次构造性地解决了Ln、La和Lc中的VDF问题. 相似文献
4.
5.
给出了一阶逻辑完备性定理的一个新的代数证明,这个证明不使用依赖于Boole代数表示定理的γ-解释,但使用关于Q-滤子△↓的△↓-解释,也需要用到选择公理,另外指出了已有代数证明的不足之处,并作了修正。 相似文献
6.
在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是自同构的等距变换,进而讨论了φ*的不动点的性态,得到了4类特殊的不动点形式[A]∨φ*([A]),[A]∧φ*([A]),[A]φ*([A])和[A]φ*([A]). 相似文献
7.
模糊命题系统G(o)del和L*中条件真度的比较 总被引:1,自引:0,他引:1
首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd. 相似文献
8.
研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便. 相似文献
9.
正则三值逻辑函数个数的计算十分复杂,本文将这一问题与n维三元偏序集E^n以及(1,2,...,n)的幂集中反链的计算联系起来,得到了两个有用的计数公式ㄧF(n,R)ㄧ=ㄧE(n)ㄧ和ㄧF(n,M)ㄧ=ㄧN(n,C)ㄧ+2,从而为解决这一问题提供了一种新的途径。 相似文献
10.
王国俊 《陕西师范大学学报(自然科学版)》1993,(2)
首次提出极小Huasdorff L—fuzzy拓扑空间(H—极小L—fts)的概念并且研究了其基本特征,给出了重要的远域重构引理,证明了一个Hausdorff L—fazzy拓扑空间是H—极小L—fts当且仅当它当中的每个有唯一聚点的闭理想基都收敛,最后将极小Hausdorff L—fuzzy拓扑与紧拓扑及H—闭拓扑作了比较。 相似文献