【FLOLAC'15 招生開始！】 軟體已經成為世界運作的一部分，coding也成為新時代的基本能力之一， 連美國總統歐巴馬也呼籲年輕人一起來Coding。 但Coding上手容易精通難，你是否曾就為了神秘BUG而好幾天都睡不著覺， 程式執行的結果總跟想像中的不一樣，反覆測試好多次， 逐行檢查程式碼，或許花上幾天幾夜，但成效卻不盡人意？ 與其埋頭苦幹，你想不想知道手上的裝置， 到底怎麼理解你的程式，怎麼執行？ 想像一下，如果有辦法能有效的指出設計怪怪的地方，是否能更有效揪出臭蟲！ 程式的執行建立在邏輯與計算理論的基礎之上， 也就是裝置「看待」指令時的思維，硬體邏輯，軟體指令集，都是如此。 如果能了解相關知識與理論，並且針對各類領域發展適合的應用， 便可能迅速了解盲點，這也是程式驗證的重要之處！ 再輔以適當的工具進行修正，你的開發與設計都可更加得心應手， BUG將難以苟且偷生，更使你能滿足現今硬體設計需求！ 2015今年夏天，台灣大學「邏輯、語言與計算」暑期研習營， 也帶著滿滿的熱忱開班授課啦！ 主題涵蓋邏輯與計算理論、模型檢查，各類驗證的應用。 同時因為是正式暑修課程，只要花兩星期修課，考核通過就能拿3學分！ 如此超值，千萬別錯過！ 開課時間在7/6-7/17，共計十天， 我們在台大醉月湖畔的新生大樓，一起為自己充電！ 外校生報名期間為6/10-6/11，台大學生初選時間為6/17-6/18， 詳情請見報名資訊頁：http://flolac.iis.sinica.edu.tw/flolac15/ --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.119.19.248 ※ 文章網址: https://webptt.com/m.aspx?n=bbs/PLT/M.1433577855.A.799.html ※ pa4373:轉錄至看板 NTU 06/06 16:04 ※ pa4373:轉錄至看板 NCCU 06/06 16:05