Note: This unit is an archived version! See Overview tab for delivered versions.
COMP2022: Formal Languages and Logic (2018 - Semester 2)
| Unit: | COMP2022: Models of Computation (6 CP) |
| Mode: | Normal-Day |
| On Offer: | Yes |
| Level: | Intermediate |
| Faculty/School: | School of Computer Science |
| Unit Coordinator/s: |
Godbehere, Joseph William
A/Prof Yacef, Kalina |
| Session options: | Semester 2 |
| Versions for this Unit: | |
| Site(s) for this Unit: |
| Campus: | Camperdown/Darlington |
| Pre-Requisites: | INFO1103 OR INFO1113 OR INFO1903. INFO1105 OR INFO1905 OR COMP2123 OR COMP2823 desired |
| Prohibitions: | COMP2922. |
| Brief Handbook Description: | This unit provides an introduction to the foundations of computational models - including Lambda Calculus (functional approach), Automata Theory (stateful approach), and Logic calculi (propositional and predicate logic, formal proofs). Practical use is illustrated by exploring programming languages based upon them, i.e. functional programming (e.g. Haskell) and logic programming (e.g. Prolog), in contrast to the procedural languages most students will already be familiar with (e.g. C-style languages). The expressive power, and limitations, of different Automata is explored (e.g. Regular, Context-Free, and Recursively-enumerable languages), culminating with Turing machines and the notions of computability and decidability. |
| Assumed Knowledge: | MATH1004 OR MATH1904 OR MATH1064 OR MATH2069 OR MATH2969. |
| Lecturer/s: |
Godbehere, Joseph William
A/Prof Yacef, Kalina |
||||||||||||||||||||
| Timetable: | COMP2022 Timetable | ||||||||||||||||||||
| Time Commitment: |
|
||||||||||||||||||||
| T&L Activities: | Independent Study: Students are expected to undertake the prescribed reading and work on homework exercises and assignments. |
Attributes listed here represent the key course goals (see Course Map tab) designated for this unit. The list below describes how these attributes are developed through practice in the unit. See Learning Outcomes and Assessment tabs for details of how these attributes are assessed.
| Attribute Development Method | Attribute Developed |
| Design of solutions to given problems and scenarios using algorithms and techniques learned in class | Design (Level 2) |
| Competently applies theories, principles, tools & materials of both theory of computation and logic to well-defined problems. | Engineering/IT Specialisation (Level 2) |
| Fluent use of mathematical & scientific concepts, tools and techniques required for formal languages and logic formal proofs. | Maths/Science Methods and Tools (Level 2) |
For explanation of attributes and levels see Engineering & IT Graduate Outcomes Table 2018.
Learning outcomes are the key abilities and knowledge that will be assessed in this unit. They are listed according to the course goal supported by each. See Assessment Tab for details how each outcome is assessed.
Maths/Science Methods and Tools (Level 2)| Assessment Methods: |
|
||||||||||||||||||||||||||||||||||||
| Assessment Description: |
Weekly in-class exercises: short exercises to do in-class at the beginning of each tutorial. Assignments: the first 2 are individual assignments, which consist of a report and a programming part. The 3rd assignment is a formal proof, to be done individually or in pairs. Final Exam: 2 hour exam, paper-based |
||||||||||||||||||||||||||||||||||||
| Assessment Feedback: | Assignments are handed back within 2 weeks with written feedback. General feedback given in the lecture or in the tutorial. Solutions of tutorials are posted each week. |
||||||||||||||||||||||||||||||||||||
| Grading: |
|
||||||||||||||||||||||||||||||||||||
| Policies & Procedures: | IMPORTANT: School policy relating to Academic Dishonesty and Plagiarism. In assessing a piece of submitted work, the School of IT 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. Other policies See the policies page of the faculty website at http://sydney.edu.au/engineering/student-policies/ for information regarding university policies and local provisions and procedures within the Faculty of Engineering and Information Technologies. |
| Recommended Reference/s: |
Note: References are provided for guidance purposes only. Students are advised to consult these books in the university library. Purchase is not required.
|
| Online Course Content: | USyd Canvas |
UniKey Login Required
Only current University of Sydney students may view this content.
If you are an existing student, please login with your UniKey here.
Course Relations
The following is a list of courses which have added this Unit to their structure.
Course Goals
This unit contributes to the achievement of the following course goals:
| Attribute | Practiced | Assessed |
| Maths/Science Methods and Tools (Level 2) | Yes | 37.7% |
| Engineering/IT Specialisation (Level 2) | Yes | 16.3% |
| Design (Level 2) | Yes | 46% |
These goals are selected from Engineering & IT Graduate Outcomes Table 2018 which defines overall goals for courses where this unit is primarily offered. See Engineering & IT Graduate Outcomes Table 2018 for details of the attributes and levels to be developed in the course as a whole. Percentage figures alongside each course goal provide a rough indication of their relative weighting in assessment for this unit. Note that not all goals are necessarily part of assessment. Some may be more about practice activity. See Learning outcomes for details of what is assessed in relation to each goal and Assessment for details of how the outcome is assessed. See Attributes for details of practice provided for each goal.
