NEWS! click to expand.
23
Nov
2021

Exam II Marks

examII

» read more

29
Oct
2021

Assignment 3 (sol)

Assignment3

» read more

11
Oct
2021

Assignment 2 (sol)

Assignment2

» read more

3
Oct
2021

Mid-sem exam Marks

MSE

» read more

6
Sep
2021

Assignment 1 (sol-notes)

Assignment1

» read more

30
Aug
2021

Exam week 5 Marks

Exam

» read more

25
Aug
2021

(Notes) Exam week 5

Exam

» read more

18
Aug
2021

Exam week 5

Exam

» read more

18
Aug
2021

Videos+Polls

Videpos+Polls

» read more

13
Aug
2021

Missing lectures+practicals

Asynchronous work

» read more

11
Aug
2021

Assignment 1 released.

Assignment 1.

» read more

1
Aug
2021

Lecture 2.8.2021

Leture on Monday.

» read more



Foundations of Computing (COMP1600/COMP6260)

COMP1600/COMP6260 will be delivered in a Hybrid mode. Lectures will be live on-campus (whenever possible) and also broadcast online via Zoom. Videos about lectures will be recorded and made available via this website and Echo 360. Practical sessions will run both on-campus and online via Teams (more details here).

If you will have difficulty engaging in online study, please contact CECS Student Services so that they can offer you the best support. For more details on the University’s response, please see ANU coronavirus advice.

  COMP1600/COMP6260
Mode of Delivery on campus (whenever possible) and on line
Prerequisites 6 units of MATH courses and COMP1100 or COMP1130. It is incompatible with COMP2600 or COMP6260
Lecture 1 Mondays, 11 am to 12 pm, Kambri Manning Clark Hall and here (passcode on Wattle)
Lecture 2 Wednesdays, 10 am to 11 am, Kambri Manning Clark Hall and here (passcode on Wattle)
Lecture3 Friday, 4 pm to 5 pm, Kambri Manning Clark Hall and here (passcode on Wattle)
Course Convenor Victor Rivera
Second Examiner Dirk Pattinson

Note: due to the current lockdown in ACT (starting in 12 August, 2021), all teaching activies are online.

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.

Survival guideline

This guideline talks about what you should be doing every week:

begin Parallel

  • Participate on the Piazza forum. This can be done anytime in the week. Ask questions, answer questions, participate on discussions. You will gain a lot by doing this. Your Teams channel is also a good resource (you will be assigned to a Team channel after Week 1). You can chat/talk to your classmates and tutor.

end

WHILE Course On DO

  1. attend the Live sessions on campus (whenever possible) or via Zoom (more details)
    • All course slides are available. A way to make the best of the live sessions is to check the slides before hand so you can come to the session with questions.
  2. Check the Worked Examples, they can all be found here, you have access to them in each week’s page, e.g. Week 1. They are available on Youtube and show you step by step how to solve the exercises.
  3. Check and solve the weekly Quiz in Wattle. Do this before going to the practical session.
  4. Attend the practical sessions. Practicals are exercise-focused. They will be 2 hour long, so make sure you have questions during the sessions.

OD

In addition, there will be Exams and Assignments.

Discussion Forum

This term we will be using Piazza for class discussion (you will be automatically added in Week 1). The system is highly catered to getting you help fast and efficiently from classmates, the turors, and lecturers. Rather than emailing questions to the teaching staff, I encourage you to post your questions on Piazza. You will have recieved a notification in your ANU email from Piazza to access the course.

Important Notes

  • Your 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 exam/assignment answers.

  • Plagiarism will be handled according to ANU’s policies and procedures.

  • Course final results are subject to moderation.

Updated:    23 Nov 2021 / Responsible Officer:    Head of School / Page Contact:    Victor Rivera