Show/hide contentOpenClose All
Curricular information is subject to change
Upon sucessfully completing the module you should be able to perform basic equational proofs. You should be familiar with the proof strategies and techniques covered in the module and be able to choose appropriate ones when faced with a theorem to prove.
You should be familiar with the quantified notation used and be able to manipulate quantified expressions.
You should be able to perform inductive proofs.
Student Effort Type | Hours |
---|---|
Lectures | 24 |
Tutorial | 12 |
Autonomous Student Learning | 70 |
Total | 106 |
none
Description | Timing | Component Scale | % of Final Grade | ||
---|---|---|---|---|---|
Assignment: Take-home assignment 1 | Varies over the Trimester | n/a | Graded | No | 20 |
Examination: End of Semester examination | 2 hour End of Trimester Exam | No | Graded | No | 40 |
Assignment: Take-home assignment 2 | Varies over the Trimester | n/a | Graded | No | 20 |
Continuous Assessment: Mid-Term Test | Unspecified | n/a | Graded | No | 20 |
Resit In | Terminal Exam |
---|---|
Spring | Yes - 2 Hour |
• Group/class feedback, post-assessment
Not yet recorded.