硕一上修课 人工智慧 许永真老师（资讯所） 评价：★★★★☆ 评分方式：期中考、作业、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)