试试Lean4当你的证明助教。推荐前置: Lecture notes and assignments week1-week6 >>更多

2022更新打1分主要是为了保持队形，防止被打。实际上这门课还是可以的，认真听可以学到一些（也许我知识比较匮乏），比如一些代码坏味道，团队协作，设计框架，虽然到期末只有一个印象了，还是得考前突击一下（看PPT看了就忘，哭了，考了耦合类型啥也记不住开始瞎扯）。作业里有一个小实验，是使用检测代码bug， >>更多

老师上课语速较快，balabala，主要是因为内容较多，所以没办法。课程都是介绍性质的，没有比较深入的内容。因此知识点繁多且琐碎。不过有A4纸考试就没什么问题了。课程讲自顶向下讲应用层、传输层、网络层、链路层，然后是链路层拓展——无线和移动网络。最后是安全，主要是加密算法和一些安全协议。实验有DNS >>更多