COMP6260 Foundations of Computing
S26 units6000-level
This course presents some formal notations that are commonly used for the description of computation and of computing systems, for the specification of software and for mathematically rigorous arguments about program properties. The following areas of study constitute the backbone of the course. Predicate calculus and natural deduction, inductive definitions of data types as a basis for recursive functions and structural induction, formal language theory (particularly regular expressions, finite state machines and context free grammars), and specification languages.
- 2024S2
- 2025S2
- 2026S2
- 2027S2
Prerequisites in 2027
No prerequisites
None: anyone in a postgraduate program can enrol.
Incompatible with COMP1600: you can't count both.
The handbook's original wording (2024–2027)
Incompatible with COMP1600
What it leads to in 2027
These courses name COMP6260 in their 2027 prerequisites: