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

数理逻辑

数理逻辑
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者:
出版社: 清华大学出版社
2003-08
ISBN: 9787302068105
定价: 26.00
装帧: 其他
开本: 其他
纸张: 其他
分类: 计算机与互联网
  • “数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年出版，然后，于1988年出了修订版。自从出版以来，几乎第年都要重印，可见其受欢迎的程度。本书是适合作本科生教学的，难得的好教材，既适用于计算机专业，也适用于数学专业，对哲学专业的学生同样也是适用的。
  • 内容简介:
    “数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年出版，然后，于1988年出了修订版。自从出版以来，几乎第年都要重印，可见其受欢迎的程度。本书是适合作本科生教学的，难得的好教材，既适用于计算机专业，也适用于数学专业，对哲学专业的学生同样也是适用的。
查看详情
相关分类
计算机理论 编程与开发 操作系统 大数据与云计算 图形图像/多媒体 网站设计与网页开发 网络与通讯 硬件、嵌入式开发 办公软件 信息安全 辅助设计与工程计算 软件工程/开发项目管理
您可能感兴趣 / 更多
数理逻辑
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥18.60 起
数理逻辑
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著，林胜强、李晟 修订
￥47.05 起
数理逻辑
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥18.96 起
数理逻辑
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥80.00 起
数理逻辑
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
￥18.95 起
数理逻辑
数理金融（仅馆配）
作者
￥18.90 起
数理逻辑
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥34.26 起
数理逻辑
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥27.44 起
系列丛书 / 更多
数理逻辑
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥18.60 起
数理逻辑
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著，林胜强、李晟 修订
￥47.05 起
数理逻辑
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥18.96 起
数理逻辑
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥80.00 起
数理逻辑
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
￥18.95 起
数理逻辑
数理金融（仅馆配）
作者
￥18.90 起
数理逻辑
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥34.26 起
数理逻辑
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥27.44 起
相关图书 / 更多
数理逻辑
数理化狂想曲（全3册）
张雯阳光博客 出品
￥30.00 起
数理逻辑
数理统计理论、应用与软件实现（第2版）
宋爱斌 编
￥18.60 起
数理逻辑
数理统计及其应用（原书第6版）
[美]理查德·J.拉森（Richard J. Larsen）；[美]莫里斯·L.马克斯（Morris L. Marx）
￥78.76 起
数理逻辑
数理逻辑的思想和方法(日月光华·哲学书系)
昂扬 编著，林胜强、李晟 修订
￥47.05 起
数理逻辑
数理经济学（第二版）21世纪经济与管理规划教材·经济学系列 李晓春 新版
李晓春
￥18.96 起
数理逻辑
数理统计学导论（原书第8版）
(美)罗伯特·V.霍格
￥80.00 起
数理逻辑
数理化里的十万个小问题 小学生三四五六年级初中课外阅读书籍物理化学启蒙书漫画书
于启斋、鲍艳双、王珂
￥18.95 起
数理逻辑
数理金融（仅馆配）
作者
￥18.90 起
数理逻辑
数理统计
谭立云 刘海生
￥13.00 起
数理逻辑
数理统计教程（第二版）
王兆军 邹长亮 周永道
￥20.00 起
数理逻辑
数理逻辑引论 第二版
朱梧槚 肖奚安 朱朝晖 周勇
￥34.26 起
数理逻辑
数理逻辑和算法理论——计算机科学与人工智能的数学基础
袁相碗
￥27.44 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全