Skip to main content

We are aiming for an incremental return to campus in accordance with guidelines provided by NSW Health and the Australian Government. Until this time, learning activities and assessments will be planned and scheduled for online delivery where possible, and unit-specific details about face-to-face teaching will be provided on Canvas as the opportunities for face-to-face learning become clear.

Unit of study_

COMP2022: Models of Computation

This unit provides an introduction to the foundations of computational models, and their connection to programming languages/tools. The unit covers various abstract models for computation including Lambda Calculus, and Logic calculi (e. g. concept of formal proofs in propositional, predicate, and temporal logic). For each abstract model, we introduce programming languages/tools that are built on the introduced abstract computational models. We will discuss functional languages including Scheme/Haskell, and Prolog/Datalog.

Details

Academic unit Computer Science
Unit code COMP2022
Unit name Models of Computation
Session, year
? 
Semester 2, 2020
Attendance mode Normal day
Location Camperdown/Darlington, Sydney
Credit points 6

Enrolment rules

Prohibitions
? 
COMP2922
Prerequisites
? 
INFO1103 OR INFO1903 OR INFO1113
Corequisites
? 
None
Assumed knowledge
? 

(MATH1004 OR MATH1904 OR MATH1064 OR MATH2069 OR MATH2969) AND (INFO1105 OR INFO1905 OR COMP2123 OR COMP2823)

Available to study abroad and exchange students

Yes

Teaching staff and contact details

Coordinator Sasha Rubin, sasha.rubin@sydney.edu.au
Type Description Weight Due Length
Online task Quizzes
Short weekly quizzes on Canvas.
10% - n/a
Outcomes assessed: LO1 LO11 LO10 LO9 LO8 LO7 LO6 LO5 LO3 LO2
Final exam (Take-home short release) Type D final exam hurdle task Final exam
Final written examination
50% Formal exam period 3 hours
Outcomes assessed: LO1 LO2 LO3 LO5 LO6 LO7 LO8 LO9 LO10 LO11
Assignment Assignments
A mix of theory and programming
40% Multiple weeks n/a
Outcomes assessed: LO1 LO2 LO3 LO4 LO5 LO6 LO7 LO8 LO9
hurdle task = hurdle task ?
Type D final exam = Type D final exam ?

Detailed information for each assessment can be found on Canvas.

 

Assessment criteria

The University awards common result grades, set out in the Coursework Policy 2014 (Schedule 1).

As a general guide, a high distinction indicates work of an exceptional standard, a distinction a very high standard, a credit a good standard, and a pass an acceptable standard.

Result name

Mark range

Description

High distinction

85 - 100

 

Distinction

75 - 84

 

Credit

65 - 74

 

Pass

50 - 64

 

Fail

0 - 49

When you don’t meet the learning outcomes of the unit to a satisfactory standard.

For more information see sydney.edu.au/students/guide-to-grades.

It is a policy of the School of Computer Science that in order to pass this unit, a student must achieve at least 40% in the written examination. For subjects without a final exam, the 40% minimum requirement applies to the corresponding major assessment component specified by the lecturer. A student must also achieve an overall final mark of 50 or more. Any student not meeting these requirements may be given a maximum final mark of no more than 45 regardless of their average.

Late submission

In accordance with University policy, these penalties apply when written work is submitted after 11:59pm on the due date:

  • Deduction of 5% of the maximum mark for each calendar day after the due date.
  • After ten calendar days late, a mark of zero will be awarded.

This unit has an exception to the standard University policy or supplementary information has been provided by the unit coordinator. This information is displayed below:

These penalties apply when written work is submitted after 11:59pm on the due date. Deduction of 20% of the maximum mark for each calendar day after the due date.

Special consideration

If you experience short-term circumstances beyond your control, such as illness, injury or misadventure or if you have essential commitments which impact your preparation or performance in an assessment, you may be eligible for special consideration or special arrangements.

Academic integrity

The Current Student website provides information on academic honesty, academic dishonesty, and the resources available to all students.

The University expects students and staff to act ethically and honestly and will treat all allegations of academic dishonesty or plagiarism seriously.

We use similarity detection software to detect potential instances of plagiarism or other forms of academic dishonesty. If such matches indicate evidence of plagiarism or other forms of dishonesty, your teacher is required to report your work for further investigation.

WK Topic Learning activity Learning outcomes
Week 01 Propositional Logic Lecture and tutorial (4 hr) LO1 LO2 LO3 LO4
Week 02 Propositional logic Lecture and tutorial (4 hr) LO1 LO2 LO3 LO4
Week 03 Predicate logic Lecture and tutorial (4 hr) LO1 LO5 LO6
Week 04 Predicate logic Lecture and tutorial (4 hr) LO1 LO5 LO6
Week 05 Regular languages, their representations, and their uses Lecture and tutorial (4 hr) LO1 LO7 LO8 LO10
Week 06 Regular languages, their representations, and their uses Lecture and tutorial (4 hr) LO1 LO7 LO8 LO10
Week 07 Context-free languages, their representations, and their uses Lecture and tutorial (4 hr) LO1 LO7 LO9 LO10
Week 08 Context-free languages, their representations, and their uses Lecture and tutorial (4 hr) LO1 LO7 LO9 LO10
Week 09 Universal models of computation, and their uses Lecture and tutorial (4 hr) LO1 LO10 LO11
Week 11 Universal models of computation, and their uses Lecture and tutorial (4 hr) LO1 LO10 LO11
Week 12 Review of unit of study Lecture and tutorial (4 hr) LO1 LO2 LO3 LO5 LO6 LO7 LO8 LO9 LO10 LO11

Study commitment

Typically, there is a minimum expectation of 1.5-2 hours of student effort per week per credit point for units of study offered over a full semester. For a 6 credit point unit, this equates to roughly 120-150 hours of student effort in total.

Learning outcomes are what students know, understand and are able to do on completion of a unit of study. They are aligned with the University’s graduate qualities and are assessed as part of the curriculum.

At the completion of this unit, you should be able to:

  • LO1. demonstrate a knowledge of basic discrete mathematics, theorems and formal proofs
  • LO2. demonstrate an understanding of propositional logic
  • LO3. demonstrate an understanding of propositional logic as a model of facts and of reasoning
  • LO4. demonstrate an ability to use languages/tools for propositional logic
  • LO5. demonstrate an understanding of predicate logic
  • LO6. demonstrate an understanding of predicate logic as a model of facts and of reasoning
  • LO7. demonstrate an understanding of a formal language as a set of strings, and of operations on formal languages, in particular union, concatenation, and Kleene closure
  • LO8. demonstrate an ability to use regular languages and their representations by DFAs, NFAs, regular expressions, and regular grammars
  • LO9. demonstrate an ability to use context-free grammars as a model of formal languages
  • LO10. demonstrate an awareness of the Chomsky hierarchy, and the notions of decidability and intractability
  • LO11. demonstrate an awareness of universal models of computation, e.g., Turing machines, the lambda calculus and its application to functional programming

Graduate qualities

The graduate qualities are the qualities and skills that all University of Sydney graduates must demonstrate on successful completion of an award course. As a future Sydney graduate, the set of qualities have been designed to equip you for the contemporary world.

GQ1 Depth of disciplinary expertise

Deep disciplinary expertise is the ability to integrate and rigorously apply knowledge, understanding and skills of a recognised discipline defined by scholarly activity, as well as familiarity with evolving practice of the discipline.

GQ2 Critical thinking and problem solving

Critical thinking and problem solving are the questioning of ideas, evidence and assumptions in order to propose and evaluate hypotheses or alternative arguments before formulating a conclusion or a solution to an identified problem.

GQ3 Oral and written communication

Effective communication, in both oral and written form, is the clear exchange of meaning in a manner that is appropriate to audience and context.

GQ4 Information and digital literacy

Information and digital literacy is the ability to locate, interpret, evaluate, manage, adapt, integrate, create and convey information using appropriate resources, tools and strategies.

GQ5 Inventiveness

Generating novel ideas and solutions.

GQ6 Cultural competence

Cultural Competence is the ability to actively, ethically, respectfully, and successfully engage across and between cultures. In the Australian context, this includes and celebrates Aboriginal and Torres Strait Islander cultures, knowledge systems, and a mature understanding of contemporary issues.

GQ7 Interdisciplinary effectiveness

Interdisciplinary effectiveness is the integration and synthesis of multiple viewpoints and practices, working effectively across disciplinary boundaries.

GQ8 Integrated professional, ethical, and personal identity

An integrated professional, ethical and personal identity is understanding the interaction between one’s personal and professional selves in an ethical context.

GQ9 Influence

Engaging others in a process, idea or vision.

Outcome map

Learning outcomes Graduate qualities
GQ1 GQ2 GQ3 GQ4 GQ5 GQ6 GQ7 GQ8 GQ9
Aligned some of the lecture material with textbooks.

Reference texts:

  • Introduction to the theory of computation, by Michael Sipser.
  • Elements of the Theory of Computation, by Harry Lewis and Christos Papadimitriou.
  • Logic for Computer Scientists, by Uwe Schöning.

 

IMPORTANT: School policy relating to Academic Dishonesty and Plagiarism.

In assessing a piece of submitted work, the School of Computer Science may reproduce it entirely, may provide a copy to another member of faculty, and/or to an external plagiarism checking service or in-house computer program and may also maintain a copy of the assignment for future checking purposes and/or allow an external service to do so.

Disclaimer

The University reserves the right to amend units of study or no longer offer certain units, including where there are low enrolment numbers.

To help you understand common terms that we use at the University, we offer an online glossary.