※ 本文是否可提供台大同学转作其他非营利用途？（须保留原作者 ID） （是／否／其他条件）：是 哪一学年度修课：104-1 ψ 授课教师 (若为多人合授请写开课教师，以方便收录) 穆信成 λ 开课系所与授课对象 (是否为必修或通识课 / 内容是否与某些背景相关) 资管系选修 δ 课程大概内容 课程大纲列的是： 0. Introduction 1. Introduction to Haskell --Functions, Values, and Types 2. Introduction to Haskell -- Simple Datatypes & Functions on Lists 3. Definition and Proof by Induction 4. A Quick Note on Type Classes 5. A Brief Discussion About Semantics 6. Domain-Specific Embedded Languages 7. Type and Logic 8. Hoare Logic ↓这个大纲是我自己上完，我觉得老师传递的，不知道我接收到的和老师原本想 传递的一不一样就是了！ 在程式部分，从functional programming导入，从最基础的语法、型别、资料结 构开始，接下来透过一些数学的运算探讨程式的性质，并了解程式与证明之间的 关系，以及证明程式的结果是正确的，最後再回归imperative programming。 在语言部份，探讨关於Datatype以及探讨语言中语意的意义，以及透过自己写的 一个小语言来解决一些专门的问题，顺便探讨语言的目的。 （当然老师在教的时候，是融合在一起教的） Ω 私心推荐指数(以五分计) ★★★★★ 从各方面来说都超棒，五星给推！ η 上课用书(影印讲义或是指定教科书) 老师会列印讲义发给我们，讲义也会贴在课程网页上。 μ 上课方式(投影片、团体讨论、老师教学风格) 老师今年改了一下上课方式，因为往年都是老师上课一直讲，然後练习题就自己 回家练习，考试就跟练习题蛮像的，但因为练习题不是强制要交的，所以大家都 没有回家练习，也不知道有没有理解，老师觉得这样学习效果低落，所以今年就 改成老师上课讲一个段落，会给时间让大家在下面自己练习，可能是手写证明或 者是用电脑写程式，老师这时候会下来巡，如果有同学有问题，老师就会和同学 讨论，等到老师看大家都差不多，老师会再讲解一下该练习题的作法，如果来不 及完成的同学，最後解答都会放置在课程网可供下载。 因此造成今年教的内容比往年少很多。 我觉得这样的教学模式，因为老师本身讲解非常清楚，再加上听完马上实作，不 论是对付考试，或是在观念理解建立上都很有帮助。 当然也许对於强者而言，老师的步调会过慢。不论是写程式或写证明，对於强者 而言，若一下子就完成，会觉得很冗，那或许可以用电脑做自己的事。但像我这 样平凡人觉得整体上还好，在前半学期老师在语法上确实是有点慢，可能是刚开 始这样的上课方式，老师没有掌握的那麽刚好，但後半学期基本上我觉得很不错 。 我觉得有些写程式的部分，自己真的拿电脑去实作，而且不用花费额外的时间， 觉得相当不错！在自己真的想过，但还是想不懂该怎麽办时，老师再一边当场写 给我们看一边讲解他写程式的逻辑，会印象深刻，收获很多。 →因为老师有给我们时间想过，不是单方面一直接收资讯，这点真的很不错！ 因为今年是第一次尝试这样的教法，最後老师有发问卷调查这样上课方式的评价 ，不知道以後会不会做一些调整。 σ 评分方式(给分甜吗？是紮实分？) 原定期中、期末考，高的60%低的40%，不过後来好像改成高的70%、低的30%。 。 ρ 考题型式、作业方式 无作业 考试主要就手写一些程式和证明，可以带任何资料进去考试。 我觉得老师考题出得超棒的！这一定要大大称赞！而且老师考卷是自己改的！ 期中考得很简单，（我觉得主要是因为范围少，而且观念不难），但你要彻底理 解才有办法答对每道题，结果期中考大家都考太高了，所以期末考就变难了！ 期末考蛮难的，但不是刁难，如果观念清楚，是可以答得出来！ →这是什麽意思呢？ 难而且刁难就是你看完解答你会觉得：这啥！？这怎麽有人想的到啊！ 难但不刁难就是你一开始看完题目，你觉得完全不知道怎麽下手，但是因为时间 很充足，你慢慢想绝对会有想法。就算真的没有算出来，你看到解答的时候，你 会觉得：喔~~~ 原来是这样啊~~好有道理喔！ ω 其它(是否注重出席率？如果为外系选修，需先有什麽基础较好吗？老师个性？ 加签习惯？严禁迟到等…) 出席率、迟到都不重要。冬天九点的课，到後来出席率应该不到一半吧！ 老师人超好，有问题去找老师讨论都很有耐心，绝对不会不耐烦，圣诞节还请有 来的同学吃金莎巧克力^^~~ 基础的话，建议至少会写任何一种程式就可以，虽然functional language跟其他 程式很不一样，不过老师会比较functional language和imperative programming 的一些性质，但只论考试内容的话，无基础应该也还可以。 外系看起来好像也只有电资学院的学生的样子，加签是一类加选，大家想加签就 直接上网加签吧！ Ψ 总结 如果可以自己看懂老师的讲义和练习题，都不想去上课，只来考试，也没问题。 不过我觉得这门课的价值在於老师上课口述的内容，这门课主要是给你一些对程 式和语言的一些想法，老师真的教的超棒！ --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 111.251.161.110 ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/NTUcourse/M.1453614366.A.FDF.html