软院网【大家来评课】！
==================================
课程简介：

课程名称	上课时间地点	任课教师	助教
形式化方法 (苏州班)	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.

学时

学分

类型

先修课程

参考书

课程（教师）主页

考试方式

答疑安排

60

3

电信软件工程_基础课,嵌入式系统设计_基础课,软件系统设计_基础课,软件项目管理_基础课,系统芯片设计_基础课,信息安全工程_基础课

课程资源：
(待添加，在真实校友认证的资料区)

课程评价：
跟帖形式不限，回帖有奖励，如果评价中肯详细，更有版主及管理人员额外的加分奖励。
谢绝顶贴和灌水！！！

参考评价形式：
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
补充问，SZ是深圳还是苏州意思?

苏州

保健哥的课，一般都都要选，而且这门课是软设专业所有课中作业最多的了吧，估计一周要花20+个小时在作业上。作业主要是偏难，但是没有纯数学难，学的是一种抽象化的思维，比较推荐

好课 一定要选

肖斐 发表于 2012-11-15 01:40
保健哥的课，一般都都要选，而且这门课是软设专业所有课中作业最多的了吧，估计一周要花20+个小时在作业上 ...

和数学的关系大不大呢？我数学不好，很害怕数学的