嘿! 欢迎来到图书博客,希望我们的图书阅读信息对您有用,有建议请留言,下次来的时候我们就会记得你,是第一次来看本书吗?建议您收藏本书或订阅本站 。
Mar 11, 2008
下载正在更新:查看完整版本
作者简介
Herbert B.Enderton,哈佛大学博士,师从著名哲学家Hilary Putnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授,该校“逻辑学论坛”主席,曾担任《符号逻辑学会评论》杂志的主编。除本书外,他还著有另外两本广受好评的教材Elements of Set Theory(影印版已经由人民邮电出版社出版)和Linear Algebra。
内容简介
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑,一阶逻辑,不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强,组织结构更灵活,授课教师可根据数学需要节选本书的内容,反映了近几年来理论计算机科学对逻辑学产生的影响。
编辑推荐
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑,一阶逻辑,不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强,组织结构更灵活,授课教师可根据数学需要节选本书的内容,反映了近几年来理论计算机科学对逻辑学产生的影响。
图书目录
第0章 集合基础 第1章 命题逻辑 第2章 一阶逻辑 第3章 不可判定性 第4章 二阶逻辑 附录 ………
免费下载
下载阅读链接:恩德滕:数理逻辑
暂无下载更新。
下载正在更新:查看完整版本
找不到图书?点击查找专业的图书网站:
Tags:
恩德滕 ,
数学 ,
数理逻辑 ,
数理逻辑、数学基础 ,
科学与自然 ,
计算机与互联网 ,
计算机理论 ,
计算机科学 共有496 次浏览
-----------------------------------
免费下载阅读:所有图书、电子书请在下载后24小时候删除,并购买正版图书.
报告无效链接:请留言报告本页的无效链接,让其他网友继续分享本书.
No Comments, Comment or Ping
Reply to “数理逻辑”