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

定　價：￥36.00

作　者：	閆林
出版社：	科學(xué)出版社
叢編項：	計算機(jī)理論基礎(chǔ)與應(yīng)用叢書
標(biāo)　簽：	數(shù)學(xué)基礎(chǔ)

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

暫缺《數(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ù)識別
參考文獻(xiàn)
索引