You can study Logic and Computation as a postgraduate specialisation in either our Faculty of Arts or Faculty of Science programmes. Postgraduate study in Logic and Computation combines a strong core of advanced courses in Computer Science and Philosophy, alongside Linguistics, Logic and Computation and Mathematics to explore the development of computer languages. Areas of research interests open to exploration include: The design of algorithms Definitions of computer models and complexity classes Formal theories of syntax The implementation and use of intelligent software agents Issues in semantics such as pragmatics Logic and set theory An overview of the learning problem and the view of learning by search Philosophy and computation Representation formalisms Standard artificial intelligence problem-solving paradigms Surveys agent architectures and multi-agent frameworks

Every industry is becoming more and more dependent on computing technology. With demonstrated skills in analytical thinking, communication and computing, our graduates can successfully navigate this ever expanding field. Jobs related to Logic and Computation Business, systems or security analyst Cloud systems or software engineer Communications and marketing Computer consultant Data, e-commerce solutions, software, information architect Database developer or administrator Digital designer Front end, game, systems or web developer Project manager