1. PTT
  2. Grad-ProbAsk

[理工] 離散 104交大資訊聯招

作者: jerry900287 (滷蛋)   2016-11-14 00:47:01
問題如圖 http://imgur.com/a/Ahg5E
看不太懂題目的意思,
尤其是weakest condition, weakest formula 和 F(≠Q(a,b))
有大大可以幫我解釋整題在幹嘛嗎QQ
作者: a15151616 (QQ)   2016-11-14 08:42:00
找最簡單的條件F 使F->Q(A,B)不可以直接寫Q(A,B)->Q
繼續閱讀
[理工] ODE的特解myandy408[理工] [OS] basic conceptkyuudonutRe: [理工] [計組] single cycle machine kyuudonut[理工] 演算法 DFS找strong connected componentmogahuang[理工] ［計組］浮點數102交大ken52011219[線代]對角化gy5204301[理工] 計組 RAID是增進reliability還是avail...newpuma[理工] 計算機組織 記憶體 寫穿/寫回 bandwidthnewpuma[理工] 計組 TLB Cachew181496[理工] 線代 線性保相依/線性保獨立jerry900287

Links booklink

Contact Us: admin [ a t ] ucptt.com