Show/hide contentOpenClose All
Curricular information is subject to change
Having attended this module, studied the material and done the exercises the student should....
Be able to construct proofs in predicate logic.
Be able to construct specifications for a range of problems.
Be able to calculate programs to meet these specifications.
Be able to apply generic solutions to specific instances of problems.
Student Effort Type | Hours |
---|---|
Lectures | 32 |
Tutorial | 16 |
Autonomous Student Learning | 80 |
Total | 128 |
Not applicable to this module.
Description | Timing | Component Scale | % of Final Grade | ||
---|---|---|---|---|---|
Continuous Assessment: Practical assignments | Throughout the Trimester | n/a | Graded | No | 100 |
Resit In | Terminal Exam |
---|---|
Summer | Yes - 2 Hour |
• Group/class feedback, post-assessment
Not yet recorded.