数理逻辑入门出版时间:2013年版内容简介 李锡胤编著的《数理逻辑入门》内容介绍:数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。目录1 命题逻辑1.1 逻辑研究什么1.2 逻辑与自然语言1.3 命题1.4 联结符号1.5 命题符号1.6 真值表1.7 永真命题和永假命题1.8 演绎推理1.9 命题推演:自然演绎法1.10 基本加行规则1.11 直接证明法1.12 间接证明法1.13 非蕴涵式的证明法1.14 命题逻辑的定理和派生规则1.15 命题逻辑的公理系统1.16 公理系统的方法论1.17 公理系统的无矛盾性1.18 公理系统的独立性1.19 模型,解释2 谓词逻辑2.1 谓词逻辑与命题逻辑2.2 量词,辖域2.3 一阶谓词逻辑的基本规则2.4 一阶谓词逻辑的定理和派生规则2.5 一阶谓词逻辑的公理系统附录习题及答案 上一篇: 算子半群及应用 下一篇: 图论及其应用 第二版 [卜月华,王维凡,吕新忠 编著] 2015年版