- 作 者：李小五编著
- 出 版 社：广州：中山大学出版社
- 出版年份：2005
- ISBN：7306025880
- 标注页数：265 页
- PDF页数：272 页
请阅读订购服务说明与试读!
订购服务说明
1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。
2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源272 ≥265页】
图书下载及付费说明
1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。
2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)
3、所有的电子图书都是原书直接扫描方式制作而成。
第0章 引论 1
§1 导言 2
§2 集合论初步 3
第1章 句形的基本性质 11
§1 句形与句子联结词 12
§2 联结符号的基本解释 14
§3 重言式及其判定 17
§4 真值函数的个数及其句形表示 24
§5 联结符号的完备性与独立性 29
第2章 公理化系统 33
§1 句子语言 34
§2 蕴涵系统的引入 46
§3 演绎定理与等价置换定理 55
§4 其他系统及其等价性 65
第3章 二值语义与系统性质 76
§1 二值语义 77
§2 刻画定理 84
§3 和谐性、协调性与Post-完备性 92
§4 强刻画定理 96
§5 公理的独立性 108
第4章 一阶语言 116
§1 简单陈述句的内部结构 118
§2 初始符号集 项 123
§3 一阶语言 134
第5章 一阶语义 143
§1 一阶结构 144
§2 有效性 逻辑后承 157
§3 范式 169
第6章 一阶系统 180
§1 系统PS的引入 182
§2 系统定理 194
§3 协调性定理与和谐性定理 205
§4 等价前束范式存在定理 209
第7章 刻画定理 220
§1 强可靠性定理 221
§2 强完全性定理 227
第8章 带等号的一阶逻辑 243
§1 带等号的一阶语言 244
§2 带等号的一阶语义 248
§3 带等号的公理化系统 250
§4 带等号的强刻画定理 259
参考文献 264
后记 265