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

定　價(jià)：￥98.00

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

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

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

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

　　《布爾代數(shù)及其泛化結(jié)構(gòu)》是作者多年教學(xué)與科研工作的結(jié)晶。書(shū)中既有對(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í)際問(wèn)題的思路與方法?！恫紶柎鷶?shù)及其泛化結(jié)構(gòu)》可供計(jì)算機(jī)、自動(dòng)化、電子信息工程、測(cè)控技術(shù)與儀器、控制工程、系統(tǒng)科學(xué)與工程、管理科學(xué)與工程、知識(shí)工程、科學(xué)方法論等專(zhuān)業(yè)研究生、部分高年級(jí)大學(xué)生、教學(xué)與科研人員以及相關(guān)工程技術(shù)人員參考。

作者簡(jiǎn)介

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

圖書(shū)目錄

緒論
第一篇布爾代數(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 簡(jiǎn)單布爾函數(shù)的幾何表示
2.6 布爾函數(shù)的標(biāo)準(zhǔn)形式
2.7 單調(diào)布爾函數(shù)的范式
2.8 簡(jiǎn)單布爾函數(shù)的化簡(jiǎn)
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章幾種特殊類(lèi)型的布爾代數(shù)
6.1 原子布爾代數(shù)
6.2 簡(jiǎn)函布爾代數(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ù)的簡(jiǎn)單應(yīng)用
第8章命題代數(shù)
8.1 命題及其演算
8.2 邏輯推理和論證
8.3 命題代數(shù)
8.4 公理系統(tǒng)
8.5 規(guī)定性原理
第9章開(kāi)關(guān)代數(shù)
9.1 繼電器開(kāi)關(guān)及其運(yùn)算
9.2 門(mén)電路及其運(yùn)算
9.3 開(kāi)關(guān)代數(shù)
9.4 開(kāi)關(guān)函數(shù)的標(biāo)準(zhǔn)形式
9.5 開(kāi)關(guān)函數(shù)的化簡(jiǎn)——線(xiàn)路簡(jiǎn)化的現(xiàn)行方法
9.6 開(kāi)關(guān)矩陣的使用
第10章布爾值模型及其基本特性
10.1 布爾值模型
10.2 基本特性
第11章知識(shí)發(fā)現(xiàn)中的布爾代數(shù)概型
11.1 KDD中的三類(lèi)布爾代數(shù)模型及其關(guān)系
11.2 KDD中兩個(gè)范疇及其關(guān)系
第三篇布爾代數(shù)的應(yīng)用
第12章簡(jiǎn)單開(kāi)關(guān)電路的邏輯設(shè)計(jì)
12.1 簡(jiǎn)單開(kāi)關(guān)電路的化簡(jiǎn)
12.2 簡(jiǎn)單開(kāi)關(guān)電路的分析
12.3 簡(jiǎn)單開(kāi)關(guān)電路的綜合
12.4 多端網(wǎng)絡(luò)及其開(kāi)關(guān)矩陣
第13章繼電器開(kāi)關(guān)電路的邏輯設(shè)計(jì)
13.1 單步電路的綜合
13.2 多步電路的綜合
13.3 繼電器開(kāi)關(guān)電路的分析
第14章組合電路的邏輯設(shè)計(jì)
14.1 代數(shù)設(shè)計(jì)法
14.2 幾何設(shè)計(jì)法
14.3 分組設(shè)計(jì)法
14.4 組合電路中的競(jìng)爭(zhēng)
14.5 組合電路設(shè)計(jì)中的幾個(gè)問(wèn)題
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ù)在事故樹(shù)分析中的應(yīng)用
18.1 事故樹(shù)簡(jiǎn)介
18.2 用于事故樹(shù)分析的布爾代數(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章一類(lèi)雙層次邏輯結(jié)構(gòu)的泛布爾代數(shù)概型
21.1 客觀原型
21.2 R-S演算及其公理
21.3 R-S演算系統(tǒng)中泛布爾函數(shù)的標(biāo)準(zhǔn)型及其化簡(jiǎ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的語(yǔ)義模型
第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ǔ)言?xún)?yōu)化模型
27.1 數(shù)學(xué)結(jié)構(gòu)
27.2 關(guān)系的建立
27.3 關(guān)系的化簡(jiǎ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)