数理逻辑引论PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:孙希文编著
- 出 版 社:哈尔滨:哈尔滨工业大学出版社
- 出版年份:1991
- ISBN:7560303528
- 页数:237 页
目 录 1
第一章 引 论 1
§1.1 数理逻辑的简单历史及主要内容 1
§1.2公理系统与形式系统 7
§1.3结构、关系结构和代数结构 9
§1.4 命题连接词和量词 10
§1.5真值函数和赋值 12
习题 15
第二章一阶理论 17
§2.1一阶语言 17
§2.2一阶语言的若干性质 23
§2.3结构 27
§2.4一阶理论的概念 32
§2.5形式定理与形式证明 41
习 题 57
第三章一阶理论的若干定理 64
§3.1演绎定理 64
§3.2 重言式定理 67
§3.3等价和相等定理 71
§3.4一阶理论的范式 74
习题 83
§4.1 归约定理 87
第四章一阶理论的特征问题 87
§4.2全性定理 89
§4.3 协调性定理 96
§4.4 Herbrand定理 99
§4.5 函数符号的引入 105
§4.6用定义方法扩张理论 107
§4.7解释 114
习题 122
第五章形式系统的一般理论与一阶理论的等价定义 126
§5.1 形式系统的一般理论简介 126
§5.2 归纳算子及其不动点 128
§5.3具有相同语言的一阶理论的等价定义 136
§5.4具有不同语言的一阶理论的等价定义 145
§5.5 Gentze系统 150
习题 162
第六章模型论 166
§6.1紧致性定理 166
§6.2结构与模型的超积 167
§6.3定向结构族及其定向极限 187
§6.4初等等价性 194
§6.5完全的理论 207
§6.6等式逻辑的结构及模型 214
§6.7不变性和表征定理 221
习题 235
- 《程序逻辑及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