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 | 24 |
Autonomous Student Learning | 70 |
Total | 118 |
none
Description | Timing | Component Scale | % of Final Grade | ||
---|---|---|---|---|---|
Assignment(Including Essay): Take home assignment | Week 5 | Graded | No | 20 |
No |
Assignment(Including Essay): Take home assignment | Week 10 | Graded | No | 20 |
No |
Exam (In-person): End of term exam | End of trimester Duration: 2 hr(s) |
Graded | No | 60 |
No |
Resit In | Terminal Exam |
---|---|
Spring | Yes - 2 Hour |
• Group/class feedback, post-assessment
Not yet recorded.