COMP2620 Logic
Prerequisites not met
Requires COMP1600.
Propositional and predicate logic, proof and decidability.
- Units
- 6
- Level
- 2000
- Offered
- 2027 S1
- Prerequisites
- COMP1600
Requires COMP1600.
Propositional and predicate logic, proof and decidability.