《一阶逻辑与一阶理论》
| 作者 | 叶峰编著 编者 |
|---|---|
| 出版 | 北京：中国社会科学出版社 |
| 参考页数 | 223 |
| 出版时间 | 1994（求助前请核对） 目录预览 |
| ISBN号 | 7500413076 — 求助条款 |
| PDF编号 | 810236538（仅供预览，未存储实际文件） |
| 求助格式 | 扫描PDF（若分多册发行，每次仅能受理1册） |
目 录1
绪论1
§1什么是一阶逻辑1
§2 预备知识与记号的说明19
第一章一阶语言的语法21
§1 符号表21
§2 项25
§3公式29
§4 归纳法35
§5语法歧义性38
§6 归纳定义 子项 子公式43
§7 定义公式48
§8 自由变元 约束变元53
§9 代入57
第二章一阶语言的语义64
§1 结构与解释64
§ 2满足关系68
§3合同引理 代入引理77
§4语义后承83
§5 有效性与可满足性88
§6 一些重要的有效式92
§7 等值替换 易字 范式98
第三章一阶推理系统105
§1一阶推演105
§2演绎定理111
§3 重言式定理115
§4 有关量词及等词的推演规则121
§5 一致性130
§6 完备性定理138
§7 Herbrand定理148
第四章一阶理论156
§1定义及例子156
§2初等类 初等等价161
§3 L？wenheim—Skolem定理168
§4 同构171
§5 范畴性与完备性180
§6定义扩张185
§7相对化解释193
§8 一阶算术203
§9公理集合论210
参考书目216
术语索引217
符号索引222
1994《一阶逻辑与一阶理论》由于是年代较久的资料都绝版了，几乎不可能购买到实物。如果大家为了学习确实需要，可向博主求助其电子版PDF文件（由叶峰编著 1994 北京：中国社会科学出版社 出版的版本） 。对合法合规的求助，我会当即受理并将下载地址发送给你。
高度相关资料
-
- 乐理初阶
- 1986 广州：花城出版社
-
- 逻辑与数学逻辑论
- 民国16.12 商务印书馆
-
- 阶级论
- 1948
-
- 马克思主义关于阶级与阶级斗争的理论
- 1949 东北书店
-
- 论新阶段
- 1939 新华日报馆
-
- 生产关系一定要适合生产力性质的法则
- 1954 时代出版社
-
- 第一阶段的故事
- 1950 联益出版社
-
- 进阶美语会话 第一进阶
- 1993 北京：电子工业出版社
-
- 论辩证法、逻辑与认识的统一
- 1959 上海：上海人民出版社
-
- 一般系统论原理 逻辑-方法论分析
- 1984 北京：人民出版社
-
- 第一编 52 语文论战的现阶段
- 1989 上海：上海书店出版社
-
- 第一阶段的故事
- 1953 文光书店
-
- 逻辑与数学逻辑论
- 1933 商务出版社
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。➥ PDF文字可复制化或转WORD