從網路課程 程式必修課！離散數學與演算法 來淺嚐一下沒機會在課堂上所學的離散數學與演算法。或許對撰寫程式的效能提昇會有些幫助。
課程相關資訊
[連結]：https://hiskio.com/courses/1196/lectures/133676
本篇範圍：Chapter 4
請注意：本系列文章為個人對應課程的消化吸收後，所整理出來的內容。換言之，並不一定會包含全部的課程內容，也有可能會添加其他資源來說明。
內容
Example 3
若 D(x) 代表 ” x 是狗 “；R(x) 代表 ” x 是兔子 “；C(x,y) 代表 ” x 追 y ”
請用以上的條件，表示「All dogs chase all rabits」。
(∀x) [ D(x) -> (∀y) [R (y) -> C(x,y) ] ]
Example 4
若 D(x) 代表 ” x 是狗 “；R(x) 代表 ” x 是兔子 “；C(x,y) 代表 ” x 追 y ”
請用以上的條件，表示「Some dogs chase all rabits」。
存在 ∃ 不代表全部，且一般會與 ^ 且共用
(∃x) [ D(x) ^ (∀y) [ R(y) -> C(x,y) ] ]
Example 5
若 D(x) 代表 ” x 是狗 “；R(x) 代表 ” x 是兔子 “；C(x,y) 代表 ” x 追 y ”
請用以上的條件，表示「Only dogs chase rabits」。
(∀x) [ R(x) -> (∀y) [ C(y,x) -> D(y) ] ]
系列文章
按讚加入粉絲團
