作者:
(美)Herbert B. Enderton 著
出版社: 人民邮电出版社
出版年: 2006-01-01
ISBN: 9787115141453
页数: 317
装帧: 平装
定价: 39.00
原作名: A Mathematical Introduction to Logic, Second Edition
丛书: 图灵原版计算机科学系列
出版社: 人民邮电出版社
出版年: 2006-01-01
ISBN: 9787115141453
页数: 317
装帧: 平装
定价: 39.00
原作名: A Mathematical Introduction to Logic, Second Edition
丛书: 图灵原版计算机科学系列
内容简介 · · · · · ·
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.
作者简介 · · · · · ·
Herbert B.Enderton，哈佛大学博士，师从著名哲学家hilary putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材elements of set theory（影印版已经由人民邮电出版社出版）和linear algebra。
丛书信息
· · · · · ·
图灵原版计算机科学系列(共46册)，
这套丛书还有
《Java面向对象程序设计》《Web数据挖掘》《信息检索》《C++编程规范》《计算智能》
等
。
喜欢读"数理逻辑"的人也喜欢的电子书 · · · · · ·
支持 Web、iPhone、iPad、Android 阅读器
-
-
38.39元
-
-
1.99元
喜欢读"数理逻辑"的人也喜欢 · · · · · ·
数理逻辑的书评 · · · · · · ( 全部 1 条 )
> 更多书评 1篇
论坛 · · · · · ·
| 求比较这一本与艾宾浩斯的那一本 | 来自◇ | 3 回应 | 2012-10-02 20:46:54 |
| 老师比较好 | 来自tony | 2010-11-02 23:57:47 |
这本书的其他版本 · · · · · · ( 全部3 )
在哪儿借这本书 · · · · · ·
以下书单推荐 · · · · · · ( 全部 )
- 哲学宅男理想书架 (hkstehtstark)
- 计算机系学生的数学书架 (网络流)
- 新加坡国立大学本科数学参考书 (Joseph)
- 哲学 (Drift)
- 外国经典教材2 (月亮)
谁读这本书? · · · · · ·
二手市场
· · · · · ·
订阅关于数理逻辑的评论:
feed: rss 2.0
0 有用 伞保护协会 2009-03-03 03:38:21
M
0 有用 噫吁嚱 2020-03-10 01:46:53
@2017-08-31 20:52:23
0 有用 卜丄 2023-03-10 21:25:06 山西
读的很不认真
11 有用 春咲小红 2008-07-19 10:37:10
是的，如此变态的数理逻辑我们学的是英文版~~
0 有用 JENNIE 2020-04-24 08:37:02
我以前看的是英文版的，omg子