作者bask (gan)
看板NTUEE_VAL
标题Re: [心得] 硕一上修课心得
时间Sun Aug 6 23:34:08 2006
※ 引述《Fiesta (佛埃斯特)》之铭言：
: 硕一上修课
: 人工智慧 许永真老师（资讯所） 评价：★★★★☆
: 评分方式：期中考、作业、final project (2 stages)
: 心得：这门课为英语授课，因为去年上课的时候，老师没有限制人数，
: 所以造成了大爆满。老师是Stanford的（也是老板大学同学），
: 所以教学的课本也是用Stanford的（其实那本就是classic）。
: 但是由於这本书东西太多，所以老师没有办法教完。
: （课本很适合拿来作为参考之用）
: 首先由searching开始，接下来讲proof-checking（讲到1st order）然後期中考。
: 期中考open book，但是题目很有挑战性，其实观念不懂根本作不出来。
: 平均好像四十分。
: 期末大多在教learning technique，但是由於没有期末考，所以没学的很紮实。
: project分成两部分，第一部份是修改一个Java小游戏的code，
: 让虚拟的user可以得最高分（原本的小游戏是user靠吃蔬菜得分、
: 撞石头会扣分、但是撞出去的石头若撞到别人就反倒加分）。
: 第二部分则是利用这个游戏，加入人工智慧形成不同的风貌。
: 这个project真的快做到翻，後来看别人demo，觉得别人都做的好漂亮。
: 把游戏改成丢雪球、小朋友下楼梯之类的。
: 不过我们做的东西是真的有learning的，所以学期分数还是很够。
: 结论：真的学的到东西的一门课。
: 正规方法 老板（电机所、电子所） 评价：（不需要）
: 评分方式：作业、期中期末考、三个project、一篇CAV/TACAS的论文报告
: 心得：学弟不论怎样都是要修的啦，所以不需评价！
: 学期的project，其他实验室都不太会做。
: 其实自己实验室的也差不多。
: 老师大概教到CTL*就结束了，其实教的还蛮慢的。
: 正规方法的东西非常多 is equivalent to 老板教的东西太少了。
: 所以若之後要做verification automation的学弟，要自己多看。
: 假如TA不是自己实验室人的话，学弟们下学期修就要小心啦......
: 结论：认真上课，还是会有收获的啦！
我也觉得教太慢
不过这是我修过最好的课
只是作业太少，修起没劲
: 逻辑合成与验证 江介宏老师（电子所、电机所） 评价：★★★★
: 电脑与网路安全 雷钦隆老师（电子所、电机所） 评价：★★★★☆
: 稍候补上，休息先，好累喔。
: ※ 编辑: Fiesta 来自: 140.112.42.250 (08/06 19:31)
: ※ 编辑: Fiesta 来自: 140.112.42.250 (08/06 19:32)
: ※ 编辑: Fiesta 来自: 140.112.42.250 (08/06 19:32)
: 推 civiltensai:我以为『评价：（不需要）』的意思是....XDXD 08/06 20:42
: 推 Fiesta:感谢吐真言喔 08/06 21:04
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.224.55.232
1F：→ bask:不过这是我修过最好的课~~我是说真的，cai不要说我狗腿 08/06 23:38
2F：→ cailinzan:我无言了…… 08/06 23:39
3F：推 durgon:....................................................... 08/06 23:40
4F：推 Fiesta:其实说真的，我还是学到很多东西的（後来都有用到） 08/06 23:43
5F：推 bask:因为什麽都不会的时候上，可以学到最多 08/06 23:48