[筆記] 程式必修課!離散數學與演算法 – 9

從網路課程 程式必修課!離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
notes-essential-programming-discrete-math-algorithms-python-javascript-1


課程相關資訊

[連結]:https://hiskio.com/courses/1196/lectures/133658

本篇範圍:Chapter 3

請注意:本系列文章為個人對應課程的消化吸收後,所整理出來的內容。換言之,並不一定會包含全部的課程內容,也有可能會添加其他資源來說明。


內容

Tautologies 恆真式

意思就是一定為 True 的 State 或是 Compound

1.  A v A’
2. ( A → B ) ⭤ ( B’ → A’ )
3. [ ( A ^ B ) → C ]  ⭤ [ A → ( B → C ) ]

Welled-Formed Formula ( wff )

能寫成合法的表達式,那就是一個 wff。為了簡化 wff 的內容,可以隱藏一些內容,以新的符號來代替


系列文章

  • [筆記] 程式必修課!離散數學與演算法 – 8
  • [筆記] 程式必修課!離散數學與演算法 – 7
  • [筆記] 程式必修課!離散數學與演算法 – 6
  • [筆記] 程式必修課!離散數學與演算法 – 5
  • [筆記] 程式必修課!離散數學與演算法 – 4
  • [筆記] 程式必修課!離散數學與演算法 – 3
  • [筆記] 程式必修課!離散數學與演算法 – 2
  • [筆記] 程式必修課!離散數學與演算法 – 16
  • [筆記] 程式必修課!離散數學與演算法 – 15
  • [筆記] 程式必修課!離散數學與演算法 – 14
  • [筆記] 程式必修課!離散數學與演算法 – 13
  • [筆記] 程式必修課!離散數學與演算法 – 12
  • [筆記] 程式必修課!離散數學與演算法 – 11
  • [筆記] 程式必修課!離散數學與演算法 – 10
  • [筆記] 程式必修課!離散數學與演算法 – 1
  • 按讚加入粉絲團

    延伸閱讀