高等院校電子信息類專業學習輔導書：離散數學概念題解與自測 pdf epub mobi txt 電子書 下載 2025

簡體網頁||繁體網頁

☆☆☆☆☆

硃保平，金忠，葉有培 著

齣版社： 北京理工大學齣版社

ISBN：9787564017927

版次：1

商品編碼：10042205

包裝：平裝

開本：16開

齣版時間：2009-01-01

用紙：膠版紙

頁數：152

字數：210000

正文語種：中文

編輯推薦

　　《離散數學概念題解與自測》可作為高等院校計算機科學與技術及相關信息類專業的教學參考書，也適用於報考計算機專業研究生的學生作為復習指導書，也可供教師、研究生和相關人員作參考書。

內容簡介

　　本書對離散數學各章節知識的要點和難點，對解題的方法和技巧作瞭全麵的分析。本書包括命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集閤、二元關係、函數與集閤的勢、圖、樹、群與環、格與布爾代數共12章內容。
　　本書錶達嚴謹，推理縝密，提供瞭大量習題及其分析與解答。本書可作為高等院校計算機科學與技術及相關信息類專業的教學參考書，也適用於報考計算機專業研究生的學生作為復習指導書，也可供教師、研究生和相關人員作參考書。

目錄

第一章 命題演算基礎
1.1 基本要求
1.2 內容分析
1.3 習題解答
第二章 命題演算的推理理論
2.1 基本要求
2.2 內容分析
2.3 習題解答
第三章 謂詞演算基礎
3.1 基本要求
3.2 內容分析
3.3 習題解答
第四章 謂詞演算的推理理論
4.1 基本要求
4.2 內容分析
4.3 習題解答
第五章 遞歸函數論
5.1 基本要求
5.2 內容分析
5.3 習題解答
第六章 集閤
6.1 基本要求
6.2 內容分析
6.3 習題解答
第七章 二元關係
7.1 基本要求
7.2 內容分析
7.3 習題解答
第八章 函數與集閤的勢
8.1 基本要求
8.2 內容分析
8.3 題解答
第九章 圖
9.1 基本要求
9.2 內容分析
9.3 題解答
第十章 樹
10.1 基本要求
10.2 勺容分析
10.3 題解答
第十一章 群與環
11.1 基本要求
11.2 內容分析
11.3 習題解答
第十二章 格與布爾代數
12.1 基本要求
12.2 內容分析
12.3 習題解答
附錄 模擬試捲及解答
模擬試捲一
模擬試捲二
模擬試捲一解答
模擬試捲二解答
參考文獻

精彩書摘

　　3.1　基本要求
　　1、掌握個體、個體變元、謂詞、謂詞變元、函數和量詞等概念，能夠將日常語句翻譯為渭詞演算公式。
　　2、理解謂詞演算公式、自由齣現、約束齣現、自由變元、約束變元等概念。
　　3、掌握改名和代入的方法，能夠對謂詞演算公式實行正確的代入和改名。
　　4、掌握謂詞演算公式的真假性、公式的永真性、可滿足性等概念及性質。
　　5、掌握前束範式、SKOLEM標準形等概念，能夠將謂詞演算公式轉換為前束範式和、SKOLEM標準形。
　　6、瞭解唯一性量詞和摹狀詞的概念。
　　3.2　內容分析
　　在命題演算中，我們把不可剖開或分解為更簡單命題的原子命題作為基本單元，把語句分解為原子命題，而不對原子命題的內部結構加以分析。本章將對原子命題進一步剖析，分解為個體和謂詞。一般地講，原子命題是由若乾謂詞和項組成的，我們的目標是把日常永真的知識錶達成謂詞演算的形式語言，再加上一些永真的規則，推齣一些新的知識，研究它們的形式結構和邏輯關係。謂詞演算中語句的符號化是人工智能中知識錶示的基礎。
　　3.2.1　個體和謂詞
　　定義1：個體是指具有獨立意義、獨立存在的東西。
　　定義2：由個體組成的集閤稱為個體域。
　　定義3：所有個體不管是何種類型的個體綜閤在一起組成的個體域稱為全總個體域。用U錶示。
　　定義4：以個體域，中的變元為變目的變元稱為個體域，上的個體變元。常用X，Y等錶示。
　　定義5：項是構成原子公式的一部分。常量符號是最簡單類型的項，是用來錶示論域中的個體或實體。一般地講，個體和實體可以是物理的個體、人、概念或有名詞的任何事情。項包括實體、變量符號和函數符號等。
　　定義6：謂詞是指個體所具有的性質或若乾個體之間的關係。約定用大寫字母A、B、C等錶示謂詞。
　　定義7：單個謂詞不構成完整的意思，隻有當謂詞後填以個體後纔能構成完整的意義，這種在謂詞後填以個體後的式子稱為謂詞填式。

前言/序言

　　離散數學不僅是計算機科學與技術專業的必修課程，也是電子信息類專業和相關工程技術人員的必讀課程，該課程是許多院校相關專業研究生入學考試的必考課程之一。本書作為《離散數學》課程的輔導教材，特彆注重習題的選擇。習題的選擇注重突齣基本理論、基本概念和基本方法的掌握，又有較靈活和深入的題型。同時注重解題方法和技巧的運用，旨在加深讀者對知識的理解。
　　全書共有12章，每章包括：基本要求，內容分析和習題解答三部分，並附有兩套自測試題及答案。本書包括命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集閤、二元關係、函數與集閤的勢、圖、樹、群與環、格與布爾代數共12章習題解答。
　　本書由硃保平編寫第l至第10章，金忠編寫第11、12章。在編寫過程中，葉有培教授提齣瞭寶貴的修改意見。在此錶示誠摯的謝意。
　　由於編者水平有限，加之時間緊迫，習題量大，書中難免有不足和錯誤之處，懇切希望廣大讀者批評指正。

評分☆☆☆☆☆

嗯

評分☆☆☆☆☆

評分☆☆☆☆☆

速度比較快！速度比較快！

評分☆☆☆☆☆

很喜歡硃保平，金忠，葉有培，他的每一本書幾本上都有，這本高等院校電子信息類專業學習輔導書離散數學概念題解與自測很不錯，離散數學概念題解與自測可作為高等院校計算機科學與技術及相關信息類專業的教學參考書，也適用於報考計算機專業研究生的學生作為復習指導書，也可供教師、研究生和相關人員作參考書。本書對離散數學各章節知識的要點和難點，對解題的方法和技巧作瞭全麵的分析。本書包括命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集閤、二元關係、函數與集閤的勢、圖、樹、群與環、格與布爾代數共12章內容。本書錶達嚴謹，推理縝密，提供瞭大量習題及其分析與解答。本書可作為高等院校計算機科學與技術及相關信息類專業的教學參考書，也適用於報考計算機專業研究生的學生作為復習指導書，也可供教師、研究生和相關人員作參考書。離散數學不僅是計算機科學與技術專業的必修課程，也是電子信息類專業和相關工程技術人員的必讀課程，該課程是許多院校相關專業研究生入學考試的必考課程之一。本書作為離散數學課程的輔導教材，特彆注重習題的選擇。習題的選擇注重突齣基本理論、基本概念和基本方法的掌握，又有較靈活和深入的題型。同時注重解題方法和技巧的運用，旨在加深讀者對知識的理解。全書共有12章，每章包括基本要求，內容分析和習題解答三部分，並附有兩套自測試題及答案。本書包括命題演算基礎、命題演算的推理理論、謂詞演算基礎、謂詞演算的推理理論、遞歸函數論、集閤、二元關係、函數與集閤的勢、圖、樹、群與環、格與布爾代數共12章習題解答。本書由硃保平編寫第至第10章，金忠編寫第11、12章。在編寫過程中，葉有培教授提齣瞭寶貴的修改意見。在此錶示誠摯的謝意。由於編者水平有限，加之時間緊迫，習題量大，書中難免有不足和錯誤之處，懇切希望廣大讀者批評指正。3.1基本要求1、掌握個體、個體變元、謂詞、謂詞變元、函數和量詞等概念，能夠將日常語句翻譯為渭詞演算公式。2、理解謂詞演算公式、自由齣現、約束齣現、自由變元、約束變元等概念。3、掌握改名和代入的方法，能夠對謂詞演算公式實行正確的代入和改名。4、掌握謂詞演算公式的真假性、公式的永真性、可滿足性等概念及性質。5、掌握前束範式、標準形等概念，能夠將謂詞演算公式轉換為前束範式和、標準形。6、瞭解唯一性量詞和摹狀詞的概念。3.2內容分析在命題演算中，我們把不可剖開或分解為更簡單命題的原子命題作為基本單元，把語句分解為原子命題，而不對原子命題的內部結構加以分析。本章將對原子命題進一步剖析，分解為個體和謂詞。一般地講，原子命題是由若乾謂詞和項組成的，我們的目標是把日常永真的知識

評分☆☆☆☆☆

我時常聽人感嘆中國沒有華盛頓，其實沒有又如何？就算你也做不瞭華盛頓，你還可以做馬丁·路德·金。做不瞭馬丁·路德·金，你還可以做羅莎·帕剋斯。做不瞭羅莎·帕剋斯，你還可以做一個為他們鼓掌的人。如果你連這也做不瞭，沒關係，你還可以迴歸動物的本能，就像特裏西婭·奈特（TriciaKnight）所做的那樣，舉起手中的攝像機，保衛自己的孩子。　　中國人是世界上最能隱忍的民族，不幸的是，這種隱忍通常都用 。　　中國人是世界上最能隱忍的民族，不幸的是，這種隱忍通常都用。　　中國人是世界上最能隱忍的民族，不幸的是，這種隱忍通常都用。　　中國人是世界上最能隱忍的民族，不幸的是，這種隱忍通常都用。　　中國人是世界上最能隱忍的民族，不幸的是，這種隱忍通常都用

評分☆☆☆☆☆

和教科書配套，可以用

評分☆☆☆☆☆

很實用。。。很好。。。

評分☆☆☆☆☆

速度很快，書也不錯，朋友很喜歡

評分☆☆☆☆☆

速度很快，書也不錯，朋友很喜歡