內容介紹 | |
出版社:國防工業出版社 ISBN:9787118100280 商品編碼:1596334017 品牌:文軒 出版時間:2015-04-01 代碼:48 作者:曹迎槐,尹健,韓加坤主編
" 作 者:曹迎槐,尹健,韓加坤 主編 著作 定 價:48 出 版 社:國防工業出版社 出版日期:2015年04月01日 頁 數:334 裝 幀:平裝 ISBN:9787118100280 ●第1章 離散數學基礎 ●1.1算法 ●1.1.1算法的定義 ●1.1.2算法的基本特征 ●1.1.3算法設計方法 ●1.1.4算法表示 ●1.1.5算法的復雜度分析 ●1.2可計算性問題 ●1.3模和同餘 ●1.4遞歸 ●1.5密碼學初步 ●1.6計數 ●小結 ●習題 ●第2章 命題邏輯 ●2.1命題與聯結詞 ●2.1.1命題及其表示 ●2.1.2聯結詞 ●2.1.3最小功能完備集 ●2.2命題公式與重言式 ●部分目錄 全書共12章,內容包含證明技巧、數理邏輯、集合與關繫、函數、組合計數、圖和樹、初等數論、離散概率、代數繫統等。本書體繫嚴謹,文字精練,內容翔實,例題豐富,注重與計算機科學技術的實際問題相結合,並選配了大量難度適當的習題,適合教學。
" | | |