返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • [M]数理逻辑-9787302331025
  • 本书获得了众多专家的推荐或权威评价,许多业内人士和读者纷纷表示它是一部不可错过的佳作。
    • 作者: 暂无著
    • 出版社: 清华大学出版社
    • 出版时间:2013-09-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    儒源图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 暂无著
    • 出版社:清华大学出版社
    • 出版时间:2013-09-01 00:00:00
    • 版次:1
    • 印次:6
    • 印刷时间:2023-08-01
    • 字数:226000
    • 页数:148
    • 开本:16开
    • 装帧:平装
    • ISBN:9787302331025
    • 国别/地区:中国
    • 版权提供:清华大学出版社
    《数理逻辑》共分7章。第0章绪论,介绍元数学的形成与发展,以及元数学与数理逻辑之间的关系,同时简要说明课程学习的目的和意义;第1章介绍集合论的基础知识,包括有穷集与无穷集的概念、可数集与不可数集的性质、集合的基数、无穷基数的比较等方面的内容;第2章介绍可计算性理论的基本知识,包括计算概念的形成与发展、算法的基本描述、计算概念的数学定义、可计算性函数的基本性质等;第3章~第5章是关于经典数理逻辑的内容,包括命题演算和谓词演算两个部分,重点介绍逻辑演算以及相关形式系统的基本性质,内容涉及形式证明、形式推理、形式系统的语法、语义等概念以及逻辑系统的可靠性与充分性等方面的知识;第6章以一阶算术系统为例,介绍基于逻辑系统扩展的数学应用系统的描述方法,最终给出“哥德尔不完备性定理”的证明。在《数理逻辑》的附录中给出了全书的习题解答。
    《数理逻辑》面向计算机科学与技术、软件工程以及相关专业的高等院校学生,尤其是高校相关专业的高年级本科生及研究生,可以作为教材,也可作为希望了解数理逻辑基础知识的高校学生和科研技术工作者的阅读材料或参考资料。

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购