欢迎光临中图网 请 | 注册
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
高级搜索
我身体里的人造星星乡间的日常情感勒索神秘的黑猫
书是人类的猫薄荷|每满99减50
中图网
>
关于“李娜”检索到   共2种现货商品
>
哲学/宗教
50-100元 `
清除筛选
出版社：
所有出版社 B K
确定 取消
更多
展开
折扣：
---
确定
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
  • 公理化真理论研究

    公理化真理论研究

    李娜 等  /  2023-05-01  /  北京师范大学出版社
    ¥69.6(7.1折)定价:¥98.0

    本书的目的是为了介绍、完善和丰富公理化真理论的成果。全书内容从三个方面进行：第一个方面：以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索，对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面：减弱经典公理化真理论的基础理论，将一阶逻辑减弱为直觉主义逻辑，系统地研究基于直觉主义逻辑的公理化真理论。第三个方面：加强经典公理化真理论的基础理论，将皮亚诺算术加强为集合论，系统地研究基于集合论的公理

    加入购物车 收藏
  • 机器证明的逻辑推定

    机器证明的逻辑推定

    李娜  /  2023-06-01  /  科学出版社
    ¥99.8(7.8折)定价:¥128.0

    本书从人工证明和机器证明两个方面展现经典逻辑系统定理证明的艺术。其中，人工证明是作者在2006年出版的《数理逻辑的思想与方法》（南开大学出版社）一书中构造的命题逻辑演算系统FPC和狭谓词逻辑演算系统FQC的基础上完成的；将这些系统扩充后完成了逻辑定理的机器证明。逻辑定理的机器证明分别用自动证明器TreeProofGenerator（用在线软件）和人机交互式证明器Fitch(用J.Barwise等人的LanguageProofandLo

    加入购物车 收藏

五星书

编辑推荐

新手上路
新用户指引
注册用户 更改注册信息
购物常见问题
关于特价书的常见问题
购买问题
订单跟踪
付款方式
账户余额  申请提现
配送方式及费用、范围
集团购买
售后服务
退换货流程
投诉与建议
特色服务
会员等级与书币
中图网书馨卡
邀请好友购买返10元礼包
其他信息
本站简介
联系我们
招聘英才
网站联盟
友情链接
微信公众号
中图网微信
中图网微博
中图网微博
手机中图网
手机中图网
中图网
诚信认证 电子商务诚信单位认证

京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394

营业执照出版物经营许可证 京出发京批字第直110071

返回顶部