Skip navigation
The Australian National University

COMP1600 and COMP6260: Foundations of Computing

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:  05 September 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