※ 引述《Fiesta (佛埃斯特)》之銘言：
: 碩一上修課
: 人工智慧 許永真老師（資訊所） 評價：★★★★☆
人工智慧很久前紅過
大二修過，很慘，因為都用prolog and ml
我的覺的教的還好而已，我的印象是混課
看來上課內容改很多
: 評分方式：期中考、作業、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