School Of Computing, Engineering And Mathematics

Advanced Theoretical Computer ScienceWestern Sydney University Unit Code: 300799.1


Student Contribution Band: 2

Level: 3

Credit Points: 10

Co ordinator
Yan Zhang

Assumed Knowledge
Students are assumed to be proficient in programming in a language such as Java or C++ to a level equivalent to that covered by 300581 Programming Techniques.

200025 Discrete Mathematics OR 300699 Discrete Structures and Complexity

Teaching Periods
Nothing on offer.

*If using Safari, Firefox or Chrome to print the Unit Outline, right-click on the Print Unit Outline link and select 'Save link as...' or in Safari 'Download Linked File'

About this Unit
This Level 3 unit provides a comprehensive study on the logical and computational foundations of computer science. The first part of this unit covers propositional modal logic, logic programming, and basic concepts and methods of computational complexity. The second part of this unit focuses on the application of logical and computational foundations to various computer science areas. This part covers the theory and practice of model checking and system verifications, reasoning about knowledge, and logic based security policy specification and reasoning.

3506.7Bachelor of Computer ScienceCONTINUING
3639.4Bachelor of Information and Communications TechnologyCURRENT
3684.2Bachelor of Information and Communications Technology (Advanced)CURRENT
6039.1Diploma/Bachelor of Information and Communications TechnologyCURRENT


M3071.1Systems ProgrammingCONTINUING
M3073.1Systems SecurityCONTINUING
M3102.1Cyber SecurityCONTINUING
M3108.1Systems ProgrammingCONTINUING

Western Sydney University Copyright © 2004-2016 ABN 53 014 069 881 CRICOS Provider No: 00917K Contact Us | Disclaimer | Emergency Help |