布爾代數(shù)及其泛化結(jié)構(gòu)

緒論
第一篇 布爾代數(shù)的一般理論體系
第1章 布爾代數(shù)的構(gòu)建
1.1 格論觀點(diǎn)下的布爾代數(shù)
1.2 模型論觀點(diǎn)下的布爾代數(shù)
1.3 布爾代數(shù)的公理系統(tǒng)
第2章 布爾代數(shù)的基本內(nèi)容和方法
2.1 布爾運(yùn)算的性質(zhì)和初等定理
2.2 幾種特殊的布爾運(yùn)算
2.3 布爾函數(shù)
2.4 幾種特殊的布爾函數(shù)
2.5 簡單布爾函數(shù)的幾何表示
2.6 布爾函數(shù)的標(biāo)準(zhǔn)形式
2.7 單調(diào)布爾函數(shù)的范式
2.8 簡單布爾函數(shù)的化簡
2.9 一般布爾函數(shù)的結(jié)構(gòu)與計(jì)算
2.10 關(guān)于群的布爾函數(shù)的討論
2.11 布爾方程
2.12 布爾矩陣
2.13 布爾差分
第3章 布爾代數(shù)的子代數(shù)
3.1 布爾代數(shù)的子系統(tǒng)
3.2 理想和極大理想
第4章 布爾同態(tài)與布爾同構(gòu)
4.1 布爾同態(tài)和布爾同構(gòu)
4.2 布爾代數(shù)的表示定理
第5章 布爾代數(shù)的積代數(shù)和商代數(shù)
5.1 布爾代數(shù)的積代數(shù)
5.2 布爾代數(shù)的商代數(shù)
第6章 幾種特殊類型的布爾代數(shù)
6.1 原子布爾代數(shù)
6.2 簡函布爾代數(shù)
6.3 自由布爾代數(shù)
6.4 元偶布爾代數(shù)
6.5 雙運(yùn)算布爾代數(shù)
6.6 元集布爾代數(shù)
6.7 矢量布爾代數(shù)
6.8 紐曼代數(shù)
第二篇 布爾代數(shù)的具體概型與布爾值模型
第7章 集合代數(shù)
7.1 集合及其運(yùn)算
7.2 集合代數(shù)
7.3 初等定理
7.4 公理系統(tǒng)
7.5 集合代數(shù)的簡單應(yīng)用
第8章 命題代數(shù)
8.1 命題及其演算
8.2 邏輯推理和論證
8.3 命題代數(shù)
8.4 公理系統(tǒng)
8.5 規(guī)定性原理
第9章 開關(guān)代數(shù)
9.1 繼電器開關(guān)及其運(yùn)算
9.2 門電路及其運(yùn)算
9.3 開關(guān)代數(shù)
9.4 開關(guān)函數(shù)的標(biāo)準(zhǔn)形式
9.5 開關(guān)函數(shù)的化簡——線路簡化的現(xiàn)行方法
9.6 開關(guān)矩陣的使用
第10章 布爾值模型及其基本特性
10.1 布爾值模型
10.2 基本特性
第11章 知識發(fā)現(xiàn)中的布爾代數(shù)概型
11.1 KDD中的三類布爾代數(shù)模型及其關(guān)系
11.2 KDD中兩個(gè)范疇及其關(guān)系
第三篇布 爾代數(shù)的應(yīng)用
第12章 簡單開關(guān)電路的邏輯設(shè)計(jì)
12.1 簡單開關(guān)電路的化簡
12.2 簡單開關(guān)電路的分析
12.3 簡單開關(guān)電路的綜合
12.4 多端網(wǎng)絡(luò)及其開關(guān)矩陣
第13章 繼電器開關(guān)電路的邏輯設(shè)計(jì)
13.1 單步電路的綜合
13.2 多步電路的綜合
13.3 繼電器開關(guān)電路的分析
第14章 組合電路的邏輯設(shè)計(jì)
14.1 代數(shù)設(shè)計(jì)法
14.2 幾何設(shè)計(jì)法
14.3 分組設(shè)計(jì)法
14.4 組合電路中的競爭
14.5 組合電路設(shè)計(jì)中的幾個(gè)問題
14.6 組合電路的分析方法
第15章 時(shí)序電路的邏輯設(shè)計(jì)
15.1 預(yù)備知識
15.2 同步時(shí)序電路的一般設(shè)計(jì)方法
15.3 異步時(shí)序電路的一般設(shè)計(jì)方法
第16章 自動裝置的邏輯設(shè)計(jì)實(shí)例
16.1 典型實(shí)例解析
16.2 實(shí)例七則
第17章 布爾方程與布爾差分的應(yīng)用
17.1 布爾方程的應(yīng)用
17.2 布爾差分在自動診斷技術(shù)中的應(yīng)用
第18章 布爾代數(shù)在事故樹分析中的應(yīng)用
18.1 事故樹簡介
18.2 用于事故樹分析的布爾代數(shù)
第19章 有限自動機(jī)概述
19.1 有限自動機(jī)的基本概念
19.2 有限自動機(jī)與時(shí)序電路
第四篇 布爾代數(shù)的代數(shù)泛化結(jié)構(gòu)
第20章 模糊布爾代數(shù)
20.1 概述
20.2 模糊布爾代數(shù)
第21章 一類雙層次邏輯結(jié)構(gòu)的泛布爾代數(shù)概型
21.1 客觀原型
21.2 R-S演算及其公理
21.3 R-S演算系統(tǒng)中泛布爾函數(shù)的標(biāo)準(zhǔn)型及其化簡
21.4 泛布爾代數(shù)的公理系統(tǒng)
第22章 模糊B-D型代數(shù)結(jié)構(gòu)
22.1 模糊B-D型演算系統(tǒng)
22.2 模糊B-D型代數(shù)結(jié)構(gòu)
第五篇 布爾代數(shù)的邏輯泛化結(jié)構(gòu)
第23章 泛一階邏輯的結(jié)構(gòu)概型
23.1 形式系統(tǒng)TB-D
23.2 TB-D的模型構(gòu)造
第24章 多層次結(jié)構(gòu)邏輯的理論框架
24.1 形式系統(tǒng)
24.2 T的代數(shù)模型
24.3 T的語義模型
第25章 三維、多層次、綜合型（智能）邏輯巨系統(tǒng)構(gòu)造
25.1 邏輯系統(tǒng)的構(gòu)造
25.2 橫向邏輯演算層
25.3 縱向邏輯推演層
25.4 豎向拓?fù)鋽U(kuò)展層
25.5 結(jié)論
第六篇 布爾代數(shù)泛化結(jié)構(gòu)的應(yīng)用
第26章 正交試驗(yàn)的理論基礎(chǔ)
26.1 正交試驗(yàn)的邏輯基礎(chǔ)分析
26.2 模糊正交試驗(yàn)的層次逼近
第27章 價(jià)值工程系統(tǒng)中的語言優(yōu)化模型
27.1 數(shù)學(xué)結(jié)構(gòu)
27.2 關(guān)系的建立
27.3 關(guān)系的化簡
第28章 智能推理模型與實(shí)現(xiàn)機(jī)制
28.1 智能推理的層次結(jié)構(gòu)
28.2 智能型多層次歸納推理模型
28.3 人工神經(jīng)網(wǎng)絡(luò)實(shí)現(xiàn)智能型多層次歸納推理的初步
參考文獻(xiàn)