NEWS! click to expand.
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.
|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.
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.
This guideline talks about what you should be doing every week:
- 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.
WHILE Course On DO
- 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.
- 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.
- Check and solve the weekly Quiz in Wattle. Do this before going to the practical session.
- Attend the practical sessions. Practicals are exercise-focused. They will be 2 hour long, so make sure you have questions during the sessions.
In addition, there will be Exams and Assignments.
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.
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.