數(shù)理邏輯基礎與粒計算

定　價：￥36.00

作　者：	閆林
出版社：	科學出版社
叢編項：	計算機理論基礎與應用叢書
標　簽：	數(shù)學基礎

購買這本書可以去

ISBN：	9787030198280	出版時間：	2007-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	259	字數(shù)：

內容簡介

　　《數(shù)理邏輯基礎與粒計算》由兩部分內容組成。前四章作為第一部分，討論了數(shù)理邏輯的基礎知識，其中包括經(jīng)典命題演算、經(jīng)典謂詞演算和非經(jīng)典的模態(tài)邏輯，講解的特點是始終貫穿形式推理在自然推理系統(tǒng)與公理系統(tǒng)中相互等價這條主線。第二部分由后兩章構成，內容基于邏輯知識之上，是對第一部分內容的應用和擴展，由作者近年的科研成果作為支撐，其中包括采用邏輯方法對粒和粒計算的形式化、?？臻g中基于粒計算的粒語義推理、粒計算與邏輯推理相互融合的討論、粒計算的應用等?！稊?shù)理邏輯基礎與粒計算》面向從事計算機科學、自動控制及相關專業(yè)的科研人員和科技工作者，特別是從事人工智能、粒計算研究的讀者?！稊?shù)理邏輯基礎與粒計算》可作為研究生的教材或閱讀材料，也可供本科高年級學生閱讀。

作者簡介

暫缺《數(shù)理邏輯基礎與粒計算》作者簡介

圖書目錄

序
前言
第1章經(jīng)典命題演算
　1.1 命題
　1.2 形式語言及命題公式
　1.3 命題公式的語義
　1.4 命題公式的分類及聯(lián)結符號之間的關系
　1.5 命題演算的語義推理
　1.6 命題演算形式推理的公理系統(tǒng)
　1.7 命題演算形式推理的自然推理系統(tǒng)
　1.8 命題演算自然推理系統(tǒng)中形式推理的性質
　1.9 析取范式與合取范式
　1.10 命題演算的可靠性與完備性
第2章經(jīng)典謂詞演算
　2.1 謂詞公式
　2.2 命題的謂詞公式表示
　2.3 謂詞公式的語義
　2.4 謂詞演算的語義推理
　2.5 謂詞演算形式推理的公理系統(tǒng)
　2.6 謂詞演算形式推理的自然推理系統(tǒng)
　2.7 謂詞演算自然推理系統(tǒng)中形式推理的性質
　2.8 謂詞演算的可靠性和完備性
第3章命題模態(tài)邏輯
　3.1 命題模態(tài)邏輯的形式推理系統(tǒng)
　3.2 命題模態(tài)邏輯規(guī)則系統(tǒng)中形式推理的性質
　3.3 命題模態(tài)邏輯的語義
　3.4 命題模態(tài)邏輯的可靠件與完備性
第4章謂詞模態(tài)邏輯
　4.1 謂詞模態(tài)邏輯的形式推理系統(tǒng)
　4.2 謂詞模態(tài)邏輯規(guī)則系統(tǒng)中的形式推理
　4.3 謂詞模態(tài)邏輯的語義
第5章粗糙集理論基本知識
　5.1 等價關系、等價類和劃分
　5.2 等價關系下的粗糙集
　5.3 信息系統(tǒng)及其約簡
第6章基于邏輯方法的粒計算
　6.1 基于邏輯公式的粒計算形式化方法
　6.2 ?？臻g上公式的粗糙邏輯值
　6.3 ?？臻g上的粒語義推理
　6.4 粒空間上的粗糙語義推理
　6.5 模態(tài)邏輯公理的粗糙真語義分析
　6.6 信息系統(tǒng)上公式的粗糙真及應用
　6.7 一類特殊公式的語義研究及應用
　6.8 粗糙路徑及其應用
　6.9 基于粒計算的分明函數(shù)約簡法的理論分析與證明
　6.10 二維近似空間中基于粒計算的數(shù)據(jù)識別
參考文獻
索引