ANU澳洲国立大学COMP1600辅导

澳洲国立大学ANUCOMP1600辅导

这是一门关于逻辑的课程包含propositional logic, first order logic, hoare logic，基础的图灵机概念。

这门课平时的assignments比较好拿分，但是final exam 可能会比较刁钻，但是这门总体来说在CECS算是非常基础重要且好拿分的课。

3个assignments 占比重50%，千万千万不能忽略！！