这门课是讲 Coq 形式化证明。内容涵盖了程序设计语言理论的多个方面,上完这门课大概就入门了这个研究领域。作业是用 Coq 写证明,由于跟命令式编程语言的思维方式不同,需要比较长的时间才能写出来。冯教授上课经常用投影现场写代码或者展示代码,因此要坐在比较靠前的位置才能看清。不过这不是个问题,因为这门 >>更多
助教总结的课程提纲(推荐):中科大算法设计与分析.pdf课程由分布式算法和随机算法两部分组成。分布式算法 PPT:第一次课(Modified).ppt第二次课(Modified).ppt 第三次课(Modified).ppt第四次课(Modified).ppt第五次课(Modified).ppt 第 >>更多
课程有点名,需要期末考试。讲的内容跟本科的数据挖掘课程差不多,不过研究生课程对理论分析要求更高一些,比如需要推导感知机的梯度下降和反向传播公式。教材:数据挖掘导论(完整版).pdf数据挖掘导论(完整版) 习题答案.pdfIntroductionToDaraMining.pdf 课件:ch2.pdfc >>更多
这门课讲得不错,张信明老师每节课都会给讲一些好玩的故事或者比喻,把无线自组织网络这个比较抽象的领域讲得生动形象。最后这门课要求交一篇 IEEE 格式的调研论文(survey)。我当年的课程论文:SA14011026_李博杰.pdfSA14011026_李博杰.docx >>更多
我听了两节课,觉得挺无聊,就退课了。crypto-1.pptcrypto-2.pptIntroduction_to_Modern_Cryptography.pdf >>更多
高级数据库,其实就是分布式数据库。PPT:addb1.pdf addb2.pdf高级数据库试题扫描版.rar数据库作业答疑2012.pdf分布式数据库答案.pdf数据库实验资料:实验相关资料.zip2014高级数据库课程实验.ppt分布式实验详细文档.doc >>更多