期中考試復習要點ppt課件_第1頁
期中考試復習要點ppt課件_第2頁
期中考試復習要點ppt課件_第3頁
期中考試復習要點ppt課件_第4頁
免費預覽已結束，剩余1頁可下載查看

下載本文檔

版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領

文檔簡介

1、期中考試復習要點期中考試復習要點第一章第一章 命題邏輯命題邏輯n1.1 命題符號化，特別是充分和必要條件的區分。命題符號化，特別是充分和必要條件的區分。n重點：重點：P4，例，例1.6；P33，習題，習題1.5n1.2 公式類型概念，三種類型。公式類型概念，三種類型。 n掌握掌握P6定義定義n1.3 等值演算公式及作用，判別公式類、等值證明、等值演算公式及作用，判別公式類、等值證明、主析合取范式求解。主析合取范式求解。n掌握掌握P9公式，會判別公式類別，參考例公式，會判別公式類別，參考例1.10； n會求主范式；會求主范式；P34，習題，習題1.8n1.5 主析主析(合合)取范式求解，真值表法

2、、等值演算法取范式求解，真值表法、等值演算法4個步驟個步驟n掌握掌握P16-18求解過程求解過程. 例例1.14第二章第二章 一階邏輯一階邏輯n2.1 掌握利用謂詞命題符號化，全稱量詞、存在掌握利用謂詞命題符號化，全稱量詞、存在量詞、特性謂詞的運用。量詞、特性謂詞的運用。n了解了解P41，例，例2.5；P53，習題，習題2.3n2.2 約束與自在變元的概念、給定解釋能判別公約束與自在變元的概念、給定解釋能判別公式的真假。式的真假。n參考參考P43-44，例，例2.6，例，例2.8，給定解釋會判別真，給定解釋會判別真假假n2.3 一階邏輯等值式，掌握定理一階邏輯等值式，掌握定理2.2-2.4；會

3、求前；會求前束范式求法束范式求法n參照參照P48，例，例2.11第三章第三章 集合集合n3.1 冪集的概念，會求集合的冪集，特別留冪集的概念，會求集合的冪集，特別留意有空集作為元素時候不要混淆。意有空集作為元素時候不要混淆。n參考參考P59，例，例3.3；n3.2 集合的根本運算，尤其證明集合相等。集合的根本運算，尤其證明集合相等。概念法，文氏圖法、等價公式法。概念法，文氏圖法、等價公式法。n參考參考P75，習題，習題3.16n3.3 集合中元素的計數，定理集合中元素的計數，定理3.2。n掌握計數公式，例掌握計數公式，例3.11-3.12第四章第四章 二元關系和函數二元關系和函數n4.1 笛卡爾積與二元關系的概念笛卡爾積與二元關系的概念n4.2 關系的運算，關系的定義域值域、合成、關系的運算，關系的定義域值域、合成、像，會求像，會求R的的n次冪。次冪。n參考參考P83，例，例4.7；P85，例，例4.8n4.3 關系的性質，自反、對稱、傳送、反自關系的性質，自反、對稱、傳送、反自反、反對稱概念。必需會經過概念、圖、以反、反對稱

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間，僅對用戶上傳內容的表現方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容，請與我們聯系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論