「只要对 theoretical computer science稍微有兴趣的人， 没去一定会後悔得哭出来！特别今年是关於languages 的主 题，就是那些 type systems、denotational semantics 之 类的东西！跌断手都要去的呀！」 --历任参加者A（兼讲师） 「这些人超有诚意的！讲什麽东西都怕你不懂，从最最基础的 东西开始解释，哪像某物理系暑期课程，老师一上台就『我 assume 你们都有点 xxx 的基础…… 』 XD」 --历任参加者B（数学系参加者） 「学到了非常多东西，也认识了一些很厉害的朋友。另外也看 到了很多的外国讲师（据说都是大师！）。最後一天考完还有 pizza吃到饱！想学些新东西的同学一定要来参加一下！」 --历任参加者C 「自从连续参加两年 FLOLAC 之後，虽然从此每次考试都没有 一百分，但还是学到不少东西，交了不少新朋友，还找到硕班 指导教授……那麽好康的课一定要来阿～～～（激动）」 --历任参加者D 「FLOLAC'12 表面的课表虽然是逻辑与函数式编程，内容却颠 覆了我对程式设计的认知，例如好的程式语言竟然可以由数学 逻辑支持而非完全依赖工程经验。」 --历任参加者E（资讯系参加者） 2014 「逻辑、语言与计算」暑期研习营暨学分班 (FLOLAC '14) http://flolac.iis.sinica.edu.tw/flolac14/ 现在就报名旁听-----> email 至 [email protected] 现在就准备选课-----> 非台大学生6/4, 5；台大学生6/12, 13 日期：2014 年 6 月 30 日 (周一) 至 7 月 11 日 (周五)，共计十天。 时间：每周一至周五早上九点十分至下午四点二十分。 地点：国立台湾大学，预计将在新生教学大楼。 对象：对数理、逻辑与编程感兴趣的大学或研究所在学学生及相关行业工作者。 简介 本课程将讲授程式语言与型式验证领域之入门理论与知识，包含逻辑、λ演算 (Lambda Calculus)、函数编程 (Functional Programming)、型别系统 (Type System)、 语意 (Semantics)、领域特定语言 (Domain-Specific Languages)等等，希望培养学生以 型式逻辑进行清晰思考的能力，了解逻辑与程式语言、型别系统的密切关系，以及型别系 统在程式语言中扮演的角色，使学生能以归纳、递回方式理解并解决程式设计问题，能运 用软体工具辅助逻辑推理并证明程式之正确性，并具备在程式语言相关领域进行研究的能 力。 自 2012 年起，本研习营正式成为台湾大学暑修课程，针对大学部学生开课，但亦欢 迎研究生选修。台湾大学学生可透过国立台湾大学暑期课程网选课，有学籍之其他学校学 生可透过校际选修选课。无学籍之社会人士也可旁听。 课程安排、报名资格、费用、其他注意事项等详细资讯详见课程网页 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 220.136.86.37 ※ 文章网址: http://webptt.com/cn.aspx?n=bbs/PLT/M.1400035734.A.5FD.html ※ 编辑: viw (220.136.86.37), 05/14/2014 10:52:15 ※ viw:转录至看板 Math 05/14 14:02

※ 发信站: 批踢踢实业坊(ptt.cc) ※ 转录者: banacorn (140.113.123.102), 05/14/2014 14:06:04 ※ 编辑: banacorn (140.113.123.102), 05/14/2014 14:07:20 ※ suhorng:转录至看板 logic 05/14 15:56