《数理逻辑基础 上》
| 作者 | 胡世华，陆钟万 编者 |
|---|---|
| 出版 | 北京：科学出版社 |
| 参考页数 | 228 |
| 出版时间 | 1981（求助前请核对） 目录预览 |
| ISBN号 | 13031·1320 — 求助条款 |
| PDF编号 | 87475598（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
绪论1
00 数理逻辑1
01 逻辑演算(一)4
使用说明7
02 逻辑演算(二)12
03 集的基本概念19
04 数学归纳法28
第一章 演绎逻辑的基本规则37
10 命题逻辑P的形成规则37
11 P的形式推理规则53
12 命题逻辑P？74
13 P和P？的关系87
14 命题常元、谢孚竖96
15 谓词逻辑F和F？的形成规则101
16 F和F？的形式推理规则113
17 函数词、等词129
18 摹伏词137
19 偏函数144
第二章 逻辑演算的系统特征152
20 等值公式的可替换性152
21 逻辑词的可定义性157
22 命题连接词的完全性和独立性160
23 代入定理166
24 合取范式和析取范式177
25 前束范式和斯柯伦范式184
26 根岑系统和对偶性191
27 无嵌套范式206
28 逻辑演算的归约214
符号汇编(上册)226
1981《数理逻辑基础 上》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由胡世华，陆钟万 1981 北京：科学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 逻辑基础
- 1982 广州：广东人民出版社
-
- 数理逻辑基础 （上册）
- 1981年01月第1版 科学出版社
-
- 数理逻辑基础知识 上
- 北京师范大学哲学系逻辑教研室印
-
- 数理逻辑基础 下
- 1981 北京：科学出版社
-
- 逻辑学基础
- 1979 杭州：浙江人民出版社
-
- 数字逻辑电路基础
- 1994 西安：西安交通大学出版社
-
- 数字逻辑设计基础 下
- 1983 北京：人民邮电出版社
-
- 逻辑学基础
- 1994 上海：华东理工大学出版社
-
- 数理逻辑与数学基础习题集
- 1990 北京：中国人民大学出版社
-
- 简明数理逻辑基础
- 1985 福州：福建人民出版社
-
- 数理逻辑基础
- 1958 北京：科学出版社
-
- 逻辑学基础
- 1992 北京：北京工业大学出版社
-
- 逻辑学基础
- 1994 北京：警官教育出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD