数理逻辑 (豆瓣)

副标题: （英文版 · 第2版）
原作名: A Mathematical Introduction to Logic, Second Edition
作者: (美)Herbert B. Enderton 著
出版社: 人民邮电出版社
出版年: 2006-01-01
页数: 317
定价: 39.00
装帧: 平装
ISBN: 9787115141453

8.8

(24人评价)

41.7%

50.0%

8.3%

0.0%

想读在读读过

评价:

内容简介 · · · · · ·

　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
　　本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

豆瓣成员常用的标签(共24个) · · · · · ·

数学(38) 数理逻辑(36) 逻辑(29) 计算机科学(13) 计算机(4) 逻辑学(4) 数学基础(3) logic(3)

喜欢读"数理逻辑"的人也喜欢 · · · · · ·

: 逻辑的引擎

: 数学：确定性的丧失

: 哥德尔、艾舍尔、巴赫

: 谈谈方法

: 皇帝新脑

读书笔记 · · · · · · (共1篇)
我来写笔记

按有用程度 按页码先后 最新笔记

第15页

ピーーだ～ (っしらない、っしらない♪)

We call these objects "symbols," but we remain neutral as to what the exact ontological status of symbols might be. 不愧是Putnam的学生。 (更多)

We call these objects "symbols," but we remain neutral as to what the exact ontological status of symbols might be.
不愧是Putnam的学生。 (收起)

2011-10-15 15:17:03 回应

收藏
推荐

> 更多读书笔记（共1篇）

书评 · · · · · · 我来评论这本书

"数理逻辑"的论坛 · · · · · ·


求比较这一本与艾宾浩斯的那一本	来自ピーーだ～	2 回应	2011-10-06
普特南的弟子？	来自Vargas		2009-05-10
老师比较好	来自tony		2010-11-02
有木有电子版啊？	来自[已注销]	5 回应	2012-02-11