Course overview
The course equips students with essential computer science knowledge required for addressing practical software engineering challenges. Students will acquire proficiency in linear algebra, set theory, set operations, first-order logic, formal languages, finite automata, Turing machines, and computational complexity. Additionally, students will develop practical skills for applying these formal concepts to solve real-world software engineering problems.
Course learning outcomes
- Apply propositional logic and algebra in the development of robust code
- Apply automata and language theory to improve the quality and reliability of code
- Apply computational theory to describe a model and capability of a software algorithm
Fee calculator
To display course fees, please select your status and program below:
We’re updating this Fee Calculator. It currently shows fees for programs only. Please check the relevant program for full fee details.
Study Abroad student tuition fees are available here.
Only some Postgraduate Coursework programs are available as Commonwealth Supported. Please check your program for specific fee information.
The Student Contribution amount displayed below is for students commencing a new program from 2021 onwards. If you are continuing in a program you commenced prior to 1 January 2021, or are commencing an Honours degree relating to an undergraduate degree you commenced prior to 1 January 2021, you may be charged a different Student Contribution amount from the amount displayed below. Please check the Student Contribution bands for continuing students here. If you are an international student, or a domestic student studying in a full fee paying place, and are continuing study that you commenced in 2025 or earlier, your fees will be available here before enrolments open for 2026.