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

序
前言
第1章 經(jīng)典命題演算
　1.1 命題
　1.2 形式語言及命題公式
　1.3 命題公式的語義
　1.4 命題公式的分類及聯(lián)結(jié)符號之間的關(guān)系
　1.5 命題演算的語義推理
　1.6 命題演算形式推理的公理系統(tǒng)
　1.7 命題演算形式推理的自然推理系統(tǒng)
　1.8 命題演算自然推理系統(tǒng)中形式推理的性質(zhì)
　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)中形式推理的性質(zhì)
　2.8 謂詞演算的可靠性和完備性
第3章 命題模態(tài)邏輯
　3.1 命題模態(tài)邏輯的形式推理系統(tǒng)
　3.2 命題模態(tài)邏輯規(guī)則系統(tǒng)中形式推理的性質(zhì)
　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 等價關(guān)系、等價類和劃分
　5.2 等價關(guān)系下的粗糙集
　5.3 信息系統(tǒng)及其約簡
第6章 基于邏輯方法的粒計算
　6.1 基于邏輯公式的粒計算形式化方法
　6.2 ?？臻g上公式的粗糙邏輯值
　6.3 ?？臻g上的粒語義推理
　6.4 ?？臻g上的粗糙語義推理
　6.5 模態(tài)邏輯公理的粗糙真語義分析
　6.6 信息系統(tǒng)上公式的粗糙真及應(yīng)用
　6.7 一類特殊公式的語義研究及應(yīng)用
　6.8 粗糙路徑及其應(yīng)用
　6.9 基于粒計算的分明函數(shù)約簡法的理論分析與證明
　6.10 二維近似空間中基于粒計算的數(shù)據(jù)識別
參考文獻
索引