Logic and Modelling: Uses propositional and temporal logic to solve combinatorial problems and verify that computer systems are error-free.
Why take it
Intellectually unique; great for those interested in AI reasoning, formal verification, or high-level system modeling.
Why not
Highly abstract and math-heavy. It builds significantly on Year 1 logic, so skip if you found COMP11120 difficult.
Loading ratings...