关于一类递归矩阵

递归树由Meir和Moon定义作平面树的一种 ,并且所有节点出度都是允许的。在这篇文章中称递归树的伴随矩阵为递归矩阵 ,通过对递归矩阵的讨论 ,我们得到了递归矩阵的计数公式 ,不但照应递归树的计数公式[2 ] ,而且证明简易 ;导出了递归树矩阵最大密度指数集I(A(Tn) ) ={ 1,2 ,4 ,… ,2k ,… }以及最大密度数μ(A(Tn) ) =n22 ,n =2k ,(k≥ 1)n2 + 12 ,n =2k + 1。 (k≥ 1)

命题逻辑判定系统中基本真值矩阵的生成算法

给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法 。

二阶线性递归数列的若干性质

讨论了二阶线性递归数列任意相邻三项、四项、五项的性质,并且由性质导出了等差数列与等比数 列在统一形式意义下的定义。