【数理逻辑教程】莫绍揆华中工学院.pdf
数理逻辑是用数学的方法来研究人类推理过程的性质.这一学科近十多年来在 理论和运用方面都有了很大的发展,本书以教材的形式向涉客介经它的店本理论和 新成果,书中系统地论述了数理逻辑各重要概念的来龙去脉以及数理逻辑各家的学 说,并根据理论与实际相结合的原则,对开关布尔表达式的最新化简方法等作了介 绍.作者还提出了不少创见,如约束词的新说法、永真假性的特征数的概念等 本书可供大学数学系(尤其是数理逻辑专门化)、计算机科学系作教材,并可 供计算机、自动控制、系统科学等方面的工作者和数学爱好者参考
作者1981年11月 4.关于狭义演算完备性和纯同异性演算完备性的证明更 5.自然推理系统不但被提到更重要的地位,而且所介绍 的自然推理系统具有(准)子公式性质,优点特多在书写上 6。关于布尔表达式的简化问题虽不作深入讨论,但基本 上完整地介绍了最新最简捷的方法,尺供计算机科学工作者参 本书与旧著相同的是均遵循下列原则:本书是在理论与实 践相结合的原则指导下编写的,因此对数理逻辑的来龙去脉十 分注意,譬如,每逢引入一个新概念时,尽可能说明它是怎样 应日常语言的要求而产生的,又每逢数理逻辑的概念可以应用 于数学并且可以帮助澄清数学上一些概念时力图详细介绍,以 显示数理逻辑的应用(引自旧序)。
345)改名、代入与替换 构造主义与直主义 狭义演算的自然推理系统 狭义演算的公理系统 指派与赋值 永真假性的特征数 同永真假性 关于公理系统的讨论 逻辑演算(下)约束谓词演算公式 主要解释与次要解释 次要永真公式的公理系统 应用谓词演算总论 集合论演算 全总谓词演算系统 形式公理系统的简化(上)8形式公理系