软院网【大家来评课】! ================================== 课程简介:
课程资源: (待添加,在真实校友认证的资料区) 课程评价: 跟帖形式不限,回帖有奖励,如果评价中肯详细,更有版主及管理人员额外的加分奖励。 谢绝顶贴和灌水!!! 参考评价形式: 1.教学老师 2.课程本身 3.课程教材 4.上课课件 5.作业试验 6.工作实用性 7.总体感受 等等,请同学们自由发挥。 最后,感谢大家为软院网,科大软件学院,还有以后的学弟学妹们贡献的一份力! |
[职场| 业界·前辈·经验谈] 【大家来评课】形式化方法(12硕SZ) -华保健
callmesb
· 发布于 2012-11-10 22:33
· 5224 次阅读
转载文章时务必注明原作者及原始链接,并注明「发表于 软院网 RuanYuan.Net 」,并不得对作品进行修改。
1.教学老师 华保健,人称保健哥,非常赞的一位老师。 2.课程本身 一种新的编程思想——函数式编程思想 3.课程教材 无,课程设置来自于国外著名大学——普林斯顿的Computer Science 441——Programming Languages 网址如下:http://www.cs.princeton.edu/courses/archive/fall10/cos441/schedule.php 4.上课课件 无课件 5.作业试验 作业略多,无实验 6.工作实用性 提供了一个新的思考角度,或许没法对你的编码能力有直接影响,但是听了之后受益匪浅 7.总体感受 保健哥的课,必选!!! |
评分
保健哥的课!保健哥的课值得推荐!很厉害的老师,很有魅力,上他的课感觉很high。上课要求都带电脑,会带着我们一起写code。 课程本身比较难比较抽象,介绍函数式编程思想,很有启发性,老师还经常比较函数式、命令式、面向对象的区别,C和C++、C#,Java的区别等等,上课听的还是比较轻松的,老师每讲20分钟左右就会停下来问有没有不懂得。 木有教材,课程资源都在老师主页上。作业比较难,每次的作业量都不一样,做起来还是很有挑战性的。 总共3次考试,2次期中一次期末,每次20分,刚考过第一次期中,第一次卷子还是蛮简单的,木有出现学长说的交白卷的情况。。。 推荐!! |
评分
肖斐 发表于 2012-11-15 01:40 和数学的关系大不大呢?我数学不好,很害怕数学的 |