CECS Professional Skills Mapping

COMP1600 — Foundations of Computing

Note: information provided here is indicative only. For full and current course information view the official page on P&C.

code:	COMP1600
name:	Foundations of Computing
unit value:	6
description:	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.
P&C:	https://programsandcourses.anu.edu.au/course/COMP1600
course learning outcomes:	Apply the concepts of standard mathematical logic to produce proofs or refutations of well-formed propositions or arguments phrased in English or in a variety of formal notations (first order logic, discrete mathematics or Hoare Logic) Given a description of a regular language, either in English, as a regular expression or as a grammar, generate a finite state automaton that recognizes that language. Similarly, given a deterministic or nondeterministic automaton, give a description of the language which it accepts Given an inductive definition of a simple data structure, write a recursive definition of a given simple operation on data of that type. Given some such recursively defined operations, prove simple properties of these functions using the appropriate structural induction principle Prove simple programs correct using Hoare Logic Design a Turing Machine which will accomplish simple tasks
assessment:	Mid-semester exam (10%) Final Exam (45%) Assignments (45%)

Mapped learning outcomes

learning outcome	1. KNOWLEDGE AND SKILL BASE						2. ENGINEERING APPLICATION ABILITY				3. PROFESSIONAL AND PERSONAL ATTRIBUTES						assessment tasks
learning outcome	1.1	1.2	1.3	1.4	1.5	1.6	2.1	2.2	2.3	2.4	3.1	3.2	3.3	3.4	3.5	3.6	1	2	3
Apply the concepts of standard mathematical logic to produce proofs or refutations of well-formed propositions or arguments phrased in English or in a variety of formal notations (first order logic, discrete mathematics or Hoare Logic)	✓	✓					✓	✓									✓	✓	✓
Given a description of a regular language, either in English, as a regular expression or as a grammar, generate a finite state automaton that recognizes that language. Similarly, given a deterministic or nondeterministic automaton, give a description of the language which it accepts	✓	✓					✓											✓	✓
Given an inductive definition of a simple data structure, write a recursive definition of a given simple operation on data of that type. Given some such recursively defined operations, prove simple properties of these functions using the appropriate structural induction principle	✓	✓					✓		✓								✓	✓	✓
Prove simple programs correct using Hoare Logic	✓	✓					✓											✓	✓
Design a Turing Machine which will accomplish simple tasks	✓	✓					✓											✓	✓

Course contribution towards the Engineers Australia Stage 1 Competency Standard

This table depicts the relative contribution of this course towards the Engineers Australia Stage 1 Competency Standard. Note that this illustration is indicative only, and may not take into account any recent changes to the course. You are advised to review the official course page on P&C for current information..

1. KNOWLEDGE AND SKILL BASE
1.1
1.2
1.3
1.4
1.5
1.6
2. ENGINEERING APPLICATION ABILITY
2.1
2.2
2.3
2.4
3. PROFESSIONAL AND PERSONAL ATTRIBUTES
3.1
3.2
3.3
3.4
3.5
3.6

Engineers Australia Stage 1 Competency Standard — summary

1. KNOWLEDGE AND SKILL BASE
✓	1.1	Comprehensive, theory based understanding of the underpinning natural and physical sciences and the engineering fundamentals applicable to the engineering discipline.
✓	1.2	Conceptual understanding of the, mathematics, numerical analysis, statistics, and computer and information sciences which underpin the engineering discipline.
	1.3	In depth understanding of specialist bodies of knowledge within the engineering discipline.
	1.4	Discernment of knowledge development and research directions within the engineering discipline.
	1.5	Knowledge of contextual factors impacting the engineering discipline.
	1.6	Understanding of the scope, principles, norms, accountabilities and bounds of contemporary engineering practice in the engineering discipline.
2. ENGINEERING APPLICATION ABILITY
✓	2.1	Application of established engineering methods to complex engineering problem solving.
✓	2.2	Fluent application of engineering techniques, tools and resources.
✓	2.3	Application of systematic engineering synthesis and design processes.
	2.4	Application of systematic approaches to the conduct and management of engineering projects.
3. PROFESSIONAL AND PERSONAL ATTRIBUTES
	3.1	Ethical conduct and professional accountability.
	3.2	Effective oral and written communication in professional and lay domains.
	3.3	Creative, innovative and pro-active demeanour.
	3.4	Professional use and management of information.
	3.5	Orderly management of self, and professional conduct.
	3.6	Effective team membership and team leadership.

Updated: 18 February 2021/ Responsible Officer: Dean, CECS/ Page Contact: CECS Academic Education Services