-
题名关于求解DNF永真性问题的近似快速算法的研究
- 1
-
-
作者
陈志祥
赖楚生
黄文奇
-
机构
华中理工大学计算机系
-
出处
《计算机学报》
EI
CSCD
北大核心
1990年第10期779-786,共8页
-
基金
国家自然科学基金
-
文摘
本文研究了用吸收关系与补关系构造求解DNF的永真性的近似快速算法问题。在第二节给出了偏序集〈S;≤〉的定义,研究了〈S;≤〉上的链与反链的性质。在第三节巧妙地借助补关系图构造了一个求解DNF的永真性的分治算法。
-
关键词
DNF
永真性
算法
析取范式
-
分类号
O158
[理学—基础数学]
-
-
题名用锥形式判定析取范式永真性的算法研究
- 2
-
-
作者
宋恩民
陈卫东
-
出处
《华中理工大学学报》
CSCD
北大核心
1996年第A01期1-3,共3页
-
文摘
定义了一种既永真又易于识别的析取范式－锥形式，用它对析取范式的结构进行了分析，得出如下结果：在由ｎ个确定的例题变元所可能构成的一切析取范式中，含锥形式的占绝大多数。基于这个结果，得出了一个判定析范式永真性的近似快速求解算法。
-
关键词
析取范式
锥形式
算法
计算机
永真性
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名求解析取范式永真性问题的一个近似快速算法
被引量：8
- 3
-
-
作者
宋恩民
黄文奇
-
机构
华中理工大学计算机系
-
出处
《科学通报》
EI
CAS
CSCD
北大核心
1992年第8期676-677,共2页
-
基金
国家自然科学基金
-
文摘
NP完全问题是一类在计算复杂性理论中被证明为较难求解的问题,这类问题中包含有很多在理论和实际中很有意义的问题。NP完全问题中的一个问题的对偶问题若存在快速(多项式意义下)的求解算法,则所有NP完全问题都有快速的求解算法。但目前人们还没有找到一个求解NP完全问题的真正快速算法,并且有迹象表明求解NP完全问题的真正快速算法是不存在的。
-
关键词
折取范式
永真性
NP完全问题
算法
-
分类号
TP301.5
[自动化与计算机技术—计算机系统结构]
-
-
题名金岳霖的归纳理论述评
被引量：4
- 4
-
-
作者
帅国文
-
机构
江西教育学院政史系
-
出处
《社会科学辑刊》
CSSCI
北大核心
1998年第4期14-20,共7页
-
文摘
金岳霖教授是我国现代著名的哲学家、逻辑学家，其归纳理论既是其哲学思想的核心内容，又是他的逻辑思想的重要方面。本文以金氏的归纳思想为研究对象，对之进行较为系统的阐述。
-
关键词
归纳原则
金岳霖
休谟问题
归纳问题
永真性
归纳理论
归纳思想
《知识论》
哲学分析
归纳推理的合理性
-
分类号
B812.3
[哲学宗教—逻辑学]
-
-
题名金岳霖与罗素的归纳思想之比较
被引量：1
- 5
-
-
作者
曹剑波
-
机构
厦门大学哲学系
-
出处
《哈尔滨学院学报》
2002年第1期25-29,共5页
-
文摘
在归纳问题的解决方式上 ,金岳霖与罗素有师承关系。金岳霖对归纳问题的解决是对罗素归纳思想的深化。他们的共同之处主要表现在 :都把对归纳问题的解决建立在归纳原则的合理性上。他们不同在于 :前者对归纳原则的永真性进行了论证 ,而后者对归纳原则的合理性主要建立在信念上。
-
关键词
金岳霖
罗素
归纳问题
归纳原则
师承关系
永真性
合理性
信念
-
Keywords
Jin Yuelin
Russell
inductive problem
inductive principle
-
分类号
B812.3
[哲学宗教—逻辑学]
B81-09
[哲学宗教—逻辑学]
-
-
题名金岳霖归纳原则理论的逻辑维度解读
被引量：1
- 6
-
-
作者
帅国文
-
机构
广东农工商职业技术学院马克思主义学院
-
出处
《广东农工商职业技术学院学报》
2018年第3期59-63,共5页
-
文摘
休谟问题,无论从哲学还是逻辑学角度看,都是极复杂而难解的问题。金岳霖为解决休谟问题而提出归纳原则理论,并对这一理论从"休谟问题与归纳原则""归纳原则及其表述""归纳原则的永真性及其证明""归纳原则与归纳推论、完全归纳法的区别"等方面加以分析与论证。其分析与论证或有可商榷之处,然而从总体上看,金岳霖对归纳原则所进行的独到深刻的分析、精细严密的论证,为解决归纳问题而提供的灵活多变的思路,给人们试图解决休谟问题以有益的启示。
-
关键词
金岳霖
休谟问题
归纳原则
永真性
逻辑
-
Keywords
Jin Yue-lin
Hume Question
principle of induction
permanent authenticity
logic
-
分类号
B812.3
[哲学宗教—逻辑学]
-
-
题名代换定理的证明及其应用
- 7
-
-
作者
李庆华
-
机构
华中理工大学计算机科学与工程系
-
出处
《华中理工大学学报》
CSCD
北大核心
1989年第4期49-52,共4页
-
文摘
本文给出了代换定理的优于文献[1]的证明方法,并把代换定理与其他定理结合,构造了一个判定DNF表达式永真性的算法,使代换定理得到实际应用。
-
关键词
代换定理
析取范式
永真性
-
Keywords
Substitution theorem
Disjunctive normal form
Validity
Subsumption rule
Closed residue
Consensus
-
分类号
O141
[理学—基础数学]
-
-
题名对于析取范式的构造的一个全局性分析
被引量：5
- 8
-
-
作者
林豪
赖楚生
黄文奇
-
机构
华中理工大学计算机系
-
出处
《计算机学报》
EI
CSCD
北大核心
1989年第2期148-152,共5页
-
基金
国家自然科学基金
-
文摘
我们考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。本文从全局性构造的角度对它作了某种分析,得出如下结果:在由n个确定的命题变元所可能构成的一切析取范式中,永真析取范式的个数与非永真析取范式的个数之比当n趋于无穷时为无穷大。 基于所得结果,对于析取范式永真性判定问题得出了一个近似快速的求解算法,按此算法,对绝大多数的析取范式,其永真性问题,在多项式时间内都可解决。
-
关键词
析取范式
永真性判定
DNF
分析
-
分类号
O158
[理学—基础数学]
-
-
题名永真假性的研究
- 9
-
-
作者
莫绍揆
-
出处
《哲学研究》
1978年第5期43-48,33,共7页
-
文摘
我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。不可满足的公式亦叫做永假公式。所谓永真假性问题是:
-
关键词
真假性
可满足性
永真性
谓词演算
性问题
特征数
最简
自然数
可数
谓词变元
-
分类号
B0
[哲学宗教—哲学理论]
-
