占大概是这个学期最能听的一门课至少硬件环境最好，教室/桌面很大，人不多可以随便坐，而且高活这个办公椅是我坐过最舒服的椅子在这上课太爽了前面PPT都挺好的，Software Analysis: AI and CEGAR 这节有点抽象，作业几乎全要靠自己猜。建议换点例子或者换点题目作业反馈一点不及时，学 >>更多
事实上讲课内容还是很优质的，陈教授人也很好，不过作业跟上课讲的内容关联不是很大，主要靠老师附的几篇论文做。陈教授本人是做图形学、几何建模方向的，基本每个作业都有一个选项是图形学（夹带私货），总的算下来5次上机作业任务量中等（个人一次平时作业做一个周末差不多）。以及不点名，教室里人是真少啊。主要还是很 >>更多
今天刚考完，卷子真的写懵了，有同学想交流一下的吗（成绩出了再来写长评） >>更多
受不了了今天我必须狠狠的过来锐评一手。先用我的心路历程来吸引读者阅读兴趣。这课出总评很快，几乎是考完没几周就出总评了。我个人感觉老师并没有仔细检查过成绩，急匆匆就出分了。为何这么说呢？因为刚开始第一次出总评的时候，刚和女友约会玩，美美走在回学校的路上，结果一看成绩，没评教，看不了，一看自己绩点，至少 >>更多
老毕登，写个作业还要附带才艺表演，没交才艺就不给优秀，你当TM是选秀呢，唱歌画画弹琴书法一个劲往群里发，纯种<span style="background:black;color:black;">请文明用语</span>玩意。开学就建了个群，正经事一点都不讲，就nm天天扯淡吵架挑拨离间，真是坏透了PS：还有交了7份作业的卷狗，疑似AI作图的才艺，小学生水平的折纸和作诗…各种凑数的玩意，真尼玛恶心人，照我说 >>更多
总体来说这个课体验还行，平时不用听，上课PPT太多了，有三次点名，不过貌似没啥用，不怎么占分，复习建议留三天以上。至少要把lite版PPT过一遍，可以只复习老师给的考纲上面的东西，理解的话，可以看高源学长的学习指导，很好，唯一不足就是和老师最新的内容有点差异，记得一定要看作业题。复习三天，捞到85， >>更多
神，只看了一个小时ppt去考试，这都能拿3.0，上天有好生之德 >>更多
这学期我的课冲突了，周五上午的组合数学和高级体系结构撞了，所以不得已选了这门课（这里不得已指的是评课社区给出的分数太低了）。但是上完一学期的课，相比于往届是有改进的，感觉评分不太公平，所以来回答一波。分数占比：30%三次作业，10%两次签到类型的小测，60%考试。之前是有10分的小论文要求的，这个学 >>更多
最轻松的实验课🤤，给分还好 >>更多