出版時間:2011-2 出版社:中國鐵道出版社 作者:劉任任 頁數:379
內容概要
《普通高等學校計算機科學與技術專業(yè)規(guī)劃教材:離散數學題解與分析》含6個部分:1、數理邏輯;2、集合論;3、代數結構;4、圖論;5、組合分析初步;6、形式語言和自動機初步。每部分均包含三方面內容:(1)內容提要;(2)與本部分配套的習題;(3)習題解答。對每道題都做了較詳細的解答與分析。對某些題還給出了不同的解法或指出容易犯
作者簡介
劉任任,教授,中共黨員,博士生導師。 現任湘潭大學信息工程學院院長,中國計算機學會理事,中國人民解放軍總參謀部三部八局兼職研究員。中國計算機學會多值邏輯與模糊邏輯專業(yè)委員會委員,理論計算機科學專業(yè)委員會委員,教育部高等學校計算機科學與技術專業(yè)教學指導分委員會專家工作組成員,全國高等學校計算機教育研究會常務理事,湖南省高教學會計算機教育專業(yè)委員會副理事長,湖南省軟件行業(yè)協會常務理事、專家委員會成員,《計算技術與自動化》雜志編委。 主持完成國家自然科學基金課題2項、國家863計劃子課題1項、湖南省自然科學基金課題2項、湖南省教育廳重點項目1項。獲湖南省科技進步二等獎1項、軍隊科技進步三等獎1項。出版專著《多值邏輯函數結構理論研究》,參編國家“九五”重點出版圖書《現代數學手冊》(計算機數學卷·多值邏輯篇),出版教材《算法設計與分析》、《計算機科學的數學基礎》。 主要研究方向為多值邏輯理論、計算機算法。
書籍目錄
第1章 集合第2章 關系第3章 映射第4章 可數集與不可數集第5章 圖與子圖第6章 樹第7章 圖的連通性第8章 E圖與H圖第9章 匹配與點獨立集第10章 圖的著色第11章 平面圖第12章 有向圖第13章 網絡最大流第14章 命題邏輯第15章 一階邏輯第16章 整數第17章 群 第18章 環(huán)與域第19章 格與布爾代數第20章 排列和組合的一般計數方法第21章 容斥原理第22章 遞推關系與生成函數參考文獻
圖書封面
評論、評分、閱讀與下載