当前位置：数理逻辑pdf电子书下载 > 数理化
- 作 者：王兵山等编著
- 出 版 社：长沙：国防科技大学出版社
- 出版年份：1993
- ISBN：7810242768
- 标注页数：243 页
- PDF页数：250 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源250 ≥243页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
前言页 1
第一章 形式系统 6
第二章 命题逻辑 6
2．1 命题逻辑形式系统■ 6
2．2 ■的定理和导出规则 10
2．3 ■的语义、协调性 18
2．4 ■的完全性 25
2．5 ■的独立性 31
2．6 命题联结词 35
2．7 ■的紧致性 45
2．8 消解 46
第三章 一阶逻辑 57
3．1 一阶逻辑形式系统■ 57
3．2 ■的定理和导出规则 66
3．3 代入定理 89
3．4 前束范式 103
3．5 ■的语义 108
3．6 独立性 126
3．7 协调性和完全性 135
第四章 等词 151
4．1 等词系统■ 151
4．2 等词模型 161
第五章 证明与反驳 171
5．1 自然演绎 171
5．2 Skolem标准型 175
5．3 Herbrand定理 178
5．4 抽象协调性 189
5．5 Gentzen定理 197
5．6 语义树 205
5．7 ■—反驳 211
5．8 合一化 221
习题 221
参考文献 221