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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 数理逻辑入门/万千教育
  • 新华书店正版
    • 作者: (美)雷蒙德·M.斯穆里安(Raymond M. Smullyan)著 | | 刘新文//张瑜//荣华夏//闫佳亮//张立英译
    • 出版社: 中国轻工业出版社
    • 出版时间:2018-08-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

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

    • 服务

    • 物流

    搜索店内商品

    商品分类

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

     

    商品参数
    • 作者: (美)雷蒙德·M.斯穆里安(Raymond M. Smullyan)著| 刘新文//张瑜//荣华夏//闫佳亮//张立英译
    • 出版社:中国轻工业出版社
    • 出版时间:2018-08-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2018-08-01
    • 字数:0
    • 页数:384
    • 开本:其他
    • 装帧:平装
    • ISBN:9787518421831
    • 国别/地区:中国
    • 版权提供:中国轻工业出版社

    数理逻辑入门/万千教育

    作  者:(美)雷蒙德·M.斯穆里安(Raymond M. Smullyan) 著 刘新文//张瑜//荣华夏//闫佳亮//张立英 译
    定  价:68
    出 版 社:中国轻工业出版社
    出版日期:2018年08月01日
    页  数:384
    装  帧:平装
    ISBN:9787518421831
    主编推荐

    数理逻辑入门教材:作者是世界领衔的哥德尔不接近性定理研究专家,师承有名逻辑学家、数学家、理论计算机科学奠基人阿朗佐?丘奇(Alonzo Church,1903—1995)。 数理逻辑普及之选:作者也是一位趣味谜题专家、魔术师、钢琴演奏家,著有多部谜题书,擅长以讲故事的方式介绍深奥的数理逻辑。 作者学生作序推荐:作者学生、逻辑学家、计算机科学家、2012 年“国际自动推理厄尔布朗杰出成就奖”获得者梅尔文?菲廷(Melvin Fitting,1942— )特别为中文版作序推荐。

    内容简介

        作为一位终生思考如何以优选的方式表达数理逻辑问题的学者,作者在本书中由浅入深地介绍了命题逻辑、一阶逻辑、初等算术以及皮亚诺算术的基础知识;特别是以简单易懂的形式阐释了哥德尔不接近性定理,说明了由其本人发展的表列证明方法,并穿插大量习题,于每章末给出所有习题的答案,于结尾处附上术语对照表,使得本书非常适合作为数理逻辑入门教材。     除了学者的身份,作者还是一位趣味谜题专家,致力于面向普通读者写作,将深奥的思想以故事和谜题的形式讲述,这使得本书在介绍任何知识时都不设定专业基础,采取层层递进的方式,同时还有趣味十足的例子,适合作为数理逻辑普及读物。     本书译者还特别邀请作者的学生、美国逻辑学家与计算机科学家梅尔文·菲廷(Melvin  Finull

    作者简介

    刘新文,中国社会科学院哲学博士,中国社会科学院哲学所研究员、逻辑室主任,中国逻辑学会现代逻辑专业委员会主任,西南大学逻辑与智能研究中心兼职教授。主要研究兴趣为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。已出版专著《图式逻辑》《谢弗函数研究》,合译译著《模态对应理论》《逻辑、语言和认知》等。

    精彩内容

    目录
    第一部分  一般背景 第1章  起点      集合论      集合的布尔运算      文恩图      布尔方程 第2章  无穷集      无穷集的大小      康托尔的伟大发现      连续统问题      伯恩斯坦-施罗德定理 第3章  一些问题出现了!      悖论      超游戏      两种集合论系统 第4章 更多的背景      关系与函数      数学归纳      有穷后继原则      球类运动      柯尼希引理      有穷生成树      广义归纳      良基关系      紧致性 第二部分  命题逻辑 第5章  命题逻辑基础      重言式      包含t与f的公式      说谎话者、说真话者与命题逻辑      逻辑联结词的相互依赖性      合舍      析舍      进一步的结果      16个逻辑联结词 第6章  命题表列      加标记公式      逻辑后承      使用不加标记公式的表列      命题逻辑表列中的证明      一个统一记法      度      正确性与接近性      紧致性      对偶表列 第7章  命题逻辑的公理系统      统一记法的系统      一个统一记法的系统U1      另一个统一记法的系统U2 第三部分  一阶逻辑 第8章  一阶逻辑基础      引入?与?      ?与?的相互依赖性      关系符号      一阶逻辑的公式      变元的自由出现与约束出现      解释与赋值      重言式      一阶逻辑的公理系统 第9章  一阶逻辑的主要论题      一阶表列      量词的表列规则      统一记法      表列的接近性      辛迪卡集      有穷域中的可满足性      楼文汉姆-斯科伦定理与紧致性定理      布尔赋值与一阶赋值      正则定理      公理系统S1的接近性 第四部分  不接近性现象 第10章  不接近性的一般概述     哥德尔机器     一些基本的一般结果     句法不接近性定理     可分离性     欧米伽一致性     一阶系统     哥德尔证明的本质     欧米伽不接近性     罗瑟构造 第11章  初等算术     二元哥德尔编码     塔尔斯基定理 第12章  形式系统     初等形式系统     数字集合与关系     初等形式系统的算术化     衍生结果 第13章  皮亚诺算术     皮亚诺算术的公理模式与推理规则 第14章  进一步的主题     对角化与不动点     一致性的不可证性 参考文献 术语对照表

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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