Skip navigation
The Australian National University

COMP1600 and COMP6260: Foundations of Computing

Uncollected Assignments

Uncollected assignments can be collected

whenThursday Nov 1, 12.00 -- 14.00
whereLevel 2 Common Area, Building 145

Past Exam

The course ran for the first time in this form in 2017, and the exam paper is avavaliable [.pdf].

Assignment Solutions

Solutions are now published under the Assignments page. We are still waiting for late submissions due to extenuating circumstances before Assignmnet 3 solutions will be up.

Assignment 2 Extension

We have extended the submission for assignment 3 until Sunday Oct 14, 23.59. If you have already submitted your assignment and wish to make changes, you can collect it from the CSIT reception (CSIT building 108, level 2).

Assignment 3

Can be found here.

Drop-In Labs

We have now scheduled drop-in labs. The idea of the drop-in labs is that you can use them to discuss all aspects relating to the course. They are not tutorial replacement. The drop-in labs will run between now and the end of the semester, and are scheduled as follows:

  • Mon 11.00 - 12.00 Room 2.41 Building 145
  • Tue 14.00 - 15.00 Room 2.41 Building 145
  • Wed 5.00 - 6.00 Room 3.41 Bulding 145
  • Fri 13.00 - 14.00 Room 3.41 Building 145\
This is an opportunity for all to get up to speed with the material, and possibly also brush up on background that you may have been lacking.

Assignment 2

Can be found here.

Lab Signup

From 14.30 Thursday July 26, 2018 Tutorial Signup will be available at

Course overview

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.


Lectures will commence in week 1, tutorials will commence in week 2.


  • Mondays, 12.00 - 13.00, Llewellyn Hall
  • Wednesdays, 12.00 - 13.00, Copland Lecture Theatre (no morelive streaming to Haydon Allen Tank)
  • Thursdays, 13.00 - 14.00, Copland Lecture Theatre (no more live streaming to Haydon Allen Tank)
Tutorials We will be running small group tutorials starting in week 2. Registration for tutorials will commence in week 1 on with tutorials starting in week 2. Tutorial sheets are avaliable here.
  • Monday, 13.00 - 15.00, CSIT N115/116
  • Monday, 15.00 - 17.00, CSIT N115/116
  • Monday, 17.00 - 19.00, CSIT N115/116
  • Tuesday, 12.00 - 14.00, CSIT N115/116
  • Tuesday, 14.00 - 16.00, CSIT N115/116
  • Wednesday, 8.00 - 10.00, CSIT N114
  • Wednesday, 10.00 - 12.00, CSIT N115/116
  • Wednesday, 13.00 - 15.00, CSIT N113
  • Wednesday, 17.00 - 19.00, CSIT N111
  • Thursday, 8.00 - 10.00, CSIT N114
  • Thursday, 14.00 - 16.00, CSIT N111
  • Thursday, 16.00 - 18.00, CSIT N111
  • Friday, 8.00 - 10.00, CSIT N115/116

The ANU timetabling system may show an additional slot at Tuesday, 8.00 - 10.00 that is not used for tutorials for this course.

Discussion Forum

This term we will be using Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates, the turors, and myself. Rather than emailing questions to the teaching staff, I encourage you to post your questions on Piazza. If you have any problems or feedback for the developers, email Find our class page at:

Assessment Scheme

  • There will be three assignments.
  • Assignments contribute a total of 50% to your final mark.
  • There will be a three-hour written exam, contributing another 50%.
  • To pass the course, you need to score at least 40% in the exam. This is a hurdle.

Important Notes

  • We do not accept late assignment submissions. If you feel that you cannot submit your assignment on time, please get in touch with your tutor to seek alternatives.
  • You mark for an assessment item can be revised within at most 2 weeks after its mark is released. Afterwards the mark is final.
  • We can request an oral examination to cross-check any of your submissions.
  • Plagiarism will be handled according to ANU's policies and procedures.
  • Course final results are subject to moderation.

Updated:  01 November 2018 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   JavaScript must be enabled to display this email address. / Powered by: Snorkel 1.4