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