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

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


課程相關資訊

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

本篇範圍:Chapter 4

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


內容

Example 6

若 F(x) 代表 ” x 是水果 “;V(x) 代表 ” x 是蔬菜 “;S(x,y) 代表 ” x 比 y 還要甜”

請用以上的條件,表示以下:

1. Some vegetable is sweeter than all fruits.
(∃x) [ V(x) ^ [ (∀y) [ F(y) -> S(x,y) ] ]
2. Every fruit is sweeter than all vegetables.
(x) [ F(x) -> (∀y) [ V(y) -> S(x,y) ] ]
3. Only fruits are sweeter than vegetables.

(x) [ V(x) -> (∀y) [ S(y,x) -> F(y) ] ]


系列文章

  • [筆記] 程式必修課!離散數學與演算法 – 9
  • [筆記] 程式必修課!離散數學與演算法 – 8
  • [筆記] 程式必修課!離散數學與演算法 – 7
  • [筆記] 程式必修課!離散數學與演算法 – 6
  • [筆記] 程式必修課!離散數學與演算法 – 5
  • [筆記] 程式必修課!離散數學與演算法 – 4
  • [筆記] 程式必修課!離散數學與演算法 – 3
  • [筆記] 程式必修課!離散數學與演算法 – 22
  • [筆記] 程式必修課!離散數學與演算法 – 20
  • [筆記] 程式必修課!離散數學與演算法 – 2
  • [筆記] 程式必修課!離散數學與演算法 – 19
  • [筆記] 程式必修課!離散數學與演算法 – 18
  • [筆記] 程式必修課!離散數學與演算法 – 17
  • [筆記] 程式必修課!離散數學與演算法 – 16
  • [筆記] 程式必修課!離散數學與演算法 – 15
  • [筆記] 程式必修課!離散數學與演算法 – 14
  • [筆記] 程式必修課!離散數學與演算法 – 13
  • [筆記] 程式必修課!離散數學與演算法 – 12
  • [筆記] 程式必修課!離散數學與演算法 – 11
  • [筆記] 程式必修課!離散數學與演算法 – 10
  • [筆記] 程式必修課!離散數學與演算法 – 1
  •  

    按讚加入粉絲團

    延伸閱讀