《数理逻辑基础与粒计算》由两部分内容组成。前四章作为第一部分,讨论了数理逻辑的基础知识,其中包括经典命题演算、经典谓词演算和非经典的模态逻辑,讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成,内容基于逻辑知识之上,是对第一部分内容的应用和扩展,由作者近年的科研成果作为支撑,其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。
评分
评分
评分
评分
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有