图书阅读 心灵博客

Avatar

Free Books Feeling Download 海量图书增加中……

嘿！欢迎来到图书博客,希望我们的图书阅读信息对您有用，有建议请留言，下次来的时候我们就会记得你，是第一次来看本书吗？建议您收藏本书或订阅本站。

Mar 11, 2008

数理逻辑

下载正在更新：查看完整版本

  • 作者简介

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

  • 内容简介

    • 　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。

  • 编辑推荐

    • 　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。

  • 图书目录

    • 第0章 集合基础
    第1章 命题逻辑
    第2章 一阶逻辑
    第3章 不可判定性
    第4章 二阶逻辑
    附录
    ………

  • 免费下载

    • 下载阅读链接：
    恩德滕：数理逻辑
    暂无下载更新。

    下载正在更新：查看完整版本

    找不到图书？点击查找专业的图书网站：

    Tags: , , , , , , , 共有464 次浏览
  • -----------------------------------
  • 免费下载阅读:所有图书、电子书请在下载后24小时候删除,并购买正版图书.
  • 报告无效链接:请留言报告本页的无效链接,让其他网友继续分享本书.

    • No Comments, Comment or Ping

    Reply to “数理逻辑”

    分享本书—Sharing This Book

    图书链接



    版权信息

    本站所有收录的图书信息、图片归版权所有人，对产品的评论、广告并不代表本站观点。

    如本站图书信息侵犯您的版权,请及时说明，我们将在第一时间内删除！

    Meta