Handbook home
Models of Computation (COMP30026)
Undergraduate level 3Points: 12.5On Campus (Parkville)
About this subject
- Overview
- Eligibility and requirements
- Assessment
- Dates and times
- Further information
- Timetable (login required)(opens in new window)
Contact information
Semester 2
Christine Rizkallah
Overview
Availability | Semester 2 |
---|---|
Fees | Look up fees |
AIMS
Formal logic and discrete mathematics provide the theoretical foundations for computer science. This subject uses logic and discrete mathematics to model the science of computing. It provides a grounding in the theories of logic, sets, relations, functions, automata, formal languages, and computability, providing concepts that underpin virtually all the practical tools contributed by the discipline, for automated storage, retrieval, manipulation and communication of data.
INDICATIVE CONTENT
- Logic: Propositional and predicate logic, resolution proofs, mathematical proof
- Discrete mathematics: Sets, functions, relations, order, well-foundedness, induction and recursion
- Automata: Regular languages, finite-state automata, context-free grammars and languages, parsing
- Computability briefly: Turing machines, computability, decidability
A functional programming language will be used to implement and illustrate concepts.
Intended learning outcomes
On completion of this subject students are expected to be able to:
- Use propositional and predicate logic as tools to reason about non-trivial computational problems
- Explain basic principles of mechanised reasoning, including resolution proof, and apply these to reason about computional problems
- Reason about properties of mathematical objects such as functions and relations, and apply them to computational problems
- Apply discrete mathematical techniques to problems in computer science
- Synthesise context-free grammars from less formal language specifications
- Design abstract computational devices, such as finite-state automata and pushdown automata
- Analyse and reason about computational models, including finite-state automata, pushdown automata and Turing machines
Generic skills
On completion of this subject students should have developed the following skills:
- Analytical skills
- Reasoning and problem-solving skills
- Ability to communicate with precision, rigour and efficacy
- Ability to apply knowledge of science and engineering fundamentals
- Capacity for creativity and innovation
- Ability to undertake problem identification, formulation and solution
Last updated: 31 January 2024
Eligibility and requirements
Prerequisites
Students must meet one of the following prerequisite options:
Option 1
One of
Code | Name | Teaching period | Credit Points |
---|---|---|---|
COMP20003 | Algorithms and Data Structures | Semester 2 (On Campus - Parkville) |
12.5 |
COMP20007 | Design of Algorithms | Semester 1 (On Campus - Parkville) |
12.5 |
COMP90038 | Algorithms and Complexity |
Semester 1 (On Campus - Parkville)
Semester 2 (On Campus - Parkville)
|
12.5 |
Option 2
Admission into the GC-CS Graduate Certificate in Computer Science
Option 3
Admission into the Artificial Intelligence (100pt) specialisation (formal) in the MC-IT Master of Information Technology, Artificial Intelligence (150pt) specialisation (formal) in the MC-IT Master of Information Technology, Computing (100pt) specialisation (formal) in the MC-IT Master of Information Technology, Computing (150pt) specialisation (formal) in the MC-IT Master of Information Technology
Corequisites
Non-allowed subjects
COMP20004
Recommended background knowledge
Basic Proficiency in discrete mathematics and mathematical reasoning.
Inherent requirements (core participation requirements)
The University of Melbourne is committed to providing students with reasonable adjustments to assessment and participation under the Disability Standards for Education (2005), and the Assessment and Results Policy (MPF1326). Students are expected to meet the core participation requirements for their course. These can be viewed under Entry and Participation Requirements for the course outlines in the Handbook.
Further details on how to seek academic adjustments can be found on the Student Equity and Disability Support website: http://services.unimelb.edu.au/student-equity/home
Last updated: 31 January 2024
Assessment
Description | Timing | Percentage |
---|---|---|
A written (800 - 1000 word) assignment, due around week 7, addressing Intended Learning Outcomes (ILO's) 1 and 2.
| Week 7 | 12% |
A written (800 - 1000 word) assignment, due around week 12, addressing ILO's 3, 4, 5 and 6.
| Week 12 | 12% |
Successful completion of at least 75% of worksheet exercises, delivered via an online learning platform (Grok).
| 6% | |
A written closed book examination, addressing all ILO's.
| During the examination period | 70% |
Last updated: 31 January 2024
Dates & times
- Semester 2
Principal coordinator Christine Rizkallah Mode of delivery On Campus (Parkville) Contact hours 36 hours, comprising two 1-hour lectures and a one 1-hour tutorial per week Total time commitment 170 hours Teaching period 22 July 2024 to 20 October 2024 Last self-enrol date 2 August 2024 Census date 2 September 2024 Last date to withdraw without fail 20 September 2024 Assessment period ends 15 November 2024 Semester 2 contact information
Christine Rizkallah
Time commitment details
170 hours
What do these dates mean
Visit this webpage to find out about these key dates, including how they impact on:
- Your tuition fees, academic transcript and statements.
- And for Commonwealth Supported students, your:
- Student Learning Entitlement. This applies to all students enrolled in a Commonwealth Supported Place (CSP).
Subjects withdrawn after the census date (including up to the ‘last day to withdraw without fail’) count toward the Student Learning Entitlement.
Last updated: 31 January 2024
Further information
- Texts
Prescribed texts
There are no specifically prescribed or recommended texts for this subject.
- Subject notes
LEARNING AND TEACHING METHODS
The subject involves two 1-hour lectures per week followed by one 2-hour tutorial. Weekly tutorial problems are assigned and discussed in class. Tutors may use tutorial time to demonstrate applications of the theory, such as SAT-solver use, logic programming, and parsing. Lectures and tutorials are designed to be interactive, and the written assignments are designed to be challenging, so as to generate discussion. Although written assignments are submitted by students individually, in-plenum discussion of the problems encouraged.
INDICATIVE KEY LEARNING RESOURCES
The subject uses online reading materials and offers access to visualisation tools (the JFLAP suite), an interactive learning platform (Grok), an online discussion forum, and advance access to all teaching materials, including slides used in lectures.
CAREERS / INDUSTRY LINKS
The subject is foundational. While the practice of computing changes fast, the theoretical underpinnings, and many of the basic concepts underlying computation, change only slowly. A foundation in logic and mathematics provides important conceptual tools that are used by theoreticians, computer scientists, and software engineering practitioners alike.
- Related Handbook entries
This subject contributes to the following:
Type Name Course Bachelor of Science Course Bachelor of Design Major Computer Science Specialisation (formal) Software Major Computing and Software Systems Major Computing and Software Systems Specialisation (formal) Software with Business Informal specialisation Science Discipline subjects - new generation B-SCI - Available through the Community Access Program
About the Community Access Program (CAP)
This subject is available through the Community Access Program (also called Single Subject Studies) which allows you to enrol in single subjects offered by the University of Melbourne, without the commitment required to complete a whole degree.
Entry requirements including prerequisites may apply. Please refer to the CAP applications page for further information.
Additional information for this subject
Subject coordinator approval required
- Available to Study Abroad and/or Study Exchange Students
This subject is available to students studying at the University from eligible overseas institutions on exchange and study abroad. Students are required to satisfy any listed requirements, such as pre- and co-requisites, for enrolment in the subject.
Last updated: 31 January 2024