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

我没选上这门课，但是搞到了BB系统的课程录像，并用寒假时间看了一大半。今年的课程确实比以往进步很多，也证明了解析几何完全可以教成一门鉴课。盛茂老师的解析几何分为三部分：推理几何，坐标几何，几何变换（重点）。我推荐这门课，主要是看好盛茂老师对几何变换部分的讲解。这是能体现几何学核心思想的地方，是任何代 >>更多

4.3 上课舒适，没有什么难的东西，考试也比较简单，把上面那位好giegie的复习资料打印下来就没什么大问题，出分也快，上周五考的今天之前就出了 还可以让我来东区吃晚餐(｢･ω･)｢嘿，鸡杂粉丝实在太好吃了，清真食堂的炒面也好吃，可惜二楼的烤肉每次都卖完了(︶︹︺)哼 还有，祝老头子身体健康呀 >>更多

这门课很水，期末开卷，讲的东西也简单，计算都是最简单的东西（至少看起来如此）。作业很少，虽然有点像文科，不太好写。完全可以期末速成，只需一天时间。如果你愿意甚至可以现学。但是这门课可能有小测代点名，对总评有较大影响，本学期2次，一次期中一次最后一节课。个人建议是最后一节正课一定要去，他会讲有关考试的 >>更多

考完试出完分，简单说一下这门课程的内容吧～这门课名叫空物导论I，实际上就是磁层物理，简单介绍了磁层结构、磁层中激波和MHD波、和太阳风的作用、磁重联现象、磁层动力学等内容，内容不成很明显的体系（我自己感觉）但均和磁层相关，需要先修等离子体物理，参考书是太空物理学导论（其实我觉得这门课讲得一般～偏好， >>更多

人人都爱向爷爷！！！在混沌扭曲的生活中找寻一个避难所，怀着这样的想法选了这门课。老师人很好，无论是知识还是人品，更重要的是能感受到老师身上有种“中华气质”。虽是一门天文物理课，但向爷爷的课堂充满了人文气氛，旁征博引十分恰切，论述经典头头是道，听来令人神往。带你在这样的氛围中学习一些天体物理知识。所学 >>更多

先说说课程本身吧，很多同学觉得难，而且据说这是全科大挂科率前三的课，但其实吧。。。说难也不难，无非就是三类方程，每一类方程分为无界和有界情形，然后对不同问题用不同方法就好了，都是套路。上课听不听讲都无所谓，好好写作业题，考前刷几套往年卷，稍微总结一下，基本上问题不大了。再来说说宋老师，之前看评课社区 >>更多

以为是那种强度比较大的武术，结果是类似太极拳的养生操 >>更多

可能是新老师的原因，黄老师讲课不是很好，听不进去，上课效率不高。然后我放弃听课全程划水。（jk人，实际是不想学只想混个及格） 但是老师特别好，理解学生，讲解问题超耐心，特别关心我们。 作业只做了前面几次，后面的主要看同学的，然后考试前一周疯狂突击，专业课实验也没交，最后考试写错了好多地方。最后班里优 >>更多

课程内容应该还是有点用的；而且极为简单；作业：本人编程作业都是前一天写，写的过程极为痛苦，因为要动脑子；这个编程作业可以反映本人通过算法转化到程序的能力不大行；至少可以让你对书上几种古老的算法明白怎么用；虽然什么证明也跟作业无关；奇奇怪怪的问我向来是不会写/不愿意思考的；上课：没听过，没有发言权，但 >>更多