刘老师教课水平一流，收获很多，无奈内容太多时间太少跳过了很多内容，比如 opengl 的实验，shader 更是直接没讲。图形学还是很有意思的，看刘老师主页上的课题都很有趣，这课的课程实验也很有趣，能够做出很漂亮的结果。印象最深的是有次作业的附加题是实现刘老师 08 年一篇文章中的算法，肝了一整天没 >>更多
我自学过 haskell 和 agda。然后对 plt 十分感兴趣，所以选了这课，但是比较失望。我看了陈意云老师和张昱老师写的书《程序设计语言理论》，但这门课所讲的内容相比那本书浅太多了，上课内容基本是科普。 几次编程作业也比较简单，第一次是用 lua 写 rpc，大概一两百行？第二次是用 coq >>更多
王老师是真的不行，上课讲不清楚 >>更多
为什么要点名啊？为什么要课堂作业啊？ >>更多
心累，基础微积分就是我灾难的开端 >>更多
我电脑装的就是linux，之前有一定的基础，但是听课时还是感觉内容挺多的，可以类比一下元素化学课，那种一个知识点有一个知识点的讲述。 之后拿到了3.7，考完试感觉还行，但是看到课程群里貌似一片哀嚎，觉得可能如果没有基础的话听这门课会更惨一些吧？ >>更多
//关于考试（考完回忆的，但是一直忘了放出来，可能不全）1. 给一个单纯型表的最后一步，求一下原来的线性规划问题的系数（倒腾倒腾式子就行）2. 对偶单纯形法的性质，CX <= Yb 的应用3. 算一个产销不平衡的运输问题4. 给一个整数线性规划的一步，问割平面法应该怎么加约束 & 如果用分支定界法怎 >>更多
可以选，但没必要 夏季学期要玩就好好去玩，要学就自己看书/学软件/搞实验室，没事儿别选些莫名其妙的课 。不然玩也玩不好，学也学不到啥东西，，前车之鉴在此。 老师给了我3.3，我也意思意思给他们个8分吧。。。。。 >>更多