网安三年来综合体验最好的课程之一，老师人非常好讲得也好，如果上课听了的话作业应该没什么难度，第一次接触形式化方法还是很有意思的，没有考试，大作业给杀戮尖塔做了个形式化建模拿了4.3😋 >>更多

大概是这个学期最能听的一门课，收获很多 至少硬件环境最好，教室/桌面很大，人不多可以随便坐，而且高活这个办公椅是我坐过最舒服的椅子在这上课太爽了 所有PPT都挺好的，只有Software Analysis: AI and CEGAR 这节有点抽象，作业几乎全要靠自己猜。建议换点例子或者换点题目 作业 >>更多

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

量信培养方案里的“宝藏课程”，这门课看似与量信没有关系，实际上确实关系不大，还不如另外一门计算复杂性，不知道教务处编培养方案时咋想的。黄老师上课逻辑思维很清晰，听着非常舒服，感觉对于非计院的同学需要有一些数理逻辑和编译原理的基础会学的更轻松。出分了，做了两个大作业最后还是喜提84，估计是选课的同学太 >>更多

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

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

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

本门课程大概讲述的是形式化方法(Formal Methods)的一部分具体地说，是SAT/SMT Solver (DPLL & CDCL算法, Z3)和Model Checking(LTL, CTL逻辑, Fix-point, ROBDD, NuSMV)最后一节课简单介绍了ProVerif, Dol >>更多

计科之鉴，建议计科的其他课程都向这门课学学。 >>更多

写完大作业了，必须给黄老师打10分，人帅心善讲得好😭教学方法：9/10老师上课以 PPT 为主，但不是纯念 PPT，会对 PPT 内容做补充讲解，或者代码演示，讲解的内容非常到位。虽然大部分人是不听讲的，但是老师依旧非常尽职尽责，课程主页的PPT还一直在更新，绝对不是古董。一学期有两三次签到吧，没有 >>更多