Logic and Computation

Logic and Computation is the study of the development of computer languages.

Subject overview

Did you know that the way a computer works is closely related to the laws of thought and the structure of language? This fascinating subject looks at the laws and methods of reasoning with symbolic representations. It includes human languages as well as digital information systems.

Studying Logic and Computation can help you develop conceptual and analytical skills and a deeper theoretical understanding. You’ll examine the structure, design and limitations of symbolic representations and procedures in both human thought and computer software.

If you have a flexible mind that’s capable of both creative, speculative thought and precise calculation, problem solving and design, then Logic and Computation is a great subject for you to study. It’s a combination of courses from Computer Science, Linguistics, Mathematics and Philosophy.

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 an undergraduate programme of this kind.  

Where can Logic and Computation take you?

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.  

Explore your study options in Logic and Computation