[理工] 離散 104交大資訊聯招
問題如圖 http://imgur.com/a/Ahg5E
看不太懂題目的意思,
尤其是weakest condition, weakest formula 和 F(≠Q(a,b))
有大大可以幫我解釋整題在幹嘛嗎QQ
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.32.75.152
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1479055625.A.D61.html
→
11/14 08:42, , 1F
11/14 08:42, 1F
→
11/14 08:42, , 2F
11/14 08:42, 2F
討論串 (同標題文章)
以下文章回應了本文:
完整討論串 (本文為第 1 之 2 篇):