COMP6260
Foundations of Computing
- Credit
- 6 units
- Catalogue year
- 2027
- Recorded offerings
- Second Semester
Course information
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.
Requisite and Incompatibility
Incompatible with COMP1600
Learning Outcomes
Upon successful completion, students will have the knowledge and skills to:
Apply the concepts of standard mathematical logic to produce proofs or refutations of well-formed propositions or arguments phrased in English or in a variety of formal notations (first order logic, discrete mathematics or Hoare logic). Express problems, presented in English, in these formal notations and demonstrate an awareness of the differences between them.
Relate structural induction to other forms of mathematical induction, and write a recursive definition of a given simple operation on data of a given type presented via an inductive definition of the data structure.
Explain the concept of program correctness and prove simple programs correct using Hoare Logic.
Saved ANU Programs & Courses information, 2027. Future offerings are indicative. Checks use the saved requirements and your fictional academic record.
Saved requirements encoded for automatic checks. See your requirement checks for what can be decided.
Course library: sources, offering dates and related entries
Read the full published course information ↗
Who reviews permission requests?
Dr Leo Brandt is the fictional reviewer assigned to COMP6260 in this prototype. The selected course determines where a request goes.
Make this part of your semester
Sign in to check your fictional academic record, save this offering, and request permission if needed.
Sign in