孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

数理逻辑：第2版

数理逻辑：第2版
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: （Herbert B.Enderton） 著 , 译 , 译 , 译
出版社: 人民邮电出版社
2007-03
版次: 1
ISBN: 9787115143112
定价: 35.00
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 240页
字数: 391千字
原版书名: A Mathematical Introduction to Logic
分类: 计算机与互联网
38人买过
  • 　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。 　　HerbertB.Enderton，哈佛大学博士，师从著名哲学家HilaryPutnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材ElementsofSetTheory（影印版已经由人民邮电出版社出版）和LinearAlgebra。 第0章集合基础
    第1章命题逻辑
    第2章一阶逻辑
    第3章不可判定性
    第4章二阶逻辑
    附录
  • 内容简介:
    　　本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑，一阶逻辑，不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强，组织结构更灵活，授课教师可根据数学需要节选本书的内容，反映了近几年来理论计算机科学对逻辑学产生的影响。
  • 作者简介:
    　　HerbertB.Enderton，哈佛大学博士，师从著名哲学家HilaryPutnam。曾任教于加州大学伯克利分校。现为加州大学洛杉矶分校数学系兼职教授，该校“逻辑学论坛”主席，曾担任《符号逻辑学会评论》杂志的主编。除本书外，他还著有另外两本广受好评的教材ElementsofSetTheory（影印版已经由人民邮电出版社出版）和LinearAlgebra。
  • 目录:
    第0章集合基础
    第1章命题逻辑
    第2章一阶逻辑
    第3章不可判定性
    第4章二阶逻辑
    附录
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
相关图书 / 更多
数理逻辑：第2版
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑：第2版
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥21.36 起
数理逻辑：第2版
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑：第2版
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥19.28 起
数理逻辑：第2版
数理化就要这样学 全6册
金永玳
￥29.00 起
数理逻辑：第2版
数理逻辑引论——计算机科学与系统的天然基础
刘志明；裘宗燕
￥95.80 起
数理逻辑：第2版
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥71.55 起
数理逻辑：第2版
数理金融（仅馆配）
作者
￥22.01 起
数理逻辑：第2版
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑：第2版
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑：第2版
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥39.33 起
数理逻辑：第2版
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥26.78 起
您可能感兴趣 / 更多
数理逻辑：第2版
集合论基础
恩德滕
￥80.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全