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