作者:
George S. Boolos
/
John P. Burgess
/
Richard C. Jeffrey
出版社: 电子工业出版社
出版年: 2003-6
ISBN: 9787505388284
页数: 356 页
装帧: 平装
定价: 38.00元
原作名: Computability and Logic
丛书: 国外计算机科学教材系列
出版社: 电子工业出版社
出版年: 2003-6
ISBN: 9787505388284
页数: 356 页
装帧: 平装
定价: 38.00元
原作名: Computability and Logic
丛书: 国外计算机科学教材系列
内容简介 · · · · · ·
本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。
本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。
目录 · · · · · ·
丛书信息
· · · · · ·
国外计算机科学教材系列(共299册)，
这套丛书还有
《B方法》《计算机安全与密码学》《数据结构与算法分析（第四版）》《交互式计算机图形学》《互联网技术实验指导书》
等
。
喜欢读"可计算性与数理逻辑(第4版英文版)"的人也喜欢 · · · · · ·
可计算性与数理逻辑(第4版英文版)的书评 · · · · · · ( 全部 0 条 )
论坛 · · · · · ·
在这本书的论坛里发言这本书的其他版本 · · · · · · ( 全部10 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- T (dhcn)
- 专业 (Diana)
- 计算机科学 (约瑟)
- 国外计算机科学教材系列 (Joysen)
- 逻辑 (aaa)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
- 在豆瓣转让 有61人想读，手里有一本闲着?
订阅关于可计算性与数理逻辑(第4版英文版)的评论:
feed: rss 2.0
0 有用 panzicong 2010-01-12 12:26:29
我水平太低 不好评价 数理逻辑博大精深