计算机程序设计的逻辑学(续)

由数理逻辑引伸出来的方法有可能为构造、调试和优化计算机程序提供一种不同于常规的方法学。归根结底,这些方法是用来导致程序设计过程许多方面的自动化。本文提供各种逻辑方法的一个统一的指导性的解释,并举例说明。评价每种方法作为实际程序设计辅助手段的效果及局限性,并讨论在试验系统中实现这些方法的努力。