我自学过 haskell 和 agda。然后对 plt 十分感兴趣，所以选了这课，但是比较失望。我看了陈意云老师和张昱老师写的书《程序设计语言理论》，但这门课所讲的内容相比那本书浅太多了，上课内容基本是科普。 几次编程作业也比较简单，第一次是用 lua 写 rpc，大概一两百行？第二次是用 coq >>更多
王老师是真的不行，上课讲不清楚 >>更多
为什么要点名啊？为什么要课堂作业啊？ >>更多
心累，基础微积分就是我灾难的开端 >>更多
我电脑装的就是linux，之前有一定的基础，但是听课时还是感觉内容挺多的，可以类比一下元素化学课，那种一个知识点有一个知识点的讲述。 之后拿到了3.7，考完试感觉还行，但是看到课程群里貌似一片哀嚎，觉得可能如果没有基础的话听这门课会更惨一些吧？ >>更多
//关于考试（考完回忆的，但是一直忘了放出来，可能不全）1. 给一个单纯型表的最后一步，求一下原来的线性规划问题的系数（倒腾倒腾式子就行）2. 对偶单纯形法的性质，CX <= Yb 的应用3. 算一个产销不平衡的运输问题4. 给一个整数线性规划的一步，问割平面法应该怎么加约束 & 如果用分支定界法怎 >>更多
可以选，但没必要 夏季学期要玩就好好去玩，要学就自己看书/学软件/搞实验室，没事儿别选些莫名其妙的课 。不然玩也玩不好，学也学不到啥东西，，前车之鉴在此。 老师给了我3.3，我也意思意思给他们个8分吧。。。。。 >>更多
老师人超级好，课间会放歌听。认真听课，多参与互动，最后拿个4.0还是可以的。 >>更多
课程难度不大，按个人兴趣选的，不过感觉并没有学到太多东西呃。作业都是认真完成的，最后拿了个B+，把gpa拉低了，奖学金因此掉了一个档次 (落泪.jpg >>更多