图书介绍
数理逻辑实验教程PDF|Epub|txt|kindle电子书版本网盘下载
- 李娜编著 著
- 出版社： 武汉：武汉大学出版社
- ISBN：9787307079915
- 出版时间：2010
- 标注页数：271页
- 文件大小：54MB
- 文件页数：279页
- 主题词：数理逻辑－高等学校－教材
PDF下载
下载说明
数理逻辑实验教程PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一部分 逻辑软件简介3
第一章 在线逻辑软件简介3
第一节 propositional logic简介3
第二节 predicate logic简介27
第三节 Tree Proof Generater简介37
第二章 LPL Software简介43
第一节 Tarski's World 5.0的命令和操作方法44
第二节 Tarski's World 6.5的命令和操作方法57
第三节 Boole 2.5的命令和操作方法78
第四节 Fitch 2.5的命令和操作方法96
第二部分 命题逻辑113
第三章 简单命题113
第一节 简单命题114
第二节 集论语言和算术语言117
第三节 广义的一阶语言120
第四节 证明方法122
第五节 形式证明方法126
练习129
第四章 复合命题（一）136
第一节 逻辑联结词？、？和？137
第二节 含有？、？和？的逻辑等值式142
第三节 可满足与逻辑真145
第四节 ？、？和？的证明方法151
第五节 ？、？和？的形式证明方法156
第六节 范式170
练习172
第五章 复合命题（二）186
第一节 逻辑联结词→和？186
第二节 →和？的证明方法189
第三节 →和？的形式证明方法192
第四节 形式系统的扩展196
练习201
第三部分 量词逻辑209
第六章 量词的引入209
第一节 一阶公式209
第二节 含有否定词和量词的等值式218
第三节 含有量词？和？的证明方法220
第四节 ？和？的形式证明方法225
练习230
第七章 量词逻辑241
第一节 ？或？的单独使用241
第二节 ？和？的混合使用242
第三节 ？和？混合使用的证明方法245
第四节 ？和？混合使用的形式证明方法247
第五节 形式系统的进一步扩展248
第六节 前束范式251
练习253
参考文献266
形式证明规则一览表267