从求解格点问题看递归算法及其与迭代循环算法的比较

递归是比迭代循环更有力的算法。一方面,每个循环算法均可找到一个等价的递归算法;另一方面,一些循环算法不能求解的问题常可用递归算法求解。格点问题便是这类问题中具有代表性的一个。 本文通过对格点问题构造有效算法来讨论:一,如何根据一个问题所固有的结构关系去选择适当的算法;二,递归算法在计算机内的实现方式及对递归程序的跟踪;三,递归算法与循环算法的比较。     

微机证明系统的设计与实现

在微机上用ＰＡＳＣＡＬ语言实现的命题演绎机器证明系统为背景，说明实现该证明系统的主要技术和技巧。证明了系统的算法和总体设计、公理模式和归约法则的建立、符号的处理、存储结构的选取、联结词消除以及输入输出处理等。对用微机来实现命题（谓词）证明系统提供了具有参考价值的意见。