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

定　價(jià)：￥36.00

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

購(gòu)買這本書(shū)可以去

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

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《數(shù)理邏輯基礎(chǔ)與粒計(jì)算》作者簡(jiǎn)介

圖書(shū)目錄

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