图书介绍
数理逻辑基础与应用PDF|Epub|txt|kindle电子书版本网盘下载
- 赵春高编著 著
- 出版社： 贵阳：贵州人民出版社
- ISBN：13115·54
- 出版时间：1986
- 标注页数：212页
- 文件大小：9MB
- 文件页数：218页
- 主题词：
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
数理逻辑基础与应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 命题演算及其应用1
1基本逻辑联结词的引入1
练习14
2等值性、基本联结词的可省略性4
练习27
3关于等值式的若干变形规则7
练习310
4若干常用公式及公式化简法11
练习414
5命题演算实例15
练习530
6逻辑表达式的范式32
练习648
7命题演算在电子计算机设计中的应用49
练习771
8命题演算的公理及其推演公式73
练习879
9公理系统的三个主要问题：不矛盾性、独立性及完备性80
练习983
10随意选取公理的一切推论83
练习1085
11命题演算处理复杂逻辑关系问题的一般方法和实例85
练习1192
第二章 集合代数95
1集合95
2从属关系95
3包含关系96
4空集合与全集合96
5集合的补96
6并与交97
7相补、包含、并及交的一些关系式98
8相等变换及定理100
9略谈集合代数的应用103
10集合的差与对称差104
11集合代数与命题演算的关系108
练习题108
第三章狭义谓词演算及其应用111
1命题演算的不充分性111
2谓词及量词符号的引入111
习题1114
3谓词演算应用举例115
习题2118
4谓词演算中记号的精确化120
5谓词演算的公理及推理规则121
习题3126
6永真公式系统126
习题4132
7替换规则：一公式的否定的作成133
8推广的对偶原则134
习题5135
9演绎定理135
10范式——前束范式，斯科林范式143
习题6147
11谓词演算的应用147
习题7150
12判定问题151
习题8161
13谓词演算公理系统的无矛盾性161
14谓词演算公理系统的完备性165
主要参考文献171
习题解答或提示172
第一章习题解答或提示172
第二章习题解答或提示199
第三章习题解答或提示205