一阶偏微分方程及其在物理中的应用（第2版）.pdfVIP

国外科技新书评介 2013年第8期 (总第 316期) 数学 第2部分是图灵机，包含第 3章：3．可 的可靠性与完备性。 计算性与可判定性。 “机械”这个概念成 本书是对数理逻辑系统而又步步深 了逻辑发展的基础，本章展现了它的终极 入的介绍，适合初学者作为教材使用。 表现形式 一图灵机 ，或者用更现代的语言 王小珊 ，博士生 来说，一个 电脑程序。它利用精准定义的 (中国科学院理化技术研究所) 规则纯粹依靠输入的符号转换捕捉问题 WangXiaoshan，DoctoralCandidate 的 “机械”可判定性。这依赖于一种未被 (TechnicalInstituteofPhysicsand 解释的语言，本章就从此概念开始讲述。 Chemistry，CAS) 第 3部分是命