| 词条 | 数理逻辑基础与粒计算 |
| 释义 | 基本信息作 者： 闫林 著 出 版 社： 科学出版社 ISBN： 9787030198280 出版时间： 2007-08-01 版 次： 1 页 数： 259 装 帧： 平装 开 本： 16开 所属分类： 图书>计算机与互联网>人工智能 内容简介《数理逻辑基础与粒计算》由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础知识，其中包括经典命题演算、经典谓词演算和非经典的模态逻辑，讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成，内容基于逻辑知识之上，是对第一部分内容的应用和扩展，由作者近年的科研成果作为支撑，其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。 《数理逻辑基础与粒计算》面向从事计算机科学、自动控制及相关专业的科研人员和科技工作者，特别是从事人工智能、粒计算研究的读者。《数理逻辑基础与粒计算》可作为研究生的教材或阅读材料，也可供本科高年级学生阅读。 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。