You are here: Home / Future students / Course search

Formal Languages and Logic

COMP2022

This unit aims at providing a deeper understanding of computing systems and of what computation is in general. It covers two essential theoretical aspects of computer science and gives students the foundations to understand the power as well as the limitations of computers. It covers various abstract models for computation such as finite automata, grammars and regular expressions, and the different classes of formal languages that these models recognize such as regular and context-free languages. It also covers the concept of formal proofs in propositional and predicate logic. The course concludes with Turing machines, as well as the notions of computability and decidability.

Unit of study details

Unit of study level: Intermediate

Credit points: 6

Commencing semesters: 1

Further unit of study information

Unit of study handbook: COMP2022

Costs and scholarships information: Costs and Scholarships

Final dates to withdraw from units of study: Census Dates

Available for study abroad and exchange: No

Our courses that offer this unit of study