数理逻辑 美 Herbert B.Enderton 清晰版[DJVU]

游客，本帖隐藏的内容需要积分高于 1 才可浏览，您当前积分为 0

资源信息： 中文名: 数理逻辑 作者: (美)Herbert B.Enderton 译者: 沈复兴 陈磊 孙运传 图书分类: 教育/科技 资源格式: DJVU 版本: 清晰版 出版社: 人民邮电出版社 书号: 9787115143112 发行时间: 2007年3月1日 地区: 大陆 语言: 简体中文 概述:

内容简介： 本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课都是可根据教学需要节选本书的内容：反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和习题。本书适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。 作者简介： Herbert B.Enderton，哈佛大学博士，师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材Elements of Set Theory（影印版已经由人民邮电出版社出版）和Linear Algebra。 内容截图：

买鞋子哪个网站好？首选中国最大的正品鞋网商城(http://shoes.weixiaodian.com/)、 网上正品鞋城(http://u.weixiaodian.com/shoe/)。微店网页版请从http://121.weixiaodian.com登录：手把手教你如何免费申请开通微店、怎样经营微店及如何用微店赚钱。看笑话，上爱哈啦(http://www.aihala.com/)。