![数理逻辑引论](https://cover.qianqiantushu.cc/34/s69a6273.jpg)
![数理逻辑引论](https://cover.qianqiantushu.cc/34/s69a6273.jpg)
数理逻辑引论PDF电子书下载
- 电子书积分:9 积分如何计算积分?
- 作 者:马光胜编著
- 出 版 社:哈尔滨:哈尔滨工程大学出版社
- 出版年份:1997
- ISBN:7810077465
- 页数:177 页
前言页 1
引言 1
第1章 预备知识 7
1.1 基本概念 7
1.2 悖论 11
1.3 Zorn引理 13
1.4 数学归纳法 15
第2章 序数与基数 18
2.1 自然数公理 18
2.2 基数及其大小 20
2.3 序集与序型 25
2.4 良序集与序数 28
2.5 序数和基数的性质 32
第3章 语义与语法 39
3.1 基本概念 39
3.2 结构和形式语言 42
3.3 基本语法 48
3.4 符号规则 51
第4章 命题逻辑 54
4.1 命题语义学 54
4.2 命题序表 59
4.3 命题序表的消去定理 66
4.4 命题序表的完备性 69
4.5 命题演算 70
4.6 命题演算和序表 77
4.7 命题演算的弱完备性 80
4.8 命题演算的强完备性 81
第5章 一阶逻辑 86
5.1 一阶语义学 86
5.2 自由与约束 91
5.3 取代与置换 94
5.4 一阶序表 105
5.5 辅助引理 111
5.6 一阶序表的消去定理 118
5.7 Hintikka集合 122
5.8 一阶序表的完备性 128
5.9 一阶谓词演算 133
5.10 一阶谓词演算和序表 140
5.11 一阶谓词演算的完备性 143
第6章 一阶理论的几个问题 151
6.1 前束范式和Skolem范式 151
6.2 Herbrand定理 155
6.3 函数符号的消去 160
6.4 等词的消去 164
6.5 相对式 166
6.6 虚项 168
符号索引 173
参考文献 176
- 《程序逻辑及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
- 《市政工程基础》杨岚编著 2009
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《工程静力学》王科盛主编 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《化学反应工程》许志美主编 2019
- 《绿色过程工程与清洁生产技术 张懿院士论文集精选 上》《绿色过程工程与清洁生产技术》编写组编 2019
- 《软件工程》齐治昌,谭庆平,宁洪编著 2019