递归性质相关论文
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处......
以有向图Ｇ的顶点为元素，Ｇ的有向途径所对应的序列称为图形序列。本文讨论图型序列母函数的一些递归性质，主要包括割点定理，割边定理和删......
本文讨论了自然数K次幂求和公式中系数的递归性质,并在此基础上给出了一个借助杨辉三角写出自然数K次幂求和公式的简便方法.......
随着软件不断的演化和发展,软件的复杂性日益增加,对软件的理解和推理变得愈加困难。软件复杂度来源于很多因素,包括代码含义的模......
