Logic and Computation


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 uses ideas and techniques from Computer Science, Linguistics, Mathematics and Philosophy. It could suit you if you are capable of creative, speculative thought as well as precise calculation and problem solving.

Areas of study

At the University of Auckland Logic and Computation is an inter-faculty programme between Arts and Science. It involves the departments of Philosophy, Applied Language Studies and Linguistics, Computer Science and Mathematics.

You can study Logic and Computation in the following programmes:

What you will learn

This specialisation focuses on the development of computer languages. It has strong applications to artificial intelligence and speech recognition, and to the relevant software. 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. 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.

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