┭┮﹏┭┮上课应该还好，虽然我很多时候都听不懂，经常感觉自己的关注点和授课的关注点不一致；一直到model checking基础部分体验都还比较好，后面感觉真的力不从心。作业体验确实不好，作业里算法遇到的情况大大超出了课题上示例的范围，而且我不认为这是通过思考和不多的参考就能解决的问题，典型如最后一 >>更多

课讲得挺好。编程作业一些背景设置挺吸引人的，核心都是课上的算法，不难但有收获。考试考证明，扣一分。反观作业基本是计算，跟考试没一点关系，扣一分。给分实属杀手，平时分接近满的卷面分超平均分了能这么低真是出乎意料，扣两分。 >>更多