对于我这种渣渣,陈老师的课我是基本听不懂的。不过还好论文要求不是很高,最后在舍友推荐下硬着头皮看了几章计算理论导引,终于写出论文,过了。 >>更多
大水课,没什么好说的 >>更多
课程是讲座性质的,内容难度很大,不太适合大一学。课程内容主要和计算模型和程序验证、推理什么的有关。平时没有作业。但是期末交一篇相关的报告就可以,并不是很困难,只要写的差不多都可以过。 >>更多