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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 中国表示法及其逻辑研究 杜国平 著 社科 文轩网
  • 新华书店正版
    • 作者: 杜国平著
    • 出版社: 中国社会科学出版社
    • 出版时间:2023-05-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

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

    • 服务

    • 物流

    搜索店内商品

    商品分类

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

     

    商品参数
    • 作者: 杜国平著
    • 出版社:中国社会科学出版社
    • 出版时间:2023-05-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2023-05-01
    • 字数:239000
    • 页数:228
    • 开本:16开
    • 装帧:平装
    • ISBN:9787522721002
    • 国别/地区:中国
    • 版权提供:中国社会科学出版社

    中国表示法及其逻辑研究

    作  者:杜国平 著
    定  价:88
    出 版 社:中国社会科学出版社
    出版日期:2023年05月01日
    页  数:228
    装  帧:平装
    ISBN:9787522721002
    主编推荐

    内容简介

    本书在H.M.Sheffer和张清宇先生等人工作的基础上,提出了一种创新型的逻辑符号表示法——中国表示法。在其中仅仅使用一对括号,就可以在一个公式中同时表示出所有的命题联结词、量词、模态词和时态词等逻辑常项,由此可以极大地简化构建逻辑系统所需的初始联结词。本书阐述了中国表示法区别于其他表示法的整体性特征,证明了中国表示法的结构专享性及其强大的表达功能,基于中国表示法探究了若干逻辑基础问题,获得了若干创新性成果。

    作者简介

    精彩内容

    目录
    导言
    第一章 中国表示法
    第一节 逻辑符号表示法概述
    第二节 不用联结词的逻辑系统
    第三节 中国表示法
    第二章 基于中国表示法的二值逻辑系统
    第一节 形式语言
    第二节 自然推演系统
    第三节 排斥系统
    第四节 语义及元理论
    第五节 一阶形式语言
    第三章 基于中国表示法的三值命题逻辑
    第一节 三值命题逻辑形式语言
    第二节 三值命题逻辑自然推演系统
    第三节 三值命题逻辑语义及元理论
    第四章 三值逻辑系统3PC与LPC关系研究
    第一节 三值逻辑系统LPC
    第二节 基于中国表示法的LPC
    第三节 作为3PC子系统的LPC
    第五章 三值逻辑与二值逻辑关系研究
    第一节 逻辑系统之间的关系比较
    第二节 语形证明
    第三节 语义分析
    第六章 基于中国表示法的三值模态逻辑
    第一节 三值模态逻辑形式语言
    ……

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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