【大家来评课】形式化方法(12硕SZ) -华保健
软院网【大家来评课】！==================================
课程简介：
课程名称上课时间地点任课教师助教
形式化方法 (苏州班) 6-17 周_周二_下午(6，7，8，9)_C112_苏州
2-4 周_周二_下午(6，7，8，9)_C112_苏州华保健袁宇丹韩亚慧
课程简介
This course will introduce concepts and technologies on formal methods foundation. General topics include logics, type theory, functional programming, module system, Curry-Howard isomorphism, type system, model checking etc.
学时学分类型先修课程参考书课程（教师）主页考试方式答疑安排
603电信软件工程_基础课,嵌入式系统设计_基础课,软件系统设计_基础课,软件项目管理_基础课,系统芯片设计_基础课,信息安全工程_基础课
课程资源：
(待添加，在真实校友认证的资料区)
课程评价：
跟帖形式不限，回帖有奖励，如果评价中肯详细，更有版主及管理人员额外的加分奖励。
谢绝顶贴和灌水！！！
参考评价形式：
1.教学老师
2.课程本身
3.课程教材
4.上课课件
5.作业试验
6.工作实用性
7.总体感受
等等，请同学们自由发挥。
最后，感谢大家为软院网，科大软件学院，还有以后的学弟学妹们贡献的一份力！
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分，刚考过第一次期中，第一次卷子还是蛮简单的，木有出现学长说的交白卷的情况。。。
推荐！！ 请问12硕SZ是什么意思？是指与深研院联合培养吗？ 补充问，SZ是深圳还是苏州意思? wxxixi 发表于 2012-11-11 11:18 static/image/common/back.gif
补充问，SZ是深圳还是苏州意思?
苏州 保健哥的课，一般都都要选，而且这门课是软设专业所有课中作业最多的了吧，估计一周要花20+个小时在作业上。作业主要是偏难，但是没有纯数学难，学的是一种抽象化的思维，比较推荐 好课 一定要选 肖斐 发表于 2012-11-15 01:40
保健哥的课，一般都都要选，而且这门课是软设专业所有课中作业最多的了吧，估计一周要花20+个小时在作业上 ...
和数学的关系大不大呢？我数学不好，很害怕数学的
页:
[1]