个人简介

杨炳儒，北京科技大学信息工程学院资深教授、博士生导师。任多项学术职务，是国内外多个著名刊物的评审专家；曾十余次出国参加国际学术会议、讲学与合作研究；是享受国务院特殊津贴的有突出贡献的专家与国际注册科技专家。
他是国内较早进入知识发现领域的学者，于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名。

内容简介

本书是作者多年教学与科研工作的结晶。书中既有对经典与发展中的布尔代数理论和应用的系统和完备的概括，又有对其泛化结构和应用的最新研究成果的深层次揭示；从而使布尔代数能够更加深入地反映客观世界与主观世界原型系统中的规律与复杂性。
本书第一次从数理逻辑与抽象代数相结合的“综合基”上构筑布尔代数的新框架与新体系，其内容适应了当今复杂对象推理、不确定性推理与大系统逻辑分析发展的需要；提供了有关超大规模集成电路、光路等逻辑设计与控制工程中相应的数学模型；同时诱导出许多解决实际问题的思路与方法。
本书可供计算机、自动化、电子信息工程、测控技术与仪器、控制工程、系统科学与工程、管理科学与工程、知识工程、科学方法论等专业研究生、部分高年级大学生、教学与科研人员以及相关工程技术人员参考。