Bachelor of Science (Honours) major in Logic and Computation

If you have a flexible mind that’s capable of creative, speculative thought, along with precise calculation, problem solving and design, then Logic and Computation is a great subject for you. It’s a combination of courses from Computer Science, Linguistics, Mathematics and Philosophy.
Studying Logic and Computation can help you develop conceptual and analytical skills. You’ll examine the structure, design and limitations of symbolic representations and procedures in both human thought and computer software.
Logic and Computation is taught by experts in both the Faculty of Science and the Faculty of Arts. We are the only university in New Zealand to offer this undergraduate programme.

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

You could be in a position to have a career in research in universities or the IT industry. Logic and Computation can also be useful for any career requiring skills in analysis, precise and creative thinking, and the ability to communicate clearly. This is a rare and versatile combination of skills that is highly valued and sought after in the business world.

Logic and Computation helps prepare you for a wide range of careers. This is because people’s dependence on computing and computing services is increasing and diversifying. Businesses, tertiary institutions and computing industries all need experts with sharp analytical, programming, creative thinking and communication skills.

Jobs related to Logic and Computation
- Business, systems or security analyst
- Cloud systems or software engineer
- Computer consultant
- Data, e-commerce solutions, software, information architect
- Database developer or administrator
- Digital designer
- Front end, game, systems or web developer