從網路課程 程式必修課!離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]:https://hiskio.com/courses/1196/lectures/133646
本篇範圍:Chapter 3
請注意:本系列文章為個人對應課程的消化吸收後,所整理出來的內容。換言之,並不一定會包含全部的課程內容,也有可能會添加其他資源來說明。
內容
邏輯是撰寫程式的基礎
1-1 Statements, Symbols & Tautologies
Statement 的定義
亦可稱為 proposition。它是一個結果為「true / false」的句子 ( Truth Value)
你會需要「 主體 Subject 」是誰
日常生活中,你會用複合命題 Statements 來表達一個事實,並用邏輯符號來連結。這裡的邏輯符號可以是 AND, OR…之類的
Conjunction, Disjunction, Implication, Equivalence
Conjunction ( ^ ) -> 且 ( AND )
A ^ B ( 需 A 和 B 都是 true,才會是 true )
Disjunction ( v ) -> 或 ( OR )
A v B ( 需 A 和 B 都是 false,才會是 false )