布尔代数及其泛化结构

《布尔代数及其泛化结构》是2008年科学出版社出版的图书，作者是杨炳儒。本书既有对经典与发展中的布尔代数理论和马级谓广除千准应用的系统和完备的概括，又有对其泛化结构和应用的最新研究成果的深层次揭示;从而使布尔代数能够更加深入地反映客观世来自界与主观世界原型音百兵些提代获系统中的规律360百科与复杂性。

• 书名 布尔代数及其泛化结构
• 作者 杨炳儒
• ISBN 9787030169877
• 类别 科学与自然 > 数学
• 页数 664

内容简介

　　《布尔代数及其泛化结构》是作者多年教学与科研工作的结晶。

　　《布尔代数及其泛化结构》第一次从数理逻辑与抽象代数相结合的"综合基"上构筑布尔代数的新框来自架与新体系，其内容适应了当今复杂对象推理、不确定性推理与大系统逻辑分析发展的需要;提供了有关超大规模集成电路、光路等逻辑设360百科计与控制工程中相应的数学模型;同时诱导出许多解决实余搞当曾明也美宣电侵际问题的思路与方法。

　　《布尔代数及其泛化结构》可供计算机、自动化、电子信息工程、测控技术与仪器、控制工程、系统科学与工程、管理科学与工程、知识工求持回研排转程、科学方法论等专业研究生、部分高年级大学生、教学与科研人员以及相关工程技术人员参考。

作者简介

　　杨炳儒，北京科技大学信息工程学院资深教授、博士生导师。任多项学术职务，是国内外多个著名刊物的评审专家;曾十余次出国参加国际学术会议、讲学与合作研究;是享受国务院特殊津贴的有突出贡献的专家与国际注册科技专家。

　　他是国内较早进入知识发现领域的学者，于2002年率先构造了"基于内在认知机理的知识发现理论KDTICM"(被国际著名科学家L.A.Zadeh、R那广争庆为如协.A.Hamid等教授与国内多位院士评价为"原创性理握求论"，获"成就奖"与"杰出成就奖"国际奖励);研发了具自主知识产权的软件系统ICCKDSS并成功地应用于8个领域;在生物信息学领域国际性难题--蛋白质2级结构预测研究方面呀鲁例建乡失积事支取得突破;系统总结并提出了知识发现领域面临的5个重大问题(两大核心问题、两大猜想问题、主流发展中的挑战性问题、相关领域重大问题、技术标准制定问题)。在国内外发表学术论文400余篇;出版著作15部(独专著8部，合编著7部);通过正式鉴定或验收的国与省部级科研起架被刑二级占结征另课题28项;获位于第一名的国际与国内重要科技奖励10项;获国家发明专利4项(另实审3项，农输即见再倒争电判宗受理3项)。先后培养与指导青年教师2名、博老针银经额急验应房士后1名、博士生62名、硕士生68名、外国留学生7名。

目录

　　绪论

　　第一篇 布尔代数的一般理论体系

　　第1章 布尔代数的构建

　　1.1 格论观点下的布尔代数

　　1.2 模型论观点下的布尔代数

来自　　1.3 布尔代数的公理系统

　　第2章 布尔代数的基本内容和方法

　　2.1 布尔运360百科算的性质和初等定理

　　2.2 几种特殊的布尔运算

　　2.3 布尔函数

　　2.4 几种特殊的布尔函数

　　2.5 简单布尔函数的几何讲展似老赶帮本功连例上表示

　　2.6 布尔函数的标准形式

　　2.7 单调布尔函数的范式

　　2.8 简单布尔函数的化简

　　2.9 一威消另已陈谈为跑了跳般布尔函数的结构与计算

　　2.10 关于群的布尔函数的律皮讨论

　　2.11 布尔方程

　　2.12 布尔矩阵

　　2.13 布尔差分

　　第3章 布尔代数的子代数

　　3.1 布尔代数的子系统

　　3.2 理想和极大理想

　　第4章 布尔同态与布尔同构

　　4.1 布尔同态和械七止统布尔同构

　　4.2 布尔代数的表示定理

　执厚搞　第5章 布尔代数的积代数和商边走迅的叶器代数

　　5.1 布尔代数的积代数

　　5.2 布尔代数的商代数

　　第6章 几种特殊类型的布尔代数

　旧条裂二红文李群　6.1 原子布尔代数

　　6.2 简函布尔代数

　　6.3 自由布尔代数

　　6.4 元偶布尔代数

　　6.5 双运算布尔代数

　　6.6 元集布尔代数

　　分6.7 矢量布尔代数

　　6.8 纽曼代数

　　第二篇 布尔代数的具体概型与布尔值模型

　　第7章 集合代数

　五顶急客除易冲　7.1 集合及其运算

　　7.2 集合代数

　　7.3 初等定理

　　7.4 公理系统

罗牛克图机十资阳　　7.5 集合代数的种胶打但士美简单应用

　　第8章 命题代短土背尔数

　　8.1 命题及未大呼命部其演算

　　8.2 逻辑推理和论证

采妈极福余总余绍工控　　8.3 命题代数

　　8.4 公理系统

　　8.5 规定性原帮坏生调动坐理

　　第9章 开关代数

　　9.1 继电器开关及其运算

　　9.2 门电路及其运算

　　9.3 开关代数

　　9视粮.4 开关函数的标准形式

　　9.5 开关函数的化简--线路简化的现行方法

　　9.6 开关矩阵的使用

　　第10章 布尔值模型及其基本特性

　　10.1 布尔值模型

　　10.2 基本特性

　　第11章 知识小父呼题见商发现中的布尔代数风传化发守坚含验威概型

　　11.1 KDD中的三类布尔代数模型及其关系

　　11.2 KDD中两个范畴及其关系

　　第三篇布 尔代数的应用

　　第12章 简单开关电路的逻辑设计

　　12.1 简单开关电路的化简

　　12.2 简单开关电路的分析

　　12.3 简单开关电路的综合

　　12.4 多端网络及其开关矩阵

　　第13章 继电器开关电路的逻辑设计

　　13.1 单步电路的综合

　　13.2 多步电路的综合

　　13.3 继电器开关电路的分析

　　第14章 组合电路的逻辑设计

　　14.1 代数设计法

　　14.2 几何设计法

　　14.3 分组设计法

　　14.4 组合电路中的竞争

　　14.5 组合电路设计中的几个问题

　　14.6 组合电路的分析方法

　　第15章 时序电路的逻辑设计

　　15.1 预备知识

　　15.2 同步时序电路的一般设计方法

　　15.3 异步时序电路的一般设计方法

　　第16章 自动装置的逻辑设计实例

　　16.1 典型实例解析

　　16.2 实例七则

　　第17章 布尔方程与布尔差分的应用

　　17.1 布尔方程的应用

　　17.2 布尔差分在自动诊断技术中的应用

　　第18章 布尔代数在事故树分析中的应用

　　18.1 事故树简介

　　18.2 用于事故树分析的布尔代数

　　第19章 有限自动机概述

　　19.1 有限自动机的基本概念

　　19.2 有限自动机与时序电路

　　第四篇 布尔代数的代数泛化结构

　　第20章 模糊布尔代数

　　20.1 概述

　　20.2 模糊布尔代数

　　第21章 一类双层次逻辑结构的泛布尔代数概型

　　21.1 客观原型

　　21.2 R-S演算及其公理

　　21.3 R-S演算系统中泛布尔函数的标准型及其化简

　　21.4 泛布尔代数的公理系统

　　第22章 模糊B-D型代数结构

　　22.1 模糊B-D型演算系统

　　22.2 模糊B-D型代数结构

　　第五篇 布尔代数的逻辑泛化结构

　　第23章 泛一阶逻辑的结构概型

　　23.1 形式系统TB-D

　　23.2 TB-D的模型构造

　　第24章 多层次结构逻辑的理论框架

　　24.1 形式系统

　　24.2 T的代数模型

　　24.3 T的语义模型

　　第25章 三维、多层次、综合型(智能)逻辑巨系统构造

　　25.1 逻辑系统的构造

　　25.2 横向逻辑演算层

　　25.3 纵向逻辑推演层

　　25.4 竖向拓扑扩展层

　　25.5 结论

　　第六篇 布尔代数泛化结构的应用

　　第26章 正交试验的理论基础

　　26.1 正交试验的逻辑基础分析

　　26.2 模糊正交试验的层次逼近

　　第27章 价值工程系统中的语言优化模型

　　27.1 数学结构

　　27.2 关系的建立

　　27.3 关系的化简

　　第28章 智能推理模型与实现机制

　　28.1 智能推理的层次结构

　　28.2 智能型多层次归纳推理模型

　　28.3 人工神经网络实现智能型多层次归纳推理的初步

　　参考文献