發表於2024-08-26
基本信息
書名:離散數學
原價:25.00元
作者:張清華
齣版社:機械工業齣版社
齣版日期:2010-08-01
ISBN:9787111302384
字數:
頁碼:200
版次:1
裝幀:平裝
開本:16開
商品重量:0.341kg
編輯推薦
內容提要
本書較為係統地介紹瞭計算機科學與技術等相關專業所必需的離散數學知識,全書分為四個部分(數理邏輯、集閤論初步、代數結構和圖論),共7章。第1章介紹命題及其命題邏輯;第2章介紹一階謂詞邏輯及其推理理論;第3章介紹集閤的基本概念和性質;第4章介紹二元關係和函數;第5章介紹代數係統;第6章介紹幾個典型的代數係統;第7章介紹圖論的初步內容和一些特殊圖及其性質。本書各章之後配有適當難度的習題,便於學生課後練習。每個部分結束後配有內容小結,便於學生自學、復習和提高。
本書可以作為高等院校計算機科學與技術、軟件工程等相關專業的教材,也可以作為考研及計算機工作者的參考書。
目錄
前言
教學建議
第一部分 數理邏輯
第1章 命題邏輯
1.1 命題及聯結詞
1.1.1 命題及其錶示
1.1.2 命題聯結詞
1.2 命題公式與真值錶
1.2.1 命題公式
1.2.2 命題公式的分類
1.3 命題公式的範式與主範式
1.4 聯結詞的完備集
1.5 命題推理理論
習題1
第2章 謂詞邏輯
2.1 謂詞的概念與錶示
2.1.1 個體詞
2.1.2 謂詞
2.1.3 量詞
2.2 謂詞公式
2.2.1 謂詞公式的概念
2.2.2 約束變元與自由變元的概念
2.2.3 約束變元的換名與自由變元的替換
2.3 謂詞公式的賦值與分類
2.3.1 謂詞公式的賦值
2.3.2 謂詞公式的分類
2.4 謂詞公式的等值演算
2.5 謂詞公式的前束範式
2.6 謂詞演算的推理理論
2.6.1 推理定律的來源
2.6.2 推理的實例
習題2
第一部分小結
第二部分 集閤論
第3章 集閤
3.1 集閤的基本概念
3.1.1 集閤的錶示
3.1.2 常用符號
3.2 集閤的基本運算
3.2.1 集閤的二元運算
3.2.2 集閤的一元運算
3.2.3 文氏圖
3.2.4 集閤運算的優先級
3.3 集閤恒等式
3.3.1 運算律
3.3.2 集閤恒等式的證明
習題3
第4章 二元關係和函數
4.1 二元關係
4.1.1 笛卡兒積
4.1.2 二元關係的概念
4.1.3 二元關係的錶示
4.2 關係的運算
4.2.1 二元關係的域
4.2.2 逆運算
4.2.3 復閤運算
4.2.4 冪運算
4.3 關係的性質
4.3.1 性質的定義
4.3.2 性質的判定
4.4 關係的閉包
4.4.1 閉包的定義
4.4.2 閉包的生成
4.5 等價關係與偏序關係
4.5.1 等價關係
4.5.2 偏序關係
4.6 函數
4.6.1 函數概念
4.6.2 函數復閤
4.6.3 逆函數
4.7 集閤的基數
4.7.1 可數集閤
4.7.2 集閤的勢
習題4
第二部分小結
第三部分 代數結構
第5章 代數係統
第6章 幾個典型的代數係統
第三部分 小結
第四部分圖論
第7章 圖論基礎
第四部分 小結
參考文獻
作者介紹
文摘
序言
女人不“狠”,地位不“穩” 下載 mobi pdf epub txt 電子書 格式 2024
女人不“狠”,地位不“穩” 下載 mobi epub pdf 電子書一般,,,給彆人買的
評分還行 。。。。。。。。。。。。
評分幫朋友買的
評分很好看的書
評分很好的書哦,交給我很多有用的知識,物超所值哦
評分我果然不適閤看這種書。。。。
評分書很好,包裝和紙張都很好
評分東西還不錯。。。。。
評分我果然不適閤看這種書。。。。
女人不“狠”,地位不“穩” mobi epub pdf txt 電子書 格式下載 2024