從網路課程 程式必修課!離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]: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) ] ]
系列文章
按讚加入粉絲團