從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133730
本篇範圍：Chapter 5
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Proofs Techniques
數學證明的方法，可概略分為：找反例、窮舉、直接證明、對位和矛盾
找反例 CounterExample
當你試圖證明一個 Statement 是錯誤的，那可試著找一個反例。如果找的到，那就表示 Statement 為 false。不過要注意當你找不到時，並不代表該 Statement 是對的，有可能只是你暫時找不到而已
若有一個 Statement 為 x 為正整數，(∀x)[(x<5) v (x>8)]。這個敘述是錯的，因為 5,6,7,8 都屬於正整數，但不滿足 (x<5) v (x>8)
