占大概是这个学期最能听的一门课至少硬件环境最好，教室/桌面很大，人不多可以随便坐，而且高活这个办公椅是我坐过最舒服的椅子在这上课太爽了 >>更多

这门课是数理逻辑的升级版，我学的不好，大致意思是把问题表示成变量的表达式(形式化)，条件包含3个公理等，然后用搜索、剪枝、线性规划等技术，在解空间里求符合条件的解答最后一部分是用符号和公理证明数学定理，比较有意思，最近有个新闻也是在干这个，https://www.jiqizhixin.com/art >>更多

出生（nmd pksq 非要凑10个字是吧） >>更多

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

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

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

作业反馈一点不及时，学期内的每次作业要求大家按时交，逾期扣分。自己却拖到期末之后再改，嘴上说着一天能出分，最后拖10天。。。在批改大作业的过程中则是在群里声称发现很多同学存在抄袭行为，希望同学们主动发邮件坦白，搞得半夜十二点半起码十几二十个人睡不着觉。。。。为什么不能直接私聊抄袭的同学呢？给分方面， >>更多

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

上课&内容：其他评课已经讲述的十分清楚了，老师上课的确非常认真负责且讲的很好，但是写作业的时候会发现有些需要用到的内容在讲课中并未提及，在对老师上课态度的负责上我十分尊重，正因此不会打1分。作业&实验：这门课的作业几乎全部是学期末所有作业&实验全部提交后进行给分的，在作业中并未明确表明什么内容应该被 >>更多

道歉信尊敬的老师、助教：感谢你们在一学期的教学付出，使这门课有精美的PPT、优质的授课和及时的解答。可以看得出来各位工作者也很希望把这门课做成一门优秀的课程。可惜我实在是太菜了，我也很想好好的回看PPT和讲义，但是我不仅没时间还懒，真的很愧对老师和助教的付出。我的作业从第三次开始就没怎么好好写，实验 >>更多