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

定　價(jià)：￥98.00

作　者：	楊炳儒著
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	組合理論

購買這本書可以去

ISBN：	9787030169877	出版時(shí)間：	2008-08-01	包裝：	精裝
開本：	16開	頁數(shù)：	664	字?jǐn)?shù)：

內(nèi)容簡介

　　《布爾代數(shù)及其泛化結(jié)構(gòu)》是作者多年教學(xué)與科研工作的結(jié)晶。書中既有對(duì)經(jīng)典與發(fā)展中的布爾代數(shù)理論和應(yīng)用的系統(tǒng)和完備的概括，又有對(duì)其泛化結(jié)構(gòu)和應(yīng)用的最新研究成果的深層次揭示；從而使布爾代數(shù)能夠更加深入地反映客觀世界與主觀世界原型系統(tǒng)中的規(guī)律與復(fù)雜性?！恫紶柎鷶?shù)及其泛化結(jié)構(gòu)》第一次從數(shù)理邏輯與抽象代數(shù)相結(jié)合的“綜合基”上構(gòu)筑布爾代數(shù)的新框架與新體系，其內(nèi)容適應(yīng)了當(dāng)今復(fù)雜對(duì)象推理、不確定性推理與大系統(tǒng)邏輯分析發(fā)展的需要；提供了有關(guān)超大規(guī)模集成電路、光路等邏輯設(shè)計(jì)與控制工程中相應(yīng)的數(shù)學(xué)模型；同時(shí)誘導(dǎo)出許多解決實(shí)際問題的思路與方法?！恫紶柎鷶?shù)及其泛化結(jié)構(gòu)》可供計(jì)算機(jī)、自動(dòng)化、電子信息工程、測控技術(shù)與儀器、控制工程、系統(tǒng)科學(xué)與工程、管理科學(xué)與工程、知識(shí)工程、科學(xué)方法論等專業(yè)研究生、部分高年級(jí)大學(xué)生、教學(xué)與科研人員以及相關(guān)工程技術(shù)人員參考。

作者簡介

　　楊炳儒，北京科技大學(xué)信息工程學(xué)院資深教授、博士生導(dǎo)師。任多項(xiàng)學(xué)術(shù)職務(wù)，是國內(nèi)外多個(gè)著名刊物的評(píng)審專家；曾十余次出國參加國際學(xué)術(shù)會(huì)議、講學(xué)與合作研究；是享受國務(wù)院特殊津貼的有突出貢獻(xiàn)的專家與國際注冊科技專家。他是國內(nèi)較早進(jìn)入知識(shí)發(fā)現(xiàn)領(lǐng)域的學(xué)者，于2002年率先構(gòu)造了“基于內(nèi)在認(rèn)知機(jī)理的知識(shí)發(fā)現(xiàn)理論KDTICM”（被國際著名科學(xué)家L.A.Zadeh、R.A.Hamid等教授與國內(nèi)多位院士評(píng)價(jià)為“原創(chuàng)性理論”，獲“成就獎(jiǎng)”與“杰出成就獎(jiǎng)”國際獎(jiǎng)勵(lì)）；研發(fā)了具自主知識(shí)產(chǎn)權(quán)的軟件系統(tǒng)ICCKDSS并成功地應(yīng)用于8個(gè)領(lǐng)域；在生物信息學(xué)領(lǐng)域國際性難題——蛋白質(zhì)2級(jí)結(jié)構(gòu)預(yù)測研究方面取得突破；系統(tǒng)總結(jié)并提出了知識(shí)發(fā)現(xiàn)領(lǐng)域面臨的5個(gè)重大問題（兩大核心問題、兩大猜想問題、主流發(fā)展中的挑戰(zhàn)性問題、相關(guān)領(lǐng)域重大問題、技術(shù)標(biāo)準(zhǔn)制定問題）。在國內(nèi)外發(fā)表學(xué)術(shù)論文400余篇；出版著作15部（獨(dú)專著8部，合編著7部）；通過正式鑒定或驗(yàn)收的國與省部級(jí)科研課題28項(xiàng)；獲位于第一名的國際與國內(nèi)重要科技獎(jiǎng)勵(lì)10項(xiàng)；獲國家發(fā)明專利4項(xiàng)（另實(shí)審3項(xiàng)，受理3項(xiàng)）。先后培養(yǎng)與指導(dǎo)青年教師2名、博士后1名、博士生62名、碩士生68名、外國留學(xué)生7名。

圖書目錄

緒論
第一篇布爾代數(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章知識(shí)發(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ù)備知識(shí)
15.2 同步時(shí)序電路的一般設(shè)計(jì)方法
15.3 異步時(shí)序電路的一般設(shè)計(jì)方法
第16章自動(dòng)裝置的邏輯設(shè)計(jì)實(shí)例
16.1 典型實(shí)例解析
16.2 實(shí)例七則
第17章布爾方程與布爾差分的應(yīng)用
17.1 布爾方程的應(yīng)用
17.2 布爾差分在自動(dòng)診斷技術(shù)中的應(yīng)用
第18章布爾代數(shù)在事故樹分析中的應(yīng)用
18.1 事故樹簡介
18.2 用于事故樹分析的布爾代數(shù)
第19章有限自動(dòng)機(jī)概述
19.1 有限自動(dòng)機(jī)的基本概念
19.2 有限自動(dòng)機(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)