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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 全新正版数理逻辑入门9787518421831轻工
    • 作者: (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...著 | (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...编 | (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...译 | (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...绘
    • 出版社: 轻工
    • 出版时间:2019-04-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    如梦图书专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品参数
    • 作者: (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...著| (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...编| (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...译| (美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...绘
    • 出版社:轻工
    • 出版时间:2019-04-01
    • 版次:1
    • 印刷时间:2018-08-01
    • 字数:0
    • 页数:370
    • 开本:16开
    • ISBN:9787518421831
    • 版权提供:轻工
    • 作者:(美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...
    • 著:(美)雷蒙德·M.斯穆里安|译者:刘新文//张瑜//荣...
    • 装帧:平装
    • 印次:暂无
    • 定价:68.00
    • ISBN:9787518421831
    • 出版社:轻工
    • 开本:16开
    • 印刷时间:2018-08-01
    • 语种:中文
    • 出版时间:2019-04-01
    • 页数:370
    • 外部编号:30613852
    • 版次:1
    • 成品尺寸:暂无

    部 一般背景
    章 起点
    集合论
    集合的布尔运算
    文恩图
    布尔方程
    第2章 无穷集
    无穷集的小 康托尔的伟大发现
    连续统问题
    伯恩斯坦一施罗德定理
    第3章 一些问题出现了!
    悖论
    超游戏
    两种集合论系统
    第4章 更多的背景
    关系与函数
    数学归纳
    有穷后继原则
    球类运动
    柯尼希引理
    有穷生成树
    广义归纳
    良基关系
    紧致
    第二部分 命题逻辑
    第5章 命题逻辑基础
    重言式
    包含t与f的公式
    说谎话者、说真话者与命题逻辑
    逻辑联结词的相互依赖
    合舍
    析舍
    进一步的结果
    16个逻辑联结词
    第6章 命题表列
    加标记公式
    逻辑后承
    使用不加标记公式的表列
    命题逻辑表列中的明
    一个统一记法

    正确与完全
    紧致
    对偶表列
    第7章 命题逻辑的公理系统
    统一记法的系统
    一个统一记法的系统U1
    另一个统一记法的系统U2
    第三部分 一阶逻辑
    第8章 一阶逻辑基础
    引入□(特殊符号)与□(特殊符号)
    □(特殊符号)与□(特殊符号)的相互依赖
    关系符号
    一阶逻辑的公式
    变元的自由出现与约束出现
    解释与赋值
    重言式
    一阶逻辑的公理系统
    第9章 一阶逻辑的主要论题
    一阶表列
    量词的表列规则
    统一记法
    表列的完全
    辛迪卡集
    有穷域中的可满足
    楼文汉姆一斯科伦定理与紧致定理
    布尔赋值与一阶赋值
    正则定理
    公理系统S1的完全
    第四部分 不完全现象
    0章 不完全的一般概述
    哥德尔机器
    一些基本的一般结果
    句法不完全定理
    可分离
    欧米伽一致
    一阶系统
    哥德尔明的本质
    欧米伽不完全
    罗瑟构造
    1章 初等算术
    二元哥德尔编码
    塔尔斯基定理
    2章 形式系统
    初等形式系统
    数字集合与关系
    初等形式系统的算术化
    衍生结果
    3章 皮亚诺算术
    皮亚诺算术的公理模式与推理规则
    4章 进一步的主题
    对角化与不动点
    一致的不可
    参考文献
    术语对照表

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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