Subjects

Logic and Computation

Overview

The way a computer works is closely related to the laws of thought and the structure of language.

Logic and Computation studies the laws and methods of reasoning with symbolic representations, including human languages and digital information systems.

We examine the structure, design and limitations of symbolic representations and procedures in human thought and computer software.

Logic and Computation will suit you if you have a flexible mind capable not only of creative, speculative thought, but also of precise calculation, problem solving and design.

Areas of study

Logic and Computation is designed to give you a sound practical knowledge, conceptual and analytical skills and a deeper theoretical understanding of the field.

You will study logical analysis and programming. We also examine the structure, design and limitations of symbolic representations and procedures in human thought and computer software.

Logic and Computation consists of courses from Computer Science, Linguistics, Mathematics and Philosophy. You can combine courses from these areas or you can focus on Computer Science or Philosophy.

You can study Logic and Computation in the following programmes:

What you will learn

You will gain a sound practical knowledge of programming and logical analysis, and develop the conceptual and analytical skills needed for a deeper theoretical understanding of the subject.

Career opportunities

Logic and Computation could lead to a research career in universities or the IT industry. It can also be useful for any career requiring skills in analysis, precise and creative thinking and the ability to communicate clearly, for example in business analysis.

More information

Find out more about studying Logic and Computation.