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