[公告] 期末考時間與注意事項 ric2k1 PTT批踢踢實業坊

[公告] 期末考時間與注意事項

作者: ric2k1 (Ric) 2009-06-17 20:27:48

時間: 10:00am ~ 12:30pm, Friday, June 19
範圍: 以 5. Logic Implications
6. SAT-based Verification
7. Abstraction and Refinement
為主. 其他部分也有可能考.
Open everything. Any kind of communication is prohibited.

作者: webberlucky7 (威ㄅ) 2009-06-17 20:43:00

我寧願考前面不考第七章XD 真的很"抽象"QQ!!

作者: ric2k1 (Ric) 2009-06-18 17:15:00

考試時間延長 30 mins 好了... 免得大家寫不完應該不用再延了, 怕肚子餓的人可以自備午餐~~~

繼續閱讀

[公告] Homework gradesric2k1 [情報] Final project grading criteriaric2k1 [公告] Final Project Presentationric2k1 [情報] Homework #4 + 5 grades are announcedric2k1 Re: [公告] Final Project Topic Selectionric2k1 Re: [公告] 期末專題注意事項ric2k1 [問題] BMC and greatest fixed pointgun740201 [公告] Final Project Topic Selectionric2k1 [公告] 期末專題注意事項ric2k1 [問題] Can we have a 64-bit version of graphGen?chiungyu