数理逻辑基础与粒计算

本书由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础知识，其中包括经典命题演算、经典谓词演算和非经典的模态逻辑，讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成，内容基于逻辑知识之上，是对第一部分内容的应用和扩展，由作者近年的科研成果作为支撑，其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。
　　本书面向从事计算机科学、自动控制及相关专业的科研人员和科技工作者，特别是从事人工智能、粒计算研究的读者。本书可作为研究生的教材或阅读材料，也可供本科高年级学生阅读。