结构推理

正版图书保证质量七天无理由退货让您购物无忧

42.2 6.2折 68 全新

库存2件

北京朝阳

认证卖家担保交易快速发货售后保障

作者冯棉著

出版社广西师范大学出版社

ISBN9787559828781

出版时间2020-07

版次1

装帧平装

开本23开

定价68元

货号R_9883180

上书时间2024-04-09

已实名已认证进店收藏店铺

商品描述: 　　结构推理是现代逻辑的重要推理方式之一，它通过对各种结构规则的研究，从整体上处理一大类逻辑，具有良好的表现力。与此同时，借助于结构规则和联结词规则，也揭示出各个现代逻辑分支的差异，成为诸分支比较研究的有力工具。
　　结构推理展现了日常推理中的多种推理方式，对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。
　　《结构推理（第二版）》研究命题逻辑的结构推理，涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与性，并考察了正结合演算结构推理系统BL-D的可判定性，是探究这一逻辑前沿领域的力作。

— 没有更多了 —