((∑[T𝒰]∏A∈T]A≃1
唸期末考囉~"~
考古題長得有點像作業題目...
courses:av2015:main [Yih-Kuen Tsay's Wiki @ IM.NTU]
茶茶
求書蹦提供作業正解QQ
2023立志成為薪水小偷惠
坤叔XD
((∑[T𝒰]∏A∈T]A≃1
茶茶 : 不是沒發回來嗎?
2023立志成為薪水小偷惠 : 你要救我嗎你不是剛考完演算法QQ
2023立志成為薪水小偷惠
你這科應該不是一樣的東西啊XDDD
((∑[T𝒰]∏A∈T]A≃1
茶茶
對啊沒發回來QQ
appledynasty
大大罩我QQ
Knife
(worship)
((∑[T𝒰]∏A∈T]A≃1
茶茶 : appledynasty : Knife : 求大大罩我QQ
((∑[T𝒰]∏A∈T]A≃1
是說沒記錯的話明天在管二七樓考試?
appledynasty
茶茶
等等,管一吧?
((∑[T𝒰]∏A∈T]A≃1
RR有照片嗎 糟惹
appledynasty
啊抱歉沒看清楚
appledynasty
就是上課的那棟樓上
((∑[T𝒰]∏A∈T]A≃1
喔喔 是管一 感謝!!
((∑[T𝒰]∏A∈T]A≃1
....認真的算一下分數, 20% BDD 會做, 15% 裸 CTL model checking 跟作業一樣, 可是這樣才 35 分哭哭
((∑[T𝒰]∏A∈T]A≃1
明天真的可以開電腦? 不然就要把投影片印下來了
茶茶
原來可以!!
茶茶
我連是OPEN BOOK 都不知道...
appledynasty
當然是開電腦啊
appledynasty
為什麼找不到smv的投影片啊啊啊
((∑[T𝒰]∏A∈T]A≃1
欸真的耶..往前翻了幾年也沒看到?
((∑[T𝒰]∏A∈T]A≃1
完了 flolac 2013 網站又不見@@ 投影片也沒帶
((∑[T𝒰]∏A∈T]A≃1
等等 剛剛笨了, Symbolic Model Checkers 就是 NuSkinMV阿
載入新的回覆