《数理逻辑基础》求取 ⇩
| 作者 | 陈洪陶，朱绍文编著 编者 |
|---|---|
| 出版 | 兰州市：兰州大学出版社 |
| 参考页数 | 90 ✅ 真实服务 非骗流量 ❤️ |
| 出版时间 | 1990.10（求助前请核对） 目录预览 |
| ISBN号 | 731100344X — 违规投诉 / 求助条款 |
| PDF编号 | 85540238（学习资料 勿作它用） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
第一章 命题演算1
1·1 命题与命题联结词1
1·2 命题公式8
1·3 命题公式的等价关系12
1·4 置换律和对偶律16
1·5 永真公式的蕴含21
1·6 命题联结词的扩充及其功能充备集26
1·7 范式32
1·8 命题演算演绎推理40
第二章 谓词逻辑50
2·1 个体与谓词51
2·2 量词53
2·3 自由变换和约束变元56
2·4 谓词公式的等价关系和永蕴关系59
2·5 谓词演算的演绎推理举例68
习题69
习题一69
习题二81
1990.10《数理逻辑基础》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由陈洪陶，朱绍文编著 1990.10 兰州市：兰州大学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑
- 1993 长沙：国防科技大学出版社
-
- 数理逻辑基础 （上册）
- 1981年01月第1版 科学出版社
-
- 数理逻辑基础知识 上
- 北京师范大学哲学系逻辑教研室印
-
- 数理逻辑基础 下
- 1981 北京：科学出版社
-
- 逻辑学基础
- 1979 杭州：浙江人民出版社
-
- 数字逻辑电路基础
- 1994 西安：西安交通大学出版社
-
- 数字逻辑设计基础 下
- 1983 北京：人民邮电出版社
-
- 逻辑学基础
- 1994 上海：华东理工大学出版社
-
- 数理逻辑与数学基础习题集
- 1990 北京：中国人民大学出版社
-
- 数理逻辑
- 1984 北京：高等教育出版社
-
- 简明数理逻辑基础
- 1985 福州：福建人民出版社
-
- 逻辑学基础
- 1992 北京：北京工业大学出版社
-
- 逻辑学基础
- 1994 北京：警官教育出版社
-
- 逻辑基础
- 1982 广州：广东人民出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD