![数理逻辑引论](https://cover.qianqiantushu.cc/34/s652631e.jpg)
![数理逻辑引论](https://cover.qianqiantushu.cc/34/s652631e.jpg)
数理逻辑引论PDF电子书下载
- 电子书积分:12 积分如何计算积分?
- 作 者:朱梧槚,肖奚安编著
- 出 版 社:南京:南京大学出版社
- 出版年份:1995
- ISBN:7305027804
- 页数:306 页
绪论 1
1 什么是数理逻辑? 1
2 形式系统及其解释 10
第一章 命题与命题联结词 17
1 命题 17
2 命题联结词 19
3 真值函数 26
4 范式 34
5 范式与指派 47
6 命题联结词含量的完全性 63
习题与补充 78
第二章 命题逻辑演算 83
1 命题逻辑的自然推理系统PN的构造 84
2 命题逻辑的自然推理系统PN的展开 92
3 命题逻辑的重言式系统PT的构造 105
4 命题逻辑的重言式系统PT的展开 109
5 PN的简化及其与PT的关系 118
习题与补充 135
第三章 谓词与量词 140
1 命题的分解与谓词 140
2 量词与变元 145
3 函词与摹状词 151
4 指派与同真假性 157
5 永真性与可满足性 160
6 前束范式与Skolem范式 164
习题与补充 177
第四章 谓词逻辑演算 182
1 谓词逻辑的自然推理系统FN的构造 187
2 谓词逻辑的自然推理系统FN的展开 194
3 谓词逻辑的重言式系统FT的构造 204
4 谓词逻辑的重言式系统FT的展开 207
5 FN的简化及其与FT的关系 225
6 带等词或函词的谓词逻辑 232
习题与补充 239
第五章 逻辑演算系统的整体特征 243
1 赋值与模型 244
2 可靠性与协调性 249
3 完备性 255
4 紧致性与可判定性 265
习题与补充 267
附录 非经典逻辑纲要 269
一、模态逻辑 269
1 模态命题逻辑 269
2 模态谓词逻辑 273
3 多模态逻辑 276
4 时态逻辑 277
5 动态逻辑 279
二、多值逻辑 281
1 传统三值逻辑 282
2 中介逻辑 284
3 n值逻辑 289
三、非单调推理 291
1 缺省逻辑 292
2 模态非单调逻辑 294
3 自认知逻辑 296
4 限定论 297
5 信念修正 299
6 开放逻辑 302
参考文献 304
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《概率论与数理统计》傅丽芳 2018
- 《卡塞尔不欢迎逻辑》(西)恩里克·比拉-马塔斯著;施杰李,雪菲译 2019
- 《精神分析引论》(奥)西格蒙德·弗洛伊德著;黄珊译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁著 2019
- 《哈佛逻辑课》(中国)穆臣刚 2019
- 《模糊集引论 上》罗承忠,于福生,曾文艺编著 2019
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019