期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
命题逻辑定理自动证明的直证式消解原理 被引量:1
1
作者 杨冠平 《信息工程大学学报》 2004年第4期32-34,共3页
消解算法对命题逻辑定理自动证明是普遍能行的,但现行消解证明只能归属于反证法。本文提出直证式消解原理,从析取范式能否消解出最简恒真式来判定和证明定理。其消解规则是原消解规则的对偶定理,消解过程中每步得式也都是原消解过程相... 消解算法对命题逻辑定理自动证明是普遍能行的,但现行消解证明只能归属于反证法。本文提出直证式消解原理,从析取范式能否消解出最简恒真式来判定和证明定理。其消解规则是原消解规则的对偶定理,消解过程中每步得式也都是原消解过程相应得式的否定式。只须赋予新的逻辑涵义,消解的集合表达形式仍可使用。直证式消解算法也具有可靠性、完全性、能行性,然而剔除了反证步骤,更简明直接。 展开更多
关键词 逻辑定理 自动 直证式 消解原理 能行算法
下载PDF
Remarks on the Number of Rational Points on a Class of Hypersurfaces over Finite Fields 被引量:3
2
作者 Hua Huang Wei Gao Wei Cao 《Algebra Colloquium》 SCIE CSCD 2018年第3期533-540,共8页
Let Fq be the finite field of q elements and f be a nonzero polynomial over Fq. For each b ∈ Fq, let Nq(f = b) denote the number of Fq-rational points on the affine hypersurface f = b. We obtain the formula of Nq(... Let Fq be the finite field of q elements and f be a nonzero polynomial over Fq. For each b ∈ Fq, let Nq(f = b) denote the number of Fq-rational points on the affine hypersurface f = b. We obtain the formula of Nq(f= b) for a class of hypersurfaces over Fq by using the greatest invariant factors of degree matrices under certain cases, which generalizes the previously known results. We also give another simple direct proof to the known results. 展开更多
关键词 finite field POLYNOMIAL rational point degree matrix
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部