章節連結
從網路課程 程式必修課!離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]:https://hiskio.com/courses/1196/lectures/133734
本篇範圍:Chapter 5
請注意:本系列文章為個人對應課程的消化吸收後,所整理出來的內容。換言之,並不一定會包含全部的課程內容,也有可能會添加其他資源來說明。
內容
Direct Proof
若要證明 由 P -> Q 成立,那就從 P 開始試著證明可否推導到 Q
舉例:若 a, b 皆為偶數,則 a + b 也是偶數
let a = 2i, i∈Z
let b = 2j, j∈Z
則 a+b = 2(i+j) 。由於 i+j 亦 ∈ Z,所以 a + b 也會是偶數