《组合数学及应用》刘关俊

本书围绕组合计数问题，将数学原理与实际应用相结合，介绍集合与多集上的排列与组合、二（多）项式定理、二项分布与信息熵、鸽巢原理、拉姆齐理论、生成函数、递归关系（包括斐波那契数、斯特林数、卡特兰数、调和数的递归关系）、容斥原理、伯恩赛德计数定理和波利亚计数定理。本书共分八章，每一章都配有一个计算机、电子信息、人工智能等领域的应用案例，以展示数学原理或方法在这些专业问题上的应用。此外，每章末附有习题，供读者练习和进一步思考，以巩固和深化理解。本书围绕组合计数问题，将数学原理与实际应用相结合，介绍集合与多集上的排列与组合、二（多）项式定理、二项分布与信息熵、鸽巢原理、拉姆齐理论、生成函数、递归关系（包括斐波那契数、斯特林数、卡特兰数、调和数的递归关系）、容斥原理、伯恩赛德计数定理和波利亚计数定理。本书共分八章，每一章都配有一个计算机、电子信息、人工智能等领域的应用案例，以展示数学原理或方法在这些专业问题上的应用。此外，每章末附有习题，供读者练习和进一步思考，以巩固和深化理解。

本书可供计算机科学与技术、软件工程、信息安全、人工智能、大数据、通信、电子、应用数学等专业的本科生、研究生使用，也可供相关领域从事教学和科研的人员参考。

作者简介：刘关俊，男，教授，博士生导师。2011年获得同济大学计算机软件与理论专业博士学位，同年赴新加坡科技设计大学从事博士后研究工作；2013年回国，并进入同济大学计算机科学系任教，同年获得德国洪堡基金资助，赴柏林洪堡大学从事博士后研究工作。 主要从事形式化方法、模型检测、Petri网等方面的理论与应用研究，目前也从事机器学习及其在网络交易欺诈检测方面的研究。已出版学术专著1本，发表学术论文90余篇，包括Science China Information Sciences、ACM Transactions on Embedded Computing Systems、ACM Transactionson Cyber-Physical Systems、IEEE Transactions on Services Computing、IEEE Transactions on Industrial Informatics等期刊论文近50篇，以及国际Petri网年会（International Conference on Application and Theory of Petri Nets and Concurrency）等会议论文40余篇。 刘关俊主持国家自然科学基金面上项目与青年基金项目、上海市曙光计划人才项目、中央高校交叉项目（重大）等多项，获得国家科技进步奖二等奖、上海市科技进步奖一等奖、中国电子学会自然科学一等奖、吴文俊人工智能技术发明奖一等奖、上海市优秀博士论文奖以及首届教育部国务院学位委员会博士研究生学术新人奖等。刘关俊是中国计算机学会形式化方法专委会委员、中国自动化学会网络信息服务专委会委员、中国人工智能学会智能空天系统专委会委员、IEEESenior Member。