数理逻辑（第2版） pdf epub mobi txt 电子书 下载 2025

简体网页||繁体网页

☆☆☆☆☆

汪芳庭 著

出版社： 中国科学技术大学出版社

ISBN：9787312027086

版次：2

商品编码：10339658

包装：平装

丛书名： 普通高校“十一五”教材

开本：16开

出版时间：2010-09-01

用纸：胶版纸

页数：204

字数：272000

正文语种：中文

内容简介

　　 《数理逻辑（第2版）》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。
《数理逻辑（第2版）》对Godel不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。
《数理逻辑（第2版）》可用作计算机专业研究生或高年级本科生教材，并可供数学、哲学、逻辑等专业研究及教学人员参考。

目录

再版前言
前言
引言
0 预备知识
0.1 集论初等概念
0.2 Peano自然数公理
0.3 可数集
1 命题演算
1.1 命题联结词与真值表
1.2 命题演算的建立
1.2.1 命题演算公式集
1.2.2 命题演算L
1.2.3 演绎定理
1.2.4 反证律与归谬律
1.2.5 析取，合取与等值
1.3 命题演算的语义
1.3.1 真值函数
1.3.2 赋值与语义推论
1.4 命题演算L的可靠性与完全性
1.5 命题演算的其他课题
1.5.1 等值公式与对偶律
1.5.2 析取范式与合取范式
1.5.3 运算的完全组
1.5.4 应用举例
2 谓词演算
2.1 谓词演算的建立
2.1.1 项与原子公式
2.1.2 谓词演算公式集
2.1.3 谓词演算K
2.1.4 其他课题：对偶律与前束范式
2.2 谓词演算的语义
2.2.1 谓词演算K的解释域与项解释
2.2.2 公式的赋值函数
2.2.3 闭式的语义特征
2.2.4 语义推论与有效式
2.3 K的可靠性
2.4 K的完全性
3 形式算术与递归函数
3.1 带等词的谓词演算
3.2 形式算术KN
3.3 可表示函数与关系
3.3.1 什么是可表示
3.3.2 函数的复合和μ算子保持可表示性
3.4 递归函数
3.4.1 递归函数的一般定义
3.4.2 递归关系和递归集
3.5 递归函数的可表示性
3.6 对KN的递归分析
3.6.1 唯一读法引理
3.6.2 Godel数
3.6.3 过程值递归
3.6.4 KN的一些递归性质
4 不完备性定理
4.1 Godel不完备性定理
4.1.1 Godel定理
4.1.2 Godel-Rosser定理
4.1.3 Church论题
4.1.4 关于不完备性定理的一些讨论
4.1.5 GiSdel第二不完备性定理
4.2 形式算术的不可判定性定理
4.3 递归可枚举集与算术集
4.3.1 可证公式集的递归可枚举性
4.3.2 递归可枚举集的算术可定义性
4.3.3 真公式集的非算术可定义性
4.4 Tufing机与Turing论题
4.5 人与机器
部分练习答案或提示
符号汇集
参考文献

精彩书摘

2 谓词演算
上一章建立的命题演算L中，命题变元用于表示简单命题，是不能再分割的最小单位——L的“原子”。这一点使L这个模型比较简单，但也限制了L的应用范围．比如，古典三段论法就不能很好地纳入到L中去，让我们考察下面的推理实例：
“金属都是导电体，铜是金属，所以铜是导电体。”
这个推理方法无法在命题演算L的框架内得到正确表现。
……

前言/序言

评分☆☆☆☆☆

数理逻辑（第2版）

评分☆☆☆☆☆

好评

评分☆☆☆☆☆

本科教材，很全面。数理逻辑近年来发展特别迅速，主要原因是这门学科对于数学其它分支如集合论、数论、代数、拓扑学等的发展有重大的影响，特别是对新近形成的计算机科学的发展起了推动作用。反过来，其他学科的发展也推动了数理逻辑的发展。正因为它是一门新近兴起而又发展很快的学科，所以它本身也存在许多问题有待于深入研究。现在许多数学家正针对数理逻辑本身的问题进行研究。

评分☆☆☆☆☆

送货很快 2号下的单 14号就收到了

评分☆☆☆☆☆

好好好好好好好好好好好好好好

评分☆☆☆☆☆

书收到了，速度非常快对于有钱人来说，他们不在乎东西值多少钱，和女朋友在一起他们注重的是心上人的开心，和领在一起，他们在乎的是给领买些高贵的东西，指望着自己有机会高升，和小三在一起，我就不多说了，对于我们农村的孩子来说，我们希望物美价廉，不是我们想买盗版货，不是我们爱到批发部去买，也不是我们爱和小贩斤斤计较，是我们微薄的收入难以支付。总的来说购物本身是一个开心的过程，从中我们利用自己的劳动购买自己需要的东西。京东商城的东西太便宜了，所以我来买了。废话不多说 同时买了三本推拿的书和这本，比认为这本是最好的！而且是最先收到的！好评必须的，书是替别人买的，货刚收到，和网上描述的一样，适合众多人群，快递也较满意。书的质量很好，内容更好！收到后看了约十几页没发现错别字，纸质也不错。应该是正版书籍，谢谢好了，我现在来说说这本书的观感吧，网络文学融入主流文学之难，在于文学批评家的缺席，在于衡量标准的混乱，很长一段时间，文学批评家对网络文学集体失语，直到最近一两年来，诸多活跃于文学批评领域的评论家，才开始着手建立网络文学的评价体系，很难得的是，他们迅速掌握了网络文学的魅力内核，并对网络文学给予了高度评价、寄予了很深的厚望。随着网络文学理论体系的建立，以及网络文学在创作水准上的不断提高，网络文学成为主流文学中的主流已是清晰可见的事情，下一届的“五个一工程奖”，我们期待看到更多网络文学作品的入选。据说，2011年8月24日，京东与支付宝合作到期。官方公告显示，京东商城已经全面停用支付宝，除了无法使用支付服务外，使用支付宝账号登录的功能也一并被停用。京东商城创始人刘先生5月份曾表示京东弃用支付宝原因是支付宝的费率太贵，为快钱等公司的4倍。在弃支付宝而去之后，京东商城转投银联怀抱。这点我很喜欢，因为支付宝我从来就不用，用起来也很麻烦的。好了，现在给大家介绍两本好书：《婚姻是女人一辈子的事》简介：最实用剩女出嫁实战手册、婚女幸福宝典；婚姻不是最终归宿，幸福的婚姻才是真正的目的；内地首席励志作家陆琪 首部情感励志力作；研究男女情感问题数年，陆琪首本情感婚姻励志作品。作者作为怀揣女权主义的男人，毫无保留地剖析男人的弱点，告诉女人应该如何分辨男人的爱情，如何掌控男人，如何获得婚姻的幸福。事实上，男人和女人是两种完全不同的动物，用女人的思考方式，永远也了解不透男人。所以陆琪以男性背叛者的角度，深刻地挖掘男人最深层的情感态度和婚姻方式，让女人能够有的放矢、知己知彼，不再成为情感掌控的弱者。二、《正能量（实践版）》——将“正能量”真正实践应用的第一本书！心理自助全球第一品牌书！销量突破600万册！“世界级的演讲家和激励大师”韦恩·戴尔，为我们带来了这本世界级的心理学巨作！他在韦恩州立大学获得过教育咨询博士学位，曾任纽约圣约翰大学教授，是自我实现领域的国际知名作家和演讲家。他出版过28本畅销书，制作了许多广播节目和电视录像，而且在数千个电视和广播节目中做过嘉宾访谈。本书跻身《纽约时报》畅销书榜数十周之久，在全球取得了极高的赞誉，曾激励数百万人走上追逐幸福之途。《正能量（实践版）》——内容最实用、案例最详实，10周改善你的人生！这本书是作者联合数十位科学家、心理学家，耗费十余年心力的研究结晶。通过一系列行之有效的方法，以帮助所有身处人生低谷、长期焦虑、沮丧、消沉、自我怀疑的人，过上幸福喜乐的生活。每一章都像一次心理咨询，详细论述了各种自我挫败行为，分析我们之所以不愉快、消极应对生活的原因，把人们日常生活中所暴露的性格缺陷（如自暴自弃、崇拜、依赖）和不良情绪（如悔恨、忧虑、抱怨、愤怒）逐条分析，揭开你最想知道的心理学真相，每章结尾都提供了简易的方法，使得你即刻改变恶行，拥抱新生。

评分☆☆☆☆☆

《数理逻辑（第2版）》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的意义进行了讨论。书中还提出了Godel第二不完备性定理的一种易证形式。

评分☆☆☆☆☆

好评

评分☆☆☆☆☆

刚看了第一章 有点难 还没往后看 不过有一点好处在于背后有习题的答案