欢迎光临中图网 请 | 注册
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
高级搜索
我身体里的人造星星乡间的日常情感勒索神秘的黑猫
书是人类的猫薄荷|每满99减50
中图网
>
关于“文学锋编著”检索到   共1种现货商品
分类：
展开
出版社：
所有出版社 K
确定 取消
更多
展开
售价：
￥
---
￥
确定
折扣：
---
确定
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
  • 模态逻辑教程

    模态逻辑教程

    文学锋编著  /  2021-03-01  /  科学出版社
    ¥99.8(7.8折)定价:¥128.0

    本书以模态逻辑的基本概念、模型论、模态语言的表达力、完全性定理的证明为框架, 详细介绍了模态逻辑的基本概念和基本技术。本书分为四个部分, 第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义, 以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。相比目前其他的模态逻辑教材, 增加了直观说明的内容, 减少了

    加入购物车 收藏

五星书

编辑推荐

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

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

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

返回顶部