结构推理 冯棉 广西师范大学出版社
图书信息
书名: 结构推理 冯棉 广西师范大学出版社作者:冯棉
包装:平装
出版社:广西师范大学出版社
出版时间:2020-07-01
图书简介
《结构推理(第二版)》是一本涵盖多种推理系统的逻辑学研究,首次介绍了结构推理这一现代逻辑中的重要推理方式。本书运用语义理论证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性。通过对不同逻辑分支的比较研究,展现了日常推理中的多种推理方式,为逻辑推理机制的深入研究和人工智能的开发提供了有力的理论支持。读者可以从中深入了解逻辑学研究的前沿领域,并从中获得实践上的指导。
推荐理由
如果你对逻辑学研究感兴趣,那么《结构推理(第二版)》是一本非常值得一读的书籍。本书通过对多种推理系统的研究,展现了日常推理中的多种推理方式,为逻辑推理机制的深入研究和人工智能的开发提供了有力的理论支持。而且,本书中的理论知识并不仅仅停留在学术层面,对于实际应用也有着重要的指导意义。