作者:
[美]
Herbert B·Enderton
出版社: 人民邮电出版社
副标题: （英文版 · 第2版）
原作名: A Mathematical Introduction to Logic, Second Edition
出版年: 2006-01-01
页数: 317
定价: 39.00
装帧: 平装
丛书: 图灵原版计算机科学系列
ISBN: 9787115141453
出版社: 人民邮电出版社
副标题: （英文版 · 第2版）
原作名: A Mathematical Introduction to Logic, Second Edition
出版年: 2006-01-01
页数: 317
定价: 39.00
装帧: 平装
丛书: 图灵原版计算机科学系列
ISBN: 9787115141453
内容简介 · · · · · ·
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.
作者简介 · · · · · ·
Herbert B.Enderton，哈佛大学博士，师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材elements of set theory（影印版已经由人民邮电出版社出版）和linear algebra。
丛书信息
· · · · · ·
图灵原版计算机科学系列(共46册)，
这套丛书还有
《TCP/IP详解 卷2：实现（英文版）》《TCP/IP详解 卷1：协议（英文版）》《3D游戏引擎设计》《群体智能》《软件测试基础教程》
等
。
喜欢读"数理逻辑"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
喜欢读"数理逻辑"的人也喜欢 · · · · · ·
数理逻辑的书评 · · · · · · ( 全部 1 条 )
> 更多书评 1篇
论坛 · · · · · ·
| 求比较这一本与艾宾浩斯的那一本 | 来自◇ | 3 回应 | 2012-10-02 20:46:54 |
| 老师比较好 | 来自tony | 2010-11-02 23:57:47 |
这本书的其他版本 · · · · · · ( 全部3 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 哲学宅男理想书架 (hkstehtstark)
- 逻辑学须看书籍 (斯宾诺莎的镜片)
- 计算机系学生的数学书架 (网络流)
- 新加坡国立大学本科数学参考书 (Joseph)
- 哲学 (Drift)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于数理逻辑的评论:
feed: rss 2.0
0 有用 卜丄 2023-03-10 21:25:06 山西
读的很不认真
0 有用 Fraenk! 2010-01-11 15:52:55
compact, 全书仅4章，不幸的是我只读了前两章，但是，真的很难
11 有用 春咲小红 2008-07-19 10:37:10
是的，如此变态的数理逻辑我们学的是英文版~~
1 有用 rocklater 2010-07-09 23:56:38
算是唯一一本读了5次，每次都有收获的书。计算机专业必读！
1 有用 神一样的戴 2017-10-02 17:05:54
全面，又细致，关注点都是核心问题……第二遍学数理逻辑超好的一本教材