School Of Computing, Engineering And MathematicsAdvanced Theoretical Computer ScienceWestern Sydney University Unit Code: 300799.1
Discipline: COMPUTER SCIENCE
Student Contribution Band: 2
Level: 3
Credit Points: 10
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.
Prerequisite
200025 Discrete Mathematics OR 300699 Discrete Structures and Complexity
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.
Courses| 3639.4 | Bachelor of Information and Communications Technology | CURRENT |
| 3684.2 | Bachelor of Information and Communications Technology (Advanced) | CURRENT |
| 6039.1 | Diploma/Bachelor of Information and Communications Technology | CURRENT |
Specialisations