內容簡介
本書圍繞組合計數問題,將數學原理與實際應用相結合,介紹集合與多集上的排列與組合、二(多)項式定理、二項分佈與信息熵、鴿巢原理、拉姆齊理論、生成函數、遞歸關係(包括斐波那契數、斯特林數、卡特蘭數、調和數的遞歸關係)、容斥原理、伯恩賽德計數定理和波利亞計數定理。本書共分八章,每一章都配有一個計算機、電子信息、人工智慧等領域的應用案例,以展示數學原理或方法在這些專業問題上的應用。此外,每章末附有習題,供讀者練習和進一步思考,以鞏固和深化理解。 本書可供計算機科學與技術、軟體工程、信息安全、人工智慧、大數據、通信、電子、應用數學等專業的本科生、研究生使用,也可供相關領域從事教學和科研的人員參考。作者簡介
劉關俊,男,教授,博士生導師。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。目錄
第1章 排列與組合