COMP1600 Foundations of Computing (Australian National University): rated 2.5/5 overall across 6 reviews collected on ANU Wall.
COMP1600 is a Australian National University course taught by the ANU College of Systems and Society in Computer Science. This page brings together its handbook details and what ANU students say about it.
Review data updated 2026-10-24.
Chinese title: 计算基础
Type: Undergraduate course
Credit points: 6
Subject area: Computer Science
Faculty: ANU College of Systems and Society
Level: Undergraduate Level 1
Handbook year: 2026
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, specification languages and their use in …
COMP1600 has 6 scored reviews: overall 2.5/5 · usefulness 2.0 (all out of 5; higher difficulty means harder).
Sources: 2 StudentVIP reviews (average 2.0 stars); 4 Reddit comments that an AI model judged to be reviewing this course (average would-recommend 2.8/5).
On Reddit: "Yeah I’m in a similar boat. I found the Haskell course fairly easy and had no clue it was considered a tough course. I struggled more with comp1600 and comp3600 then comp1100."
On Reddit: "I found comp1600 (6260) to be harder than discrete math personally"
The course panel on ANU Wall shows every review and discussion in full.
Q: Is COMP1600 worth taking?
A: Averaged over 6 reviews: usefulness 2.0/5, overall 2.5/5.
Q: Which faculty teaches COMP1600, and when is it offered?
A: COMP1600 is taught by the ANU College of Systems and Society. Check the official handbook for the current year.
ANU Wall is an independent student community and is not affiliated with Australian National University.