品牌：闫林
基本信息
·出版社：科学出版社
·页码：259 页码
·出版日：2007年
·ISBN：9787030198280
·条码：9787030198280
·版次：2007年8月第1版
·装帧：平装
·开本：16开 16开
内容简介
本书由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础知识，其中包括经典命题演算、经典谓词演算和非经典的模态逻辑，讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成，内容基于逻辑知识之上，是对第一部分内容的应用和扩展，由作者近年的科研成果作为支撑，其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。
本书面向从事计算机科学、自动控制及相关专业的科研人员和科技工作者，特别是从事人工智能、粒计算研究的读者。本书可作为研究生的教材或阅读材料，也可供本科高年级学生阅读。
编辑推荐
本书由两部分内容组成。前四章作为第一部分，讨论了数理逻辑的基础知识，其中包括经典命题演算、经典谓词演算和非经典的模态逻辑，讲解的特点是始终贯穿形式推理在自然推理系统与公理系统中相互等价这条主线。第二部分由后两章构成，内容基于逻辑知识之上，是对第一部分内容的应用和扩展，由作者近年的科研成果作为支撑，其中包括采用逻辑方法对粒和粒计算的形式化、粒空间中基于粒计算的粒语义推理、粒计算与逻辑推理相互融合的讨论、粒计算的应用等。
本书面向从事计算机科学、自动控制及相关专业的科研人员和科技工作者，特别是从事人工智能、粒计算研究的读者。本书可作为研究生的教材或阅读材料，也可供本科高年级学生阅读。
目录
序
前言
第1章 经典命题演算
1.1 命题
1.2 形式语言及命题公式
1.3 命题公式的语义
……[看更多目录]
点此购买报价￥26.80
