Formal logic and proof-writing: propositional/predicate logic, proof techniques, induction, set theory.
Download course · 44 MBRenamed from CSE1300. Content unchanged.
Final exam = 100% of the base grade (Week 10, closed-book, no aids, ~120 min, 10-15 open-ended questions worth ~60-70 points). Bonus points available from a Week 5 midterm and a Weeks 3-9 individual Prolog project — neither is required to pass. Pass mark 5.75 (rounds to 6). Resit available; the course grade is the higher of original and resit.