作者demintree (Mirabelli's back in tow)
看板CSSE
标题Re: FLOLAC 2008 「逻辑、语言与计算」暑期研习营
时间Sun Apr 27 04:29:58 2008
: --
:
※ 发信站: 批踢踢实业坊(ptt.cc)
: ◆ From: 123.192.157.71
: 推 popux:请问可以旁听吗 04/24 21:33
: 推 Wolfram:我也想知道 04/25 16:09
: → noctem:我去问一下之後再答覆 :) 04/25 23:20
: 推 demintree:直接去报名就好啦~~~ 04/26 02:12
: → demintree:去年我有参加,我觉得收获不少 04/26 02:13
: → demintree:不过进修推广部的学分,很多研究所都不能抵就是了 04/26 02:14
: → demintree:去年有人旁听,但为数不多...真的修下去收获会比较多 04/26 02:15
: 推 yen3:可以旁听的话,我就可以向系上学弟妹推荐了:) 04/26 10:54
: 推 popux:大学部的去会不会听不懂 不知道需要什麽预备知识 04/26 14:56
我说明一下好了,
这门课的重点就是逻辑,
因为只有短短的两周的时间,所以一切的进度都是很快的
像是第一次上逻辑课就会把经典逻辑讲完
第二次就会把intuition logic、nature deduction讲的差不多
然後还会教你写functional language,应该还是教ocaml
进阶的课程几乎都是以逻辑和functional language做为基础
然後我记得,去年中研院上课有提供便当,而且还不错吃XD
建议
对逻辑要有一点了解,至少知道first oder language会比较轻松
functional language是从头教的,比较不用担心
重点是你这两个礼拜最後把其他计画完全空下来,
因为教的东西很多,每一堂课都会出作业,
回去看懂书和写作业将会花你不少时间
对逻辑以及程式推导有兴趣的人,只要你肯花时间,
绝对可以学到不少东西
--
我是不太建议旁听啦,因为教的东西很多、很广
很容易一下子就跟不上进度了,
反而是你原本就对这些比较了解的,旁听才有效果
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.113.195.214
1F:→ demintree:btw 我去年也是大学部毕业,所以大学部毕业也可 04/27 04:30
2F:→ DreamLinuxer:楼上超强者 04/30 20:29
3F:推 spanky:楼上超强者 06/03 19:06