【计算中的基本理论与方法】周培德.pdf
计算中的基本理论与方法 周培德编著
编者1997 前言 计算中的理论(即计算理论)是指计算机科学中的基础理论。它研究的范围涉及到计算 本书是在多次给北京理工大学计算机系研究生授课讲稿的基础上,参照IEEE一83教程 众所周知,利用建立在图灵模型基础上的冯诺依曼体系结构计算机求解实际问题,一 般营要经过下列几个阶段:表述实际问题:研制计算模型并论证该模型的可计算性:设计算,法.证明算法的正确性并分析其复杂性:实现算法并验证结果。本书将涉及上述第一、第二 从计算机模型的角度来看已经存在非冯模型,但依据非冯模型所研制的计算机至今并未 得到广泛应用。
研究非密灵模型的途径之 7-2归结原理 S7-3归结原理的改进 S7-4自然推导法 7-5重写规则法 7-6B-M定理证明系统 7-7几何定理机器证明 第八章非标准逻辑 81引言.