数理逻辑的思想和方法

文档类型

价格(积分)

购买连接

试读

PDF格式

1、本站所有的书默认都是PDF格式，该格式图书只能阅读和打印，不能再次编辑。

2、除分上下册或者多册的情况下，一般PDF页数一定要大于标注页数才建议下单购买。【本资源235 ≥230页】

1、所有的电子图书为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、电子图书在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

3、所有的电子图书都是原书直接扫描方式制作而成。

第一章数理逻辑与人工语言 1

第二章真值函项 12

第三章重言式 26

第四章范式 37

第五章重言式形式系统 49

第六章自然推理系统与重言式公理系统 61

第七章直觉主义及其逻辑构造 73

第八章元逻辑之一 84

第九章元逻辑之二 96

第十章日常用语的进一步刻划 107

第十一章翻译中的几个问题 120

第十二章量词逻辑的核心 132

第十三章解释 144

第十四章量词演算系统 157

第十五章量词演算系统定理和导出规则 170

第十六章量词演算系统的一致性和完全性 182

第十七章哥德尔不完全定理 196

第十八章公理化方法和形式化方法 208

第十九章数理逻辑应用举例 219