数理逻辑导论PDF电子书下载
- 电子书积分:13 积分如何计算积分?
- 作 者:莫绍揆著
- 出 版 社:上海:上海科学技术出版社
- 出版年份:1965
- ISBN:13119·589
- 页数:358 页
绪言 1
第一篇 命题演算 11
第一章 真值联结词 12
1.命题及联结词 12
2.指派与同真假性 16
3.真值函数的作出 22
4.联结词的归约 28
5.真假指派的决定 30
6.范式的化简 35
7.同永真性与同可满足性 41
第二章 命题演算的公理系统 44
8.建立公理系统的必要性 44
9.关于公理系统的一般注意 48
10.命题演算永真公式的公理系统 61
11.重要定理的推演 68
12.推理定理与日常推理过程 89
13.关于命题演算公理系统的讨论 98
14.直觉系统逻辑的判定过程 103
15.模态逻辑与多值逻辑 109
第二篇 谓词演算 117
第三章 量词与摹状词 118
16.个体、谓词及函数 118
17.变元 123
18.量词 130
19.摹状词 136
20.自由与约束 143
21.改名与代入 147
22.个体域与指派 157
23.同真假性 164
24.永真性与可满足性 172
25.同永真性与同可满足性 182
第四章 狭义谓词演算永真公式的公理系统 196
26.公理系统及若干注意 196
27.重要定理的推演 207
28.公理系统的另一表述 230
29.推理定理和日常推理的讨论 235
30.关于上述公理系统的讨论 243
31.模态谓词演算与多值谓词演算 248
第三篇 谓词演算(续) 251
第五章 约束谓词演算 252
32.有没有高级谓词及高级函数 252
33.个体域、谓词域及主要指派 264
34.同真假性 270
35.次要永真公式的公理系统 276
第六章 应用谓词演算 284
36.应用谓词演算总论 284
37.应用谓词演算与构造论逻辑 291
38.同异性演算 296
39.集合论演算 303
第七章 全总谓词演算 327
40.全总谓词演算的结构 327
41.向典型形式系统的化归 331
42.典型形式系统化归为约束词演算及λ换位演算 334
43.λ换位演算化归为组合逻辑 343
参考文献 357
- 《物联网导论》张翼英主编 2020
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《材料导论》张会主编 2019
- 《化工传递过程导论 第2版》阎建民,刘辉 2020
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《概率论与数理统计》傅丽芳 2018
- 《大数据导论》林子雨编著 2020
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《跨文化交际学基础导论》林大津,尤泽顺导读 2007
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《Prometheus技术秘笈》百里燊 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《药剂学实验操作技术》刘芳,高森主编 2019
- 《林下养蜂技术》罗文华,黄勇,刘佳霖主编 2017
- 《脱硝运行技术1000问》朱国宇编 2019
- 《催化剂制备过程技术》韩勇责任编辑;(中国)张继光 2019
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020