Syllabus
注意事项
-
有一个flipped model 我们得在课后通过分配的阅读任务,自习讲义的导师评论,解决课堂未涉及的材料所导致的问题。 在课堂内,导师会介绍并且提供每一个topic的一个总的介绍,答疑之前的内容,监督小组活动。 * 需要自己课前勤勉的准备以及充分的参与 *
-
前置课程: 离散结构应用(未掌握) 、 CIS专业的编程能力、 基础的算法和数据结构。
需要比较猛的英语能力(上课了再说,可能会有很多讨论和presentation) -
上课chapter : 1、2、3、4、6、8、9、10、27(online)以及Introduction to Proofs of Correctness
-
two or three safety-critical system accidents/failures that resulted in the loss of life.
第二第三次课要讨论的内容。 期末要考没事 -
没事别缺席,混脸熟有好处。
-
评分标准: 出席课堂活动35%、project的深度30%、考试成绩(没有期中考试)30%。
-
syllabus 上有试题