COMP21111
Logic and Modelling
10 Units
Offered in: Semester 1
Summary
Logic and Modelling: Uses propositional and temporal logic to solve combinatorial problems and verify that computer systems are error-free.
Why take this course?
Intellectually unique; great for those interested in AI reasoning, formal verification, or high-level system modeling.
Why not take this course?
Highly abstract and math-heavy. It builds significantly on Year 1 logic, so skip if you found COMP11120 difficult.
Assessment weightage
- Written exam50%
- Written assignment (inc essay)50%
Historical Grade Statistics
Course Dependency Graph
Press enter or space to select a node.You can then use the arrow keys to move the node around. Press delete to remove it and escape to cancel.
Press enter or space to select an edge. You can then press delete to remove it or escape to cancel.
Loading ratings...