对于我这种渣渣，陈老师的课我是基本听不懂的。不过还好论文要求不是很高，最后在舍友推荐下硬着头皮看了几章计算理论导引，终于写出论文，过了。 >>更多

大水课，没什么好说的 >>更多

课程是讲座性质的，内容难度很大，不太适合大一学。课程内容主要和计算模型和程序验证、推理什么的有关。平时没有作业。但是期末交一篇相关的报告就可以，并不是很困难，只要写的差不多都可以过。 >>更多