【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/cn.aspx?n=bbs/PLT/M.1433577855.A.799.html ※ pa4373:转录至看板 NTU 06/06 16:04 ※ pa4373:转录至看板 NCCU 06/06 16:05