无穷逻辑 上PDF电子书下载
哲学宗教
- 作 者：李小五着
- 出 版 社：北京：社会科学文献出版社
- 出版年份：1996
- ISBN：7800507718
- 页数：620 页
图书介绍： 查看图书目录点击购买PDF全本电子书 上一篇：墨子与中国文化下一篇：中华道教经纬 《无穷逻辑 上》目录 标签：逻辑
前言1
第0章 可容集合论KPU1
1 公理系统KPU2
2 KPU的一些重要性质5
3 增加有定义符号给KPU11
4 ∑-递归定义16
5 崩塌引理23
6 谓词的保持性和绝对性25
7 可容集29
8 可构成集36
第1章 基本概念42
1 语言？的基本语法与语义42
2 无穷语言的表达力61
3 对公式、结构和映射的初步分类71
1 演绎系统87
第2章 证明论87
2 演绎定理101
第3章 布尔代数与完全性定理118
1 布尔代数基础118
2 命题逻辑的完全性定理123
3 谓词逻辑的完全性定理145
第4章 一致性质与完全性定理161
1 ？完全性定理162
2 ？完全性定理169
3 ？可数片段的完全性定理180
4 ？完全性定理191
第5章 独立性定理198
1 演绎系统B？(△；Ω)的独立性198
2 理论的语义独立性222
第6章 演绎系统的可定义性与不完全性230
1 演绎系统的可定义性231
2 演绎系统的不完全性246
1 Craig-内插定理259
第7章 内插定理259
2 Lyndon-内插定理275
3 Malitz-内插定理279
4 内插定理的应用289
第8章 其它构造结构的方法303
1 用Skolem-函数构造结构304
2 用不可辨元构造结构315
3 用超积构造结构328
第9章 无穷语言的紧致性质338
1 可达基数的非紧致性339
2 不可达基数的非紧致性346
3 更大基数的紧致性354
第10章 可容集的∑1-紧致性389
1 S-П？-自返原则与∑1-紧致性390
2 树与共尾度为ω的∑1-紧致集405
3 共尾度大于ω的∑1-紧致集411
4 弱紧致性与∑1-紧致性415
5 强于？的语言的∑1-紧致性425
第11章 L？venheim-Skolem-定理(上)445
1 向下-LS-定理446
2 ？的向上-LS-定理及其概括459
3 ？的Hanf-数和Morley-数467
第12章 良序的可定义性问题494
1 ？K中良序的不可定义性495
2 ？中良序的不可定义性499
3 良序与有穷量词的其它关系511
4 可定义的良序524
第13章 L？venheim-Skolem-定理(下)538
1 片段？的向上-LS-定理与双基数定理539
2 ？的Hanf-数560
3 ？的某些句子相对一阶理论的Hanf-数570
参考文献587
重要记号索引602
主题词索引610
相关图书
- 《程序逻辑及C语言编程》卢卫中，杨丽芳主编 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编；包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤着 2019
- 《卡塞尔不欢迎逻辑》（西）恩里克·比拉-马塔斯着；施杰李，雪菲译 2019
- 《哲学教授送给孩子们的逻辑思考课》冀剑制 2019
- 《逻辑与计算机科学哲学》潘沁着 2019
- 《哈佛逻辑课》（中国）穆臣刚 2019
- 《新时代背景下碳泄漏的法律规制 理论逻辑与实现路径》姜明 2019
- 《确证难题的逻辑研究》顿新国着；张建军主编 2019
- 《普京 权力的逻辑》（德国）胡贝特·塞佩尔 2019
作者其它书籍
- 《书舶录》李小龙 2019
- 《列宁社会主义监督思想及其价值意蕴研究》李小珊着 2019
- 《教育心理学新编 第2版》李小融编着 2018
- 《模拟电路测试技术》刘佳宇，袁秀湘主编；李志勇，李小颖，蔡灏副主编 2019
- 《城市公交车辆电气设备使用》汪亮，冉原野，李小燕主编 2018
- 《模块户型的设计与组合》李小宁着 2013
- 《悬壶撷英 马智临证经验集》李小娟主编 2013
- 《模糊理论及其在机械制造中的应用》万光珉，李小俚编着 1997
- 《东周养新编》刘锡五着；王汉三，李治华校阅 1947
- 《丝带绣的花样世界 图案与技巧》（英）考克斯编着；李小平译 2012
出版社其它书籍
- 《红色旅游的社会效应研究》吴春焕着 2019
- 《社会学与人类生活 社会问题解析 第11版》（美）James M. Henslin（詹姆斯·M. 汉斯林） 2019
- 《近代世界史文献丛编 19》王强主编 2017
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《近代世界史文献丛编 36》王强主编 2017
- 《北京生态环境保护》《北京环境保护丛书》编委会编着 2018
- 《凯恩斯文集 第13卷 社会、政治和文学论集》严忠志译 2018
- 《近代世界史文献丛编 11》王强主编 2017
- 《近代世界史文献丛编 18》王强主编 2017
本类热门
- 1人生没什么不可放下 弘一法师的人生智慧
- 2答案之书
- 3臣服实验
- 4天生不同 人格类型识别和潜能开发
- 5性史1926
- 6被讨厌的勇气 “自我启发之父”阿德勒的哲学课
- 7加缪手记 第1卷
- 8病由心灭
- 9当下的力量 珍藏版
- 10易经真的很容易 修订版
摘要：本文深入探讨了“无穷逻辑 上.pdf电子书版文档下载”这一主题，从文档内容、下载途径、阅读体验和实际应用四个方面进行了详细阐述，旨在为读者提供全面了解这一资源的途径和方法。
1、内容丰富
“无穷逻辑 上.pdf电子书版文档下载”涵盖了逻辑学、哲学、数学等多个领域的知识，内容丰富，涵盖了从基础逻辑到高级逻辑的全面内容。文档中不仅对逻辑学的基本概念进行了详细解释，还通过实例分析，使读者能够更好地理解和应用逻辑思维。
此外，文档还涉及了逻辑学在各个领域的应用，如计算机科学、人工智能、经济学等，为读者提供了广阔的视野和丰富的知识储备。
在内容组织上，文档结构清晰，逻辑严密，便于读者循序渐进地学习和掌握逻辑学知识。
2、下载便捷
随着互联网的普及，电子书下载已成为一种便捷的阅读方式。对于“无穷逻辑 上.pdf电子书版文档下载”，读者可以通过多种途径获取。首先，可以在各大电子书平台搜索并下载该文档，如京东读书、当当电子书等。其次，还可以通过搜索引擎查找相关资源，下载到本地设备进行阅读。
此外，文档的格式为PDF，兼容性强，可在多种设备上阅读，如电脑、平板、手机等，方便读者随时随地获取知识。
在下载过程中，读者应注意选择正规渠道，避免下载到含有病毒或恶意软件的文档，确保阅读安全。
3、阅读体验
“无穷逻辑 上.pdf电子书版文档下载”在排版和设计上注重用户体验。文档采用清晰的字体和合理的行间距，使阅读更加舒适。此外，文档中穿插了大量的图表、公式和实例，有助于读者更好地理解和掌握逻辑学知识。
在阅读过程中，读者可以根据自己的需求调整字体大小和颜色，以适应不同的阅读场景。同时，文档还支持全文搜索功能，方便读者快速查找所需内容。
此外，文档还提供了丰富的参考文献，为读者进一步学习提供了便利。
4、实际应用
“无穷逻辑 上.pdf电子书版文档下载”不仅是一本理论书籍，更是一本具有实际应用价值的资源。在现实生活中，逻辑思维在各个领域都发挥着重要作用。通过学习“无穷逻辑 上.pdf电子书版文档下载”中的知识，读者可以提升自己的逻辑思维能力，提高工作效率，解决实际问题。
例如，在商业谈判中，运用逻辑思维可以更好地分析对方意图，制定合理的谈判策略；在日常生活中，运用逻辑思维可以更好地处理人际关系，提高生活质量。
总之，“无穷逻辑 上.pdf电子书版文档下载”为读者提供了丰富的逻辑学知识，有助于提升读者的逻辑思维能力，为实际应用奠定基础。
总结：
本文对“无穷逻辑 上.pdf电子书版文档下载”进行了全面阐述，从内容、下载、阅读和实际应用四个方面进行了详细分析。通过本文的介绍，读者可以更好地了解这一资源，为自身学习和工作提供有力支持。
“无穷逻辑 上.pdf电子书版文档下载”不仅是一本优秀的逻辑学教材，更是一本具有实际应用价值的资源。希望读者能够通过阅读本文，深入了解这一资源，提升自己的逻辑思维能力，为未来的学习和工作打下坚实基础。
本文由nayona.cn整理
联系我们
关注公众号
微信扫一扫
支付宝扫一扫
