PLT 板


看板 PLT  RSS
「只要对 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 banacorn:转录至看板 CSSE 05/14 14:06
1F:→ jokester:不在台湾TAT 晚些有计划放出录画吗? 05/14 14:06
2F:→ viw:我来问问哦~~~ 05/15 16:34
3F:→ viw:如果有录影我们会再更新在网站上的!但目前计画仍然未知…… 05/17 00:31
4F:推 cmlrdg:推~我曾经以无学籍之社会人士身份旁听XD 06/06 06:49







like.gif 您可能会有兴趣的文章
icon.png[问题/行为] 猫晚上进房间会不会有憋尿问题
icon.pngRe: [闲聊] 选了错误的女孩成为魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一张
icon.png[心得] EMS高领长版毛衣.墨小楼MC1002
icon.png[分享] 丹龙隔热纸GE55+33+22
icon.png[问题] 清洗洗衣机
icon.png[寻物] 窗台下的空间
icon.png[闲聊] 双极の女神1 木魔爵
icon.png[售车] 新竹 1997 march 1297cc 白色 四门
icon.png[讨论] 能从照片感受到摄影者心情吗
icon.png[狂贺] 贺贺贺贺 贺!岛村卯月!总选举NO.1
icon.png[难过] 羡慕白皮肤的女生
icon.png阅读文章
icon.png[黑特]
icon.png[问题] SBK S1安装於安全帽位置
icon.png[分享] 旧woo100绝版开箱!!
icon.pngRe: [无言] 关於小包卫生纸
icon.png[开箱] E5-2683V3 RX480Strix 快睿C1 简单测试
icon.png[心得] 苍の海贼龙 地狱 执行者16PT
icon.png[售车] 1999年Virage iO 1.8EXi
icon.png[心得] 挑战33 LV10 狮子座pt solo
icon.png[闲聊] 手把手教你不被桶之新手主购教学
icon.png[分享] Civic Type R 量产版官方照无预警流出
icon.png[售车] Golf 4 2.0 银色 自排
icon.png[出售] Graco提篮汽座(有底座)2000元诚可议
icon.png[问题] 请问补牙材质掉了还能再补吗?(台中半年内
icon.png[问题] 44th 单曲 生写竟然都给重复的啊啊!
icon.png[心得] 华南红卡/icash 核卡
icon.png[问题] 拔牙矫正这样正常吗
icon.png[赠送] 老莫高业 初业 102年版
icon.png[情报] 三大行动支付 本季掀战火
icon.png[宝宝] 博客来Amos水蜡笔5/1特价五折
icon.pngRe: [心得] 新鲜人一些面试分享
icon.png[心得] 苍の海贼龙 地狱 麒麟25PT
icon.pngRe: [闲聊] (君の名は。雷慎入) 君名二创漫画翻译
icon.pngRe: [闲聊] OGN中场影片:失踪人口局 (英文字幕)
icon.png[问题] 台湾大哥大4G讯号差
icon.png[出售] [全国]全新千寻侘草LED灯, 水草
伺服器连线错误,造成您的不便还请多多包涵!
「赞助商连结」






like.gif 您可能会有兴趣的文章
icon.png[问题/行为] 猫晚上进房间会不会有憋尿问题
icon.pngRe: [闲聊] 选了错误的女孩成为魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一张
icon.png[心得] EMS高领长版毛衣.墨小楼MC1002
icon.png[分享] 丹龙隔热纸GE55+33+22
icon.png[问题] 清洗洗衣机
icon.png[寻物] 窗台下的空间
icon.png[闲聊] 双极の女神1 木魔爵
icon.png[售车] 新竹 1997 march 1297cc 白色 四门
icon.png[讨论] 能从照片感受到摄影者心情吗
icon.png[狂贺] 贺贺贺贺 贺!岛村卯月!总选举NO.1
icon.png[难过] 羡慕白皮肤的女生
icon.png阅读文章
icon.png[黑特]
icon.png[问题] SBK S1安装於安全帽位置
icon.png[分享] 旧woo100绝版开箱!!
icon.pngRe: [无言] 关於小包卫生纸
icon.png[开箱] E5-2683V3 RX480Strix 快睿C1 简单测试
icon.png[心得] 苍の海贼龙 地狱 执行者16PT
icon.png[售车] 1999年Virage iO 1.8EXi
icon.png[心得] 挑战33 LV10 狮子座pt solo
icon.png[闲聊] 手把手教你不被桶之新手主购教学
icon.png[分享] Civic Type R 量产版官方照无预警流出
icon.png[售车] Golf 4 2.0 银色 自排
icon.png[出售] Graco提篮汽座(有底座)2000元诚可议
icon.png[问题] 请问补牙材质掉了还能再补吗?(台中半年内
icon.png[问题] 44th 单曲 生写竟然都给重复的啊啊!
icon.png[心得] 华南红卡/icash 核卡
icon.png[问题] 拔牙矫正这样正常吗
icon.png[赠送] 老莫高业 初业 102年版
icon.png[情报] 三大行动支付 本季掀战火
icon.png[宝宝] 博客来Amos水蜡笔5/1特价五折
icon.pngRe: [心得] 新鲜人一些面试分享
icon.png[心得] 苍の海贼龙 地狱 麒麟25PT
icon.pngRe: [闲聊] (君の名は。雷慎入) 君名二创漫画翻译
icon.pngRe: [闲聊] OGN中场影片:失踪人口局 (英文字幕)
icon.png[问题] 台湾大哥大4G讯号差
icon.png[出售] [全国]全新千寻侘草LED灯, 水草

请输入看板名称,例如:WOW站内搜寻

TOP