: -- :

※ 发信站: 批踢踢实业坊(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