排序方式: 共有20条查询结果,搜索用时 15 毫秒
1.
本通过数理逻辑和计算机科学中的递归定义引入了对苏轼庐山悟的阐述,从而对人们的一种认知模式和泛系相对性进行了探讨,它也表现了系统的另一类复杂性,客观事物是复杂的,人们对于客观事物的认识关系也是复杂的。 相似文献
2.
该文基于粒度和粒度计算,设计了信息系统约简以及决策表约简算法,实例证明了算法的有效性。文中分析了算法的时间复杂度,并同几种主要知识约简算法做了对比,结果表明该文算法时间复杂度最小。 相似文献
3.
4.
定义了集合和关系之间的复合运算※、右除/和左除\。讨论了模态逻辑中关于※、/、\运算对于子二元关系的不动子集和不变性、泛浑沌、泛引子和泛怪引子问题。不动子集是用来描述稳定性、周期性、不变性等等;而泛浑沌、泛引子和泛怪引子是用来描述非线性问题中的分叉、突变和混沌的。不变子集是一类特殊的单值化问题,一旦单值化条件破坏,就导致泛混沌、泛引子、泛怪引子的出现。 相似文献
5.
本文定义了上下文无关文法的广义Chomsky范式,并应用[3]中的结果,建立了广义Chomsky范式文法的导出(映照),进而,作为这一文法的一种分析,获得了这一文法的逆导出。 相似文献
6.
为研究上下文无关语言,在文讨论了上下文无关文法的相伴语言的结构,获得了上下文无关文法具同型相伴语言的结果,并且给出了后者的一种无歧义性的Greibach文法实现。从而顺便得到,正则文法具正则相伴语言的事实,以及它的一种无歧义性的正则文法实现。 相似文献
7.
8.
本文证明了对于给定的多值逻辑系统中的命题公式,存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出,我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解,给出了判定这一问题的算法。 相似文献
9.
10.