CSSE3100 Reasoning About Programs (University of Queensland): rated 4.1/5 overall across 1 review collected on UQ Wall.
CSSE3100 is a University of Queensland course taught by the Faculty of Engineering, Architecture and Information Technology in Software Engineering. This page brings together its handbook details and what UQ students say about it.
Review data updated 2026-10-24.
Chinese title: 程序推理
Type: undergraduate
Credit points: 2
Subject area: Software Engineering
Faculty: Faculty of Engineering, Architecture and Information Technology
Level: Undergraduate Level 3
Handbook year: 2026
Software is written with the intention that it will carry out a desired task. To write such software requires algorithmic problem solving skills; and to do so correctly requires us to make precise the task at hand, and to be able to reason that an implementation satisfies the task's precise requirements.
CSSE3100 has 1 scored review: overall 4.1/5 (all out of 5; higher difficulty means harder).
Sources: 1 Reddit comment that an AI model judged to be reviewing this course (average would-recommend 4.1/5).
On Reddit: "Would also say if you like COMP3400, then CSSE3100 is a great option, I did it last semester and found it pretty interesting."
The course panel on UQ Wall shows every review and discussion in full.
Q: Is CSSE3100 worth taking?
A: Averaged over 1 review: overall 4.1/5. Only a few reviews so far, so treat this as a rough guide.
Q: Which faculty teaches CSSE3100, and when is it offered?
A: CSSE3100 is taught by the Faculty of Engineering, Architecture and Information Technology. Check the official handbook for the current year.
UQ Wall is an independent student community and is not affiliated with University of Queensland.