数理逻辑: 证明及其限度(pdf)电子书下载

数理逻辑
数理逻辑

作者: 杨跃 / 郝兆宽 / 杨睿之
出版社: 复旦大学出版社
副标题: 证明及其限度
出版年: 2014-11-1
页数: 249
定价: 36.00
装帧: 平装
丛书: 逻辑与形而上学教科书系列
ISBN: 9787309110258

内容简介

本书是“逻辑与形而上学教科书系列”中的一本。书中从零起点开始,介绍了集合论基本知识,命题逻辑、一阶逻辑的语法和语义,哥德尔完全性定理,递归论基本知识,简化版本的自然数模型,哥德尔不完全性定理等内容。

本书尤其面向对数学基础感兴趣的的读者。相对于其他数理逻辑教材,本书更强调逻辑与元数学的联系,更多地介绍语义部分,强调语法语义的统一。书中,除了对各个知识点本身的讲解,还介绍了它们的直观和思想背景。

本书适合作为数理逻辑系列课程的导论,并为后继课程做准备。为此,在最后一章中简单介绍了数理逻辑当代研究成果及其与本书内容的联系。希望读者掌握了本导论的内容之后有意于继续学习更深、更专门、更有意思的内容。

书中所含习题能使读者通过练习得到必要的训练,并自我检验对有关内容的理解。

作者简介

郝兆宽

复旦大学哲学学院副教授。主要研究兴趣是数理逻辑、数学哲学。

杨睿之

复旦大学哲学学院讲师。主要研究兴趣是数理逻辑。

杨 跃

新加坡国立大学数学系教授。主要研究兴趣是数理逻辑,尤其是递归论、皮亚诺算术模型。

资源下载资源下载价格9.9立即支付
支付后显示网盘链接。代找其他书或下载存疑联系微信 pdfsky 邮箱 xuniziyuan@88.com
阅读成本=选择时间+阅读时间+误读时间

评论抢沙发

评论前必须登录!

本站资源来源于网络,所提供下载链接也是站外链接,本站并不存储相关资源文件。本站资源版权归原作者所有。本站资源价格不是商品价格,而是整理资源的成本和百度云盘超级会员的共享使用费用。如有侵权,请发送邮件到xuniziyuan@88.com,即刻删除。