Logic and Computation focuses on the development of computer languages. It has strong applications to artificial intelligence and speech recognition, and to the relevant software.
The programme combines Computer Science, Mathematics, Philosophy and Linguistics courses. The scientific concerns of BSc students can deepen through an appreciation of the philosophical and linguistic issues at the root of the science of computation. The Arts courses involved in Logic and Computation can strengthen scientific analytical, conceptual and communication skills.
BA students may enhance their interest in the Arts (philosophy in particular) with an understanding of the theoretical and practical bases of the IT industry, as well as gaining technical skills.
Opportunities for postgraduate study in Logic and Computation are plentiful, allowing those who have completed a major in the subject at undergraduate level to extend their skills in the field and pursue specialised research projects.