The Master of Science (MSc) programme enables you to pursue advanced study in your area of interest with the opportunity to work on independent research. Programme overview Studying for an MSc is an opportunity for committed scientists to focus on a relevant area of interest or practise and pursue an advanced qualification. While taught masters will provide you with specialist training in your chosen field, a research masters will develop advanced research skills, working alongside Faculty of Science researchers - many of whom are major contributors in their field. 120-point MSc Most students enter an MSc following completion of a PGDipSci. You will need to complete 120 points (maximum of 160 points) in a specialisation within one year of full-time study or two years of part-time study (research masters) or four years of part-time study (taught masters). Not all specialisations offer both taught and research options. 240-point MSc If you enter a MSc directly from an undergraduate degree you will need to complete 240 points (maximum of 280 points) in a specialisation in two years of full-time study or four years of part-time study (research masters) or six years of part-time study (taught masters). Not all specialisations offer both taught and research options. Logic and Computation 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 Structuring Master of Science (MSc) in Logic and Computation 120-point (one-year) research masters 120 points: LOGICOMP 796 Thesis Master of Science (MSc) in Logic and Computation 240-point research masters 15 points from: COMPSCI 720 Advanced Design and Analysis of Algorithms COMPSCI 750 Computational Complexity 15 points from: PHIL 736 Logic 1 PHIL 737 Logic 2 PHIL 738 Philosophical Logic 90 additional points from: COMPSCI 720 Advanced Design and Analysis of Algorithms COMPSCI 750 Computational Complexity COMPSCI 760 Data Mining and Machine Learning COMPSCI 767 Intelligent Software Agents LINGUIST 721 Formal Syntax LINGUIST 724 Semantics and Pragmatics LOGICOMP 701 Directed Studies LOGICOMP 702 Special Topic MATHS 713 Logic and Set Theory MATHS 715 Graph Theory and Combinatorics PHIL 736 Logic 1 PHIL 737 Logic 2 PHIL 738 Philosophical Logic 120 points: LOGICOMP 796 Thesis Further study options Doctor of Philosophy