[公告] 期末考时间与注意事项 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