图书介绍

现代逻辑学讲义 数理逻辑【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

现代逻辑学讲义 数理逻辑
  • 李小五编著 著
  • 出版社： 广州：中山大学出版社
  • ISBN：7306025880
  • 出版时间：2005
  • 标注页数：265页
  • 文件大小：6MB
  • 文件页数：272页
  • 主题词：逻辑－高等学校－教学参考资料

PDF下载


点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢]  [在线试读本书]   [在线获取解压码]
点击复制MD5值：5393113fbbdaa65c6a0920a9cd289145

下载说明

现代逻辑学讲义 数理逻辑PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数 要大于 标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第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

热门推荐