• Offered by Research School of Computer Science
  • ANU College ANU College of Engineering and Computer Science
  • Course subject Computer Science
  • Academic career UGRD
  • Mode of delivery In Person

Please note this course is not running in 2018.

This course enables students from non-technical backgrounds to develop a mental model of algorithm design as well as provide them with the skills to handle common tools in Computer Science. The transition from a general idea into a formal description which can be formally evaluated and machine executed is a central conceptual skill which this course offers. Beyond that the course will also eliminate the aura of magic surrounding common tools in Computer Science. While the course is not a basic programming course, it will prepare the grounds for an efficient learning process for further, more specific Computer Science courses, like for example solving problems by means of computer programming.

Learning Outcomes

Upon successful completion, students will have the knowledge and skills to:

  1. Demonstrate the ability to translate an informal process into a form description.
  2. Transform formal descriptions to make them suitable for specific purposes (like machine execution).
  3. Apply tools to analyse formal descriptions and to interpret (error-) messages from such tools correctly.
  4. Use common tools in Computer Science effectively and efficiently.
  5. Communicate the differences between a formal and an informal description clearly.

Indicative Assessment

Assignments (40%); Final Exam (60%)

The ANU uses Turnitin to enhance student citation and referencing techniques, and to assess assignment submissions as a component of the University's approach to managing Academic Integrity. While the use of Turnitin is not mandatory, the ANU highly recommends Turnitin is used by both teaching staff and students. For additional information regarding Turnitin please visit the ANU Online website.


Up to 60 hours of total face-time, which includes interactions with lectures and tutors. Up to 60 hours of total preparation, repeat, assignment and practical exercise time.

Requisite and Incompatibility

You are unable to enrol in this course if you have successfully completed COMP1100 or COMP1130 or COMP1110 or COMP1140.


Tuition fees are for the academic year indicated at the top of the page.  

Commonwealth Support (CSP) Students
If you have been offered a Commonwealth supported place, your fees are set by the Australian Government for each course. At ANU 1 EFTSL is 48 units (normally 8 x 6-unit courses). More information about your student contribution amount for each course at Fees

Student Contribution Band:
Unit value:
6 units

If you are a domestic graduate coursework student with a Domestic Tuition Fee (DTF) place or international student you will be required to pay course tuition fees (see below). Course tuition fees are indexed annually. Further information for domestic and international students about tuition and other fees can be found at Fees.

Where there is a unit range displayed for this course, not all unit options below may be available.

6.00 0.12500
Domestic fee paying students
Year Fee
2021 $4410
International fee paying students
Year Fee
2021 $5880
Note: Please note that fee information is for current year only.

Offerings, Dates and Class Summary Links

There are no current offerings for this course.

Responsible Officer: Registrar, Student Administration / Page Contact: Website Administrator / Frequently Asked Questions