年份：2005年

作者：布勒斯，George S. Boolos

出版社：电子工业出版社

语言：chinese

类型：PDF

大小：16.84 MB

本书是一本经典的逻辑教书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如歌德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一个本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。

本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

声明：
1.本站所有资源仅用于学习及研究使用,请必须在24小时内删除所下载资源，切勿用于商业用途，否则由此引发的法律纠纷及连带责任本站和发布者概不承担。除标明原创外均来自网络整理,版权归原作者或本站特约原创作者所有,如侵犯到您权益请联系本站删除!
2.建立本站的目的是为爱好读书的朋友提供一个丰富的电子书资源下载平台，让知识引领人类文明进步。
3.我们尽量挑选阅读价值较高的书籍，让大家通过读更少的书来获得更大的价值提升。
4.本站投入了大量的精力和财力来整理和维护的，资源收费也是为给大家提供更好的服务，同样的资源，我们不卖几百，几十，我们仅卖几元，一个永久会员能下载全站100%电子书。
5.如果电子书下载地址失效请 联系站长QQ进行补发，另：本站提供电子书代找服务，如有需要，可联系站长。
6.如资金允许，请购买正版！
7.请您认真阅读上述内容，购买即以为着您同意上述内容。