《数理逻辑教程》求取 ⇩
| 作者 | 莫绍揆著 编者 |
|---|---|
| 出版 | 华中工学院出版社 |
| 参考页数 | 391 ✅ 真实服务 非骗流量 ❤️ |
| 出版时间 | 1982（求助前请核对） 目录预览 |
| ISBN号 | 13255·003 — 违规投诉 / 求助条款 |
| PDF编号 | 89258108（学习资料 勿作它用） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目录9
绪言数理逻辑的对象与符号的使用法9
第一章 逻辑代数（上）9
§1 命题与联结词9
§2 推理规则20
§3 关于蕴涵词的讨论31
§4 构造主义逻辑与直觉主义逻辑37
§5 命题代数的自然推理系统43
§6 命题代数（演算）的公理系统67
§7 永真推理过程80
§8 指派与赋值86
§9 联结词的归纳97
§10 永真假性100
§11 关于上述公理系统的讨论106
第二章 逻辑代数（下）112
§1 个体与命题112
§2 函词与谓词115
§3 变元续论127
§4 相等词132
§5 组合逻辑138
§6 布尔代数146
§7 模态逻辑157
§8 多值逻辑167
§9 对开关线路的应用171
第三章 逻辑演算（上）192
§1 量词192
§2 摹状词206
§3 改名、代入与替换226
§4 构造主义与直觉主义242
§5 狭义演算的自然推理系统251
§6 狭义演算的公理系统283
§7 指派与赋值298
§8 永真假性308
§9 永真假性的特征数327
§10 同永真假性335
§11 关于公理系统的讨论345
第四章 逻辑演算（下）348
§1 约束谓词演算公式348
§2 主要解释与次要解释355
§3 次要永真公式的公理系统359
§4 应用谓词演算总论363
§5 集合论演算367
§6 全总谓词演算系统376
§7 形式公理系统的简化（上）381
§8 形式公理系统的简化（下）384
1982《数理逻辑教程》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由莫绍揆著 1982 华中工学院出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 数理逻辑
- 1993 长沙：国防科技大学出版社
-
- 数理逻辑
- 1986.11 华东师范大学出版社
-
- 逻辑教程
- 1991.05 南昌：江西高校出版社
-
- 数理逻辑
- 1992 广州：华南理工大学出版社
-
- 逻辑学教程
- 1999 北京：高等教育出版社
-
- 数理逻辑
- 1990 上海：华东化工学院出版社
-
- 数理逻辑
- 1984 北京：高等教育出版社
-
- 数理逻辑
- 1990 杭州：浙江大学出版社
-
- 数理逻辑、集合
- 1987 北京：人民邮电出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 逻辑学教程
- 1955 济南：山东人民出版社
-
- 逻辑学教程
- 1951 上海：中华书局
-
- 名学浅说
- 1981 北京：商务印书馆
-
- 数理逻辑
- 1986 上海：华东师范大学出版社
-
- 数理逻辑导引
- 1990 北京：中国社会科学出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD