数理逻辑(英文版·第2版) (豆瓣)

又名: A Mathematical Introduction to Logic, Second Edition
作者: (美)Herbert B. Enderton 著

副标题: A Mathematical Introduction to Logic, Second Edition
ISBN: 9787115141453
页数: 317
定价: 39.0
出版社: 人民邮电出版社
装帧: 平装
出版年: 2006-01-01

9.0

(14人评价)

42.9%

50.0%

7.1%

0.0%

想读在读读过

评价:

写书评
 X

登录 · · · · · ·

Email:

密码: 忘记密码了

在这台电脑上记住我

>还没有注册...
加入豆列
推荐

简介 · · · · · ·

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

作者简介 · · · · · ·

　　Herbert B.Enderton 哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory和Linear Algebra。