Home
Skip navigation Foundations of Computing School of Computing Search query Search ANU web, staff & maps Search current site content Search Menu Search query Search COMP1600/COMP6260 Lectures Practicals Resources Search ANU web, staff & maps Search current site content COMP1600/COMP6260 Lectures Practicals Resources menu Search query Search Search COMP1600/COMP6260 Search query Search COMP1600/COMP6260 Assessment Learning Outcomes Schedule Team Policies Getting help Exams News Exam II Marks Assignment 3 (sol) Assignment 2 (sol) » View all Related sites CS Homepage Wattle Piazza Echo 360 Streams Current students You are here » Home 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) Table of Contents Foundations of Computing (COMP1600/COMP6260) Course overview Survival guideline Discussion Forum Important Notes 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 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. 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: 13 Feb 2022 / Responsible Officer: Head of School / Page Contact: Victor Rivera Contact ANU Copyright Disclaimer Privacy Freedom of Information +61 2 6125 5111 The Australian National University, Canberra CRICOS Provider : 00120C ABN : 52 234 063 906 You appear to be using Internet Explorer 7, or have compatibility view turned on. Your browser is not supported by ANU web styles. » Learn how to fix this » Ignore this warning in future
