文轩网图书旗舰店
  • 扫码下单

  • 数理逻辑导引 冯琦 编著 著 文教 文轩网
  • 新华书店正版
    • 作者: 冯琦 编著著
    • 出版社: 科学出版社
    • 出版时间:2017-09-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    店铺装修中

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    文轩网图书旗舰店

  •      https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 冯琦 编著著
    • 出版社:科学出版社
    • 出版时间:2017-09-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2017-09-01
    • 字数:656000.0
    • 页数:510
    • 开本:16开
    • 装帧:平装
    • ISBN:9787030545794
    • 国别/地区:中国
    • 版权提供:科学出版社

    数理逻辑导引

    作  者:冯琦 编著 著
    定  价:198
    出 版 社:科学出版社
    出版日期:2017年09月01日
    页  数:510
    装  帧:平装
    ISBN:9787030545794
    主编推荐

    内容简介

    《数理逻辑导引》是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。《数理逻辑导引》主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的接近性和可定义性分析;哥德尔不接近性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不接近性定理。

    作者简介

    《现代数学基础丛书》序
    序言
    第0章引言1
    第1章命题逻辑10
    1.1基本问题10
    1.2命题表达式12
    1.3逻辑赋值与可满足性14
    1.4布尔函数可表示性16
    1.5可证明性与一致性19
    1.6形式证明的几组例子22
    1.7完备性28
    1.8第一完备性证明30
    1.9命题逻辑紧致性34
    1.10命题范式35
    1.11命题逻辑与布尔代数38
    1.12练习40
    第2章一阶语言和一阶结构43
    2.1一组经典例子43
    2.2一阶语言44
    2.2.1符号44
    2.2.2项45
    2.2.3表达式47
    2.2.4自由变元和受囿变元50

    精彩内容

    目录

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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