这学期授课全部由黄老师完成，解围老师担任助教。黄老师上课很用心，也讲得很好，而且很积极与学生互动，经常阶段性地关心同学们有没有听懂，每次课都会留半小时左右的时间给同学们课后提问。内容方面，前期主要是回顾和拓展了数理逻辑相关知识，后面会介绍该领域的一些基本知识和一些软件工具，印象最深的有SAT问题的求 >>更多

这个课程逻辑性很强，刚开始还好，中途有点跟不上，好在网上有往年的课程录像，反复多看几次也就懂了。值得肯定的是黄老师人很好，课件做的很完美，群里回消息也很快；助教人也挺好的，群开了匿名，方便我这种社恐问问题，平时作业看的严格，但最后的给分还行。 >>更多

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

不是一门水课，抱着水学分心态来选的同学快跑优点：考勤：本学期无考勤，但是以后很可能会有老师：老师本人经常在群里解答问题，也比较乐意听取意见；承诺不随意挂人PPT：在课程主页上及时发布，方便用电脑边听边做笔记缺点：PPT：全英文，而且真的就是用来上课的，不是讲义，自学的话非常痛苦作业：作业文档不给出详 >>更多

教学方法：10/10这门课全部由黄老师讲授，解围老师可能只是挂名的。黄老师应该是我这学期上的课老师里讲课最好的了，讲课深入浅出，一点也不枯燥。老师会提前把上课用的slide放在自己的主页上，可以自取。上课的时候还会有板书讲解与实机演示。看得出来，老师对教学还是很认真的，会听取同学的反馈对课堂教学作调 >>更多

老师讲课的水平很不错，是少有的上课认真听会很有收获感的课。讲的内容和数理逻辑有一定关系，不过我没上过数理逻辑进阶也能听懂大部分，听不懂的也不用深究，反正也不用考试。期末我只做了两个给定的实验，给分还可以。 >>更多

12给黄老师，8分给解助教老师，平均一下。黄老师上课真的非常认真，每次讲完知识点都会说有没有讲清楚，如果有同学说没理解还会再讲一遍。最后大作业评价的问题也是黄老师一起解决的，真的是我在科大碰到的最负责的老师之一。黄老师的口头禅是“事实上”，但是这个词听多了还是容易没搞懂事实上是什么。形式化方法这门课 >>更多

出分了，来评个课。首先老师讲课非常非常优秀，课件也非常非常用心，非常符合个人审美，给分也不吝啬（因为班里选课人数较少，与H班有不少重叠，老师跟教务处沟通后说给到40+优秀率是可以的）；而且很为同学着想，下课前会留20分钟给同学们答疑。接下来介绍下课程内容，楼上已经讲得很清楚了，我就补充一点：没记错的 >>更多

em 我在外实习 邮件问熊老师说会做录像但是目前似乎没有上传 有在校上课的同学能告知一下课程群吗（若有） >>更多

客观地讲，这门课确实是三年来上过的最优质的课程，体验非常好。没有考试，作业也少，讲课效果也好，而且能感觉到学了不少东西。最后考核方式是自选的大作业，也可以选很简单的任务。说真的，上完这门课，感觉最后给分多少已经无所谓了。 >>更多