📚 基本信息
- 书名：数理逻辑·证明及其限度
- 作者：郝兆宽, 杨睿之, 杨跃
- 出版社：复旦大学出版社
- 出版时间：2014/11/1
- 字数：153千字
💡 推荐语
本书从零起点开始，介绍了集合论基本知识，命题逻辑、一阶逻辑的语法和语义，哥德尔完全性定理，递归论基本知识，简化版本的自然数模型，哥德尔不完全性定理等内容。
📖 内容简介
本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材，本书更强调逻辑与元数学的联系，更多地介绍语义部分，强调语法语义的统一。书中，除了对各个知识点本身的讲解，还介绍了它们的直观和思想背景。
本书适合作为数理逻辑系列课程的导论，并为后继课程做准备。为此，在后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。
书中所含习题能使读者通过练习得到必要的训练，并自我检验对有关内容的理解。
🏢 出版社介绍
复旦大学出版社成立于1981年，由复旦大学主办，受教育部和上海市新闻出版局双重管辖。2001年经教育部和新闻出版总署批准，复旦大学出版社与上海医科大学出版社两社合并，成立新的复旦大学出版社，下辖二级社复旦大学电子音像出版社。
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。
