作 者:孫道德 編
定 價:29.5
出 版 社:清華大學出版社
出版日期:2013年07月01日
頁 數:246
裝 幀:平裝
ISBN:9787302299431
孫道德等編著的《離散數學》依據《中國計算機科學與技術學科教程2002》中制定的關於離散數學的知識結構和體繫為依據撰寫,在內容選擇上,力求做到理工科學生通俗易懂,理論聯繫實際,增強學生邏輯思維能力和學習方法的訓練,闡述了離散數學證明問題的方法。在講解原理的基礎之上,結合現代優選的計算機科學技術,從內容和形式上發展本門學科,主要體現在: ①加強了現代計算機科學、數字技術、圖論與離散數學的結合; ②更新和增加了離散數學應用實例。主要內容包含數理邏輯、集合與關繫、函數、代數繫統、圖和等
●第1篇 數 理 邏 輯
●第1章 命題邏輯
●1.1 命題及邏輯聯結詞
●1.2 命題公式與真值函數
●1.3 命題公式的等價與蘊涵
●1.4 命題邏輯的推理理論
●1.5 對偶與範式
●1.6 其他邏輯聯結詞
●1.7 邏輯聯結詞的功能完備集
●命題邏輯小結
●第2章 一階謂詞邏輯
●2.1 基本概念
●2.2 謂詞合式公式與的約束
●2.3 謂詞公式的等價與蘊涵
●2.4 謂詞邏輯的推理理論
●2.5 前束範式
●一階謂詞邏輯小結
●第2篇 集合與關繫
●第3章 集合及其運算
●3.1 集合的概念及其表示
●部分目錄
孫道德等編著的《離散數學》共分為4篇: 數理邏輯、集合論、代數繫統、圖論。數理邏輯包括命題邏輯和謂詞邏輯; 集合論介紹了集合、關繫、函數等; 代數繫統介紹了群、環、域等;圖論部分介紹了圖的基本概念及特殊圖。本書結合基本理論和基本方法詳細介紹了這4部分在計算機中的實際應用。在編寫過程中,以數理邏輯的基本思想為主線,將離散數學各個部分有機地結合起來,力求條理清楚、深入淺出,通過該課程的學習,可使讀者掌握推薦的離散數學知識,並提高其利用離散數學知識分析和解決實際問題的能力。
《離散數學》可作為一般本科院校計算機科學技術等相關專業的本科生和研究生的教學用書,也可作為計算機科學與技術以及研究人員的參考用書。