老师人很好，给分也不错，但上课就是念ppt而已，对学生要求很低，有实验哦 >>更多
给分很差，不建议选，上课和考试内容没啥关系啊！！！ >>更多
这门课是挂科重修的。王建伟老师不愧是金牌教练，我的初等数论也是王建伟老师教的。不同的人讲课，真是天差地别。这次总算是学明白了一些。不过对数理方程还是不太感兴趣，大概是常微分方程和偏微分方程两门数学系课程的工程简化版吧。我这个做 CS 偏系统的用不到这些理论分析。 >>更多
数理方程太难了，期末考试前突击了两天，把作业赶完了，但还是挂科了……大概跟我之前没学好微积分和复变函数有关系吧。上课也没去过几次，作业最后才集中做的。现在都想不起来数理方程学了什么了。当时我在瀚海星云 BBS 上发了一个帖子，建议计算机学院允许自由选修数理基础课程，其中最主要的就是数理方程。引起了挺 >>更多
具体数学是很重要的一门博士生基础课，高德纳（Donald Knuth）老爷子亲自写的书《Concrete Mathematics》。具体内容就不多说了，不想当纯码农的程序员必读。其实很建议本科生的《组合数学》课程用《具体数学》这本教材，写得比国内的教科书好多了。博士生课一般研一上课。应该是我研一下学 >>更多
老师很负责，他的授课特点就是会给你补充很多的内容，但是只给你点一下，就当做你已经学会了，学得好的同学会收获很多，差的同学收获一般。总体而言，还是比较推荐这个老师的。 >>更多
段老师人很好啊，上课思路清晰，作业也不多，就是有一点，不会调分 >>更多
这门课是讲 Coq 形式化证明。内容涵盖了程序设计语言理论的多个方面，上完这门课大概就入门了这个研究领域。作业是用 Coq 写证明，由于跟命令式编程语言的思维方式不同，需要比较长的时间才能写出来。冯教授上课经常用投影现场写代码或者展示代码，因此要坐在比较靠前的位置才能看清。不过这不是个问题，因为这门 >>更多