[網宣] 邏輯、語言與計算暑期研習營 (FLOLAC'15)

看板PLT (程式語言與理論)作者pa4373 (小龐)時間9年前 (2015/06/06 16:04)推噓2(2推 0噓 0→)

留言2則, 1人參與討論串1/1

【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://www.ptt.cc/bbs/PLT/M.1433577855.A.799.html ※ pa4373:轉錄至看板 NTU 06/06 16:04 ※ pa4373:轉錄至看板 NCCU 06/06 16:05