Logic COMP2620
Indicative assessment
More information may be available for enrolled students on the course website on Wattle
More information may be available for enrolled students on the course website at http://cs.anu.edu.au/courses/info/COMP2620
1
Assignments ;
Percentage: 50%
Details: Weekly small assignments. Some proofs, others web-based, via the "Logic for Fun" site.
Due date: Friday of each week
2
Final exam
Percentage: 50%
Details: Standard exam consisting of technical problems and questions requiring short essay answers.
Due date: End of semester.
