碩一上修課 人工智慧 許永真老師（資訊所） 評價：★★★★☆ 評分方式：期中考、作業、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)