Show/hide contentOpenClose All
Curricular information is subject to change
On completion of this module students should be able to:
1. apply the rules of logic;
2. understand the basis of propositional logic and predicate logic;
3. carry out transformational proofs;
4. carry out deductive proofs, using conditional proof and indirect proof techniques;
5. understand the basis of mathematical induction;
6. carry out proofs using mathematical induction;
7. understand the basis and theory of finite state automata; and
8. develop simple finite state models.
Student Effort Type | Hours |
---|---|
Lectures | 24 |
Tutorial | 24 |
Autonomous Student Learning | 82 |
Total | 130 |
Not applicable to this module.
Resit In | Terminal Exam |
---|---|
Spring | No |
• Feedback individually to students, on an activity or draft prior to summative assessment
Students will receive feedback on completed Tutorial Sheets.
Lecture | Offering 1 | Week(s) - Autumn: Weeks 2-12 | Thurs 11:00 - 11:50 |
Lecture | Offering 1 | Week(s) - Autumn: Weeks 2-12 | Tues 12:00 - 12:50 |
Tutorial | Offering 1 | Week(s) - Autumn: Weeks 2-12 | Fri 12:00 - 12:50 |
Tutorial | Offering 1 | Week(s) - Autumn: Weeks 2-12 | Wed 12:00 - 12:50 |
Tutorial | Offering 2 | Week(s) - Autumn: Weeks 2-12 | Fri 11:00 - 11:50 |
Tutorial | Offering 2 | Week(s) - Autumn: Weeks 2-12 | Wed 13:00 - 13:50 |