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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 数理逻辑基础(上册) 胡世华,陆钟万 著 专业科技 文轩网
  • 新华书店正版
    • 作者: 胡世华,陆钟万著
    • 出版社: 科学出版社
    • 出版时间:2021-01-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

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

    • 服务

    • 物流

    搜索店内商品

    商品分类

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

     

    商品参数
    • 作者: 胡世华,陆钟万著
    • 出版社:科学出版社
    • 出版时间:2021-01-01 00:00:00
    • 版次:29
    • 印次:1
    • 印刷时间:2016-06-01
    • 字数:192000
    • 页数:248
    • 开本:16开
    • 装帧:平装
    • ISBN:9787030464217
    • 国别/地区:中国
    • 版权提供:科学出版社

    数理逻辑基础(上册)

    作  者:胡世华,陆钟万 著
    定  价:98
    出 版 社:科学出版社
    出版日期:2015年11月01日
    页  数:248
    装  帧:平装
    ISBN:9787030464217
    主编推荐

    内容简介

    本书介绍数理逻辑的基础知识,包括逻辑演算的基本内容。这些内容构成数理逻辑各个分支(模型论、证明论和构造性数学、递归论、集合论)的共同的基础。
    本书共六部分,分上、下两册。上册包括绪论、第一章和第二章。绪论对数理逻辑的性质,逻辑演算的大概内容。以及阅读以后各,所需要的预备知识作了简要的说明。第一章构造命题逻辑和一阶逻辑的形式系统,介绍演绎逻辑的基本规则。第二章研究逻辑演算的重要系统特征。
    本书可以用作数学专业和其他专业数理逻辑课程的教材或教学参考书,或供有关工作人员参考。当用作其他专业的教材时,内容可删减。使用本书时一般要求读者具有相当于大学高年级程度的数学训练。

    作者简介

    精彩内容

    目录

    使用说明
    绪论
    §00 数理逻辑
    §01 逻辑演算(一)
    §02 逻辑演算(二)
    §03 集的基本概念
    §04 数学归纳法
    第一章 演绎逻辑的基本规则
    §10 命题逻辑P的形成规则
    §11 P的形式推理规则
    §12 命题逻辑P*
    §13 P和P*的关系
    §14 命题常元、谢孚竖
    §15 谓词逻辑F和F*的形成规则
    §16 F和F*的形式推理规则
    §17 函数词、等词
    §18 摹状词
    §19 偏函数
    第二章逻辑演算的系统特征
    §20 等值公式的可替换性
    §21 逻辑词的可定义性
    §22 命题连接词的接近性和独立性
    §23 代人定理
    §24 合取范式和析取范式
    §25 前束范式和斯柯伦范式
    §26 根岑系统和对偶性
    §27 无嵌套范式
    §28 逻辑演算的归约
    符号汇编(上册)

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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