寫在前面的話序目錄
開篇先插句題外話，蔡老的離散數學有興趣深究的可以去163看看。
本文將基於課內教材「離散數學及其應用(英文版第7版) 作者(美)kenneth h. rosen」（上課時蔡老總說rosen寫的略泛，一把抓，於是廣卻不深，故不太推薦這本書；不過鑑於上課和考試都基於這本書，本人只好按這本大部頭複習歸納了。）
由於本人才疏學淺，目前僅處於大一階段且沒有什麼程式設計的競賽經驗和基礎，所以很多部分都比較粗淺且不會提及有些所謂經典或者高難的程式設計題，本文僅為敝人學習離散數學時的小結和體會，若能讓駐足者心有高山流水的附和之意本人不勝榮幸；若有大神或是提點或是糾錯，本人亦感榮幸之至。
下文目錄大部分基於此書的目錄，有部分刪減和改動。
1、logic and proofs（數理邏輯）
2、 sets,functions,sequences,matric（集合、函式）
3、algorithms(演算法)
4、number theory(數論)
5、induction and recursion(歸納與遞迴)
6、counting（計數）
7、advanced counting techniques（高階計數技巧）
8、relations（關係）
9、graphs（圖）
10、trees（樹）
離散數學學習筆記1
第一章 基礎 邏輯 集合和函式 本章複習離散數學的基礎。有三個主要內容 邏輯 集合和函式。邏輯規則給出數學語句的準確含義。例如，邏輯規則告訴我們下列語句的含義 存在乙個大於100且是2 的冪的整數 以及 對於每個整數 n，小於等於 n的正整數和是 n n 1 2 邏輯是所有數學推理的基礎，對計算機的...
數理邏輯（離散數學）學習筆記（1）
真值 乙個命題所取的值，即 真，假 蘊含關係真值表 ab a b001 0111 0011 1對上表的理解 a b的含義就是如果a,那麼b。舉例理解，如果m 1,那麼m 3。顯然這句話是真假命題，取決於m的取值。下面列表分析由於m值的取值不同所導致的真假情況。m a m 1 b m 3 命題真假01...
《離散數學》學習筆記1 邏輯和證明
今天開始離散數學的自學旅程。主題 邏輯和證明 邏輯規則給出數學語句的準確含義。邏輯對電腦科學有著重要作用。為了理解數學，我麼必須理解正確的數學論證是由什麼組成的。只要證明乙個數學語句是真的，我們就稱之為定理。我們要學會如何理解和構造正確的數學論證。1 命題邏輯 命題是乙個或真或假的陳述語句，即乙個陳...