老师很负责,他的授课特点就是会给你补充很多的内容,但是只给你点一下,就当做你已经学会了,学得好的同学会收获很多,差的同学收获一般。总体而言,还是比较推荐这个老师的。 >>更多
段老师人很好啊,上课思路清晰,作业也不多,就是有一点,不会调分 >>更多
这门课是讲 Coq 形式化证明。内容涵盖了程序设计语言理论的多个方面,上完这门课大概就入门了这个研究领域。作业是用 Coq 写证明,由于跟命令式编程语言的思维方式不同,需要比较长的时间才能写出来。冯教授上课经常用投影现场写代码或者展示代码,因此要坐在比较靠前的位置才能看清。不过这不是个问题,因为这门 >>更多
助教总结的课程提纲(推荐):中科大算法设计与分析.pdf课程由分布式算法和随机算法两部分组成。分布式算法 PPT:第一次课(Modified).ppt第二次课(Modified).ppt 第三次课(Modified).ppt第四次课(Modified).ppt第五次课(Modified).ppt 第 >>更多
课程有点名,需要期末考试。讲的内容跟本科的数据挖掘课程差不多,不过研究生课程对理论分析要求更高一些,比如需要推导感知机的梯度下降和反向传播公式。教材:数据挖掘导论(完整版).pdf数据挖掘导论(完整版) 习题答案.pdfIntroductionToDaraMining.pdf 课件:ch2.pdfc >>更多
这门课讲得不错,张信明老师每节课都会给讲一些好玩的故事或者比喻,把无线自组织网络这个比较抽象的领域讲得生动形象。最后这门课要求交一篇 IEEE 格式的调研论文(survey)。我当年的课程论文:SA14011026_李博杰.pdfSA14011026_李博杰.docx >>更多