coursemapLoading course
School of Computing · ANU College of Systems and Society
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, specification languages and their use in program verification.
Assignments
Learning outcomes 1, 2, 3, 4
Quizzes
Learning outcomes 1, 2, 3, 4
Final Exam
Learning outcomes 1, 2, 3, 4
Lectures, tutorials and self-directed study to a total of 130 hours. Other Information Webpage of Foundations of Computing (COMP1600 / COMP6260) Students enrolled in a Bachelor of Science (BSC) or Bachelor of Advanced Science (ASCAD) and completing a Computer Science Major (CSCI-MAJ) must complete COMP1600 to be able to enrol into COMP2100 or COMP2300 to complete the major.
None Preliminary Reading Webpage of Foundations of Computing (COMP1600 / COMP6260), section on reading material.