I'm not sure about UNSW's introductory economics courses, but at MQ first year micro builds well beyond HSC economics. You learn about some basic producer theory (cost curves and some completely new material). Consumer theory, however (learning about utility etc), does not go beyond definitions...