Skip navigation
The Australian National University

COMP1600 and COMP6260: Foundations of Computing

News: New Venue for Wednesday, September 27, 2017

The lecture on Wedensday Sept 27 only will take place in the China in the World lecture theatre. All other lectures will take place in Llewellyn Hall.

News: Drop-In Session

As some of you felt that we're going too fast, I have organised a drop-in session. This is not a tutorial, but a place where you can just drop by and have all your questions answered.
WhereRoom N335, CSIT Building (bldg 108)
WhenFridays, 15.00 - 17.00
StartingFriday, Aug 11 2017
Runningthroughout the semester
Just drop by, no registration or other formalities are required.

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.

Schedule

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

Lectures

  • Wednesdays, 2.00 - 4.00 (only in weeks 2-12), Llewellyn Hall
  • Thursdays, 3.00 - 4.00 (in weeks 1-12), Llewellyn Hall
  • Friday, 4.00 - 6.00 (only in week 1), Llewellyn Hall
Exception. The lecture on Wed Sept 27 (2.00 - 4.00) will take place in th China in the World lecture theatre.

Tutorials We will be running small group tutorials starting in week 2. Registration for tutorials will commence in week 1 on wattle with tutorials starting in week 2. Tutorial sheets are avaliable here.

  • Monday,9.00 - 11.00, CSIT N111
  • Monday,9.00 - 11.00, CSIT N114
  • Monday,11.00 - 13.00, CSIT N111
  • Monday,11.00 - 13.00, CSIT N114
  • Monday,13.00 - 15.00, CSIT N111
  • Monday,13.00 - 15.00, CSIT N112
  • Monday,15.00 - 17.00, CSIT N111
  • Monday,17.00 - 19.00, CSIT N111
  • Monday,17.00 - 19.00, CSIT N115
  • Monday,17.00 - 19.00, CSIT N116
  • Tuesday,9.00 - 11.00, CSIT N101
  • Tuesday,13.00 - 15.00, CSIT N101
  • Tuesday, 15.00 - 17.00, CSIT N109
  • Wednesday,8.00 - 10.00, CSIT N101
  • Wednesday,11.00 - 13.00, CSIT, N111
  • Thursday, 16.00 - 18.00, CSIT N109
  • Thursday,17.00 - 19.00, CSIT N114
  • Thursday,17.00 - 19.00, CSIT N115
  • Thursday,17.00 - 19.00, CSIT N116
  • Friday, 8.00 - 10.00, CSIT N111
  • Friday, 13.00 - 15.00, CSIT N113
  • Friday, 15.00 - 17.00, CSIT N109

Not all of the above rooms will be visible in the central ANU timetabling system. Note.We will be doing computer based labs most weeks. There labs scheduled in CSIT N101 do not have computers installed. Enrolling in a lab in CSIT N101 will require that you bring your own laptop.

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 team@piazza.com. Find our class page at: https://piazza.com/anu.edu.au/other/comp16006260/home.

Assessment Scheme

  • There will be ten mini-assignments, released in weeks 1-10.
  • 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:  21 September 2017 / 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