数理逻辑PDF电子书下载
- 电子书积分:11 积分如何计算积分?
- 作 者:汪芳庭编著
- 出 版 社:合肥:中国科学技术大学出版社
- 出版年份:1990
- ISBN:7312002005
- 页数:273 页
前言 1
0 预备知识 1
0.1 集论基本概念 1
引言 3
0.2 Peano自然数公理 3
0.3 可数集 5
1 命题演算 10
1.1 真值函数 10
1.2.1 自由命题代数L(X) 13
1.2 命题演算L 13
1.2.2 命题演算L的建立 17
1.2.3 演绎定理 22
1.2.4 反证律与归谬律 25
1.2.5 析取,合取与等值 30
1.2.6 命题演算的其他系统介绍 32
1.3 命题演算L的语义学 36
1.3.1 L(X)的赋值 37
1.3.2 L的解释 41
1.3.3 公式的真值函数 44
1.3.4 永真式和代换定理 47
1.3.5 等值公式和对偶律 51
1.3.6 析取范式与合取范式 55
1.3.7 运算的完全组 60
1.3.8 语义推论 65
1.4 命题演算L的可靠性和完全性 66
1.5 应用举例 71
2 谓词演算 75
2.1 谓词演算K 76
2.1.1 项与原子公式 76
2.1.2 谓词代数K(Y) 79
2.1.3 谓词演算K的建立 82
2.1.4 等价公式和对偶律 89
2.1.5 前束范式 95
2.2 谓词演算K的语义学 100
2.2.1 K的解释域 101
2.2.2 项解释 103
2.2.3 公式的赋值函数 106
2.2.4 闭式的语义特征 110
2.2.5 语义推论与有效式 115
2.3 K的可靠性 118
2.4 K的完全性 123
3 形式算术与递归函数 132
3.1 带等词的谓词演算 132
3.1.1 等词公理 132
3.1.2 等项替换 135
3.1.3 正规模型 139
3.2 形式算术KN 145
3.3 可表示性 157
3.3.1 可表示函数和关系 157
3.3.2 函数的复合和μ算子保持可表示性 165
3.4 递归函数 171
3.4.1 递归函数的一般定义 171
3.4.2 常用递归函数 173
3.4.3 递归关系和递归集 179
3.5 递归函数的可表示性 182
3.6 可表示函数的递归性 189
3.6.1 唯一读法引理 189
3.6.2 G?del数 192
3.6.3 过程值递归 195
3.6.4 KN的一些递归性质 198
3.6.5 可表示函数的递归性 206
4 不完备性定理 209
4.1 G?del不完备性定理 209
4.1.1 G?del定理 209
4.1.2 G?del-Rosser定理 213
4.1.3 Church论题 216
4.1.4 关于不完备性定理的一些讨论 218
4.1.5 无矛盾性不可证性定理的一种易证形式 222
4.2 形式算术的不可判定性定理 227
4.3.1 可证公式集的递归可枚举性 230
4.3 递归可枚举集和算术集 230
4.3.2 递归可枚举集的算术可定义性 232
4.3.3 真公式集的非算术可定义性(Tarski定理) 235
4.4 Turing论题 238
4.4.1 Turing机 238
4.4.2 Turing可计算函数 244
4.4.3 人与机器 248
练习答案或提示 250
符号汇集 270
参考文献 273
- 《程序逻辑及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
- 《钒产业技术及应用》高峰,彭清静,华骏主编 2019
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《现代水泥技术发展与应用论文集》天津水泥工业设计研究院有限公司编 2019
- 《中国当代乡土小说文库 本乡本土》(中国)刘玉堂 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《Prometheus技术秘笈》百里燊 2019
- 《中国铁路人 第三届现实主义网络文学征文大赛一等奖》恒传录著 2019
- 《莼江曲谱 2 中国昆曲博物馆藏稀见昆剧手抄曲谱汇编之一》郭腊梅主编;孙伊婷副主编;孙文明,孙伊婷编委;中国昆曲博物馆编 2018
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《中国陈设艺术史》赵囡囡著 2019