- 商品参数
-
- 作者:
马明辉著
- 出版社:科学出版社
- 开本:5开
- ISBN:9785564417568
- 版权提供:科学出版社
店铺公告
为保障消费者合理购买需求及公平交易机会,避免因非生活消费目的的购买货囤积商品,抬价转售等违法行为发生,店铺有权对异常订单不发货且不进行赔付。异常订单:包括但不限于相同用户ID批量下单,同一用户(指不同用户ID,存在相同/临近/虚构收货地址,或相同联系号码,收件人,同账户付款人等情形的)批量下单(一次性大于5本),以及其他非消费目的的交易订单。
温馨提示:请务必当着快递员面开箱验货,如发现破损,请立即拍照拒收,如验货有问题请及时联系在线客服处理,(如开箱验货时发现破损,所产生运费由我司承担,一经签收即为货物完好,如果您未开箱验货,一切损失就需要由买家承担,所以请买家一定要仔细验货),
关于退货运费:对于下单后且物流已发货货品在途的状态下,原则上均不接受退货申请,如顾客原因退货需要承担来回运费,如因产品质量问题(非破损问题)可在签收后,联系在线客服。
基本信息
书名: | 分次模态语言的模型论 |
作者: | 马明辉著 |
出版社: | 科学出版社 |
出版日期: | 2012-07-01 |
版次: | 1 |
ISBN: | 9787030343925 |
市场价: | 45.0 |
目录
总序
前言
导论
第1章 计数模态语言
第2章 分次模态语言的关系语义学
第3章 分次模态余代数
第4章 公理系统和性
第5章 余代数对应理论
第6章 有限模型性质
第7章 公式的分类
第8章 分次模态逻辑的扩张
参考文献
附录A 模型论与泛代数
附录B 基本模态逻辑
附录C 余代数理论
后记
内容介绍
《分次模态语言的模型论》是国家社科基地西南大学逻辑与智能研究中心重大课题攻关项目“现代归纳逻辑的创新功能与应用以及认知基础”(05JZD0008)的研究成果之一。本书把经典逻辑的这些结果推广到分次模态逻辑,所展现的主要技术性结论都是新成果。该书可能需要的对象:高等院校哲学系或数学系逻辑教学和研究单位,全国社会科学和自然科学研究机构中逻辑分支机构,全国高等院校和研究机构的图书馆。读者面向研究和学习模态逻辑的专家学者和研究生。
在线试读
媒体评论
div>
1