Postgraduate study in Logic and Computation

What can you study in Logic and Computation?

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

Structuring your postgraduate programme in Logic and Computation

Bachelor of Arts (Honours) (BA(Hons)) in Logic and Computation

Consult the BA(Hons) schedule for how to structure your study and for the courses you may take.

2019 BA(Hons) schedule for Logic and Computation

Master of Arts (MA) in Logic and Computation

Consult the MA schedule for how to structure your study and for the courses you may take.

2019 MA schedule for Logic and Computation

Bachelor of Science (Honours) (BSc(Hons)) in Logic and Computation

Master of Science (MSc) in Logic and Computation 120-point (one-year) research masters

120 points: LOGICOMP 796 Thesis

Master of Science (MSc) in Logic and Computation 240-point research masters

Postgraduate Diploma in Science (PGDipSci) in Logic and Computation

Courses

Where can postgraduate study in Logic and Computation take you?

Every industry is becoming more and more dependent on computing technology. With demonstrated skills in analytical thinking, communication and computing, our graduates can successfully navigate this ever expanding field.

Jobs related to Logic and Computation

  • Business, systems or security analyst
  • Cloud systems or software engineer
  • Communications and marketing
  • Computer consultant
  • Data, e-commerce solutions, software, information architect
  • Database developer or administrator
  • Digital designer
  • Front end, game, systems or web developer
  • Project manager

Scholarships and awards

Each year we award scholarships and prizes to thousands of students.

Find out about the scholarships you may be eligible for, search available scholarships or begin an application by visiting Scholarships and awards.

Help and advice for Arts students

For help with planning your degree and enrolling in your courses, please contact the Arts Students' Centre.

Help and advice for Science students

For further information and advice, please contact the Science Student Centre.

Science Student Centre
Level G, Room G 20
(beside the entrance to the Large Chemistry Lecture Theatre)
Building 301
23 Symonds Street
Auckland 1010

Phone: +64 9 923 7020
Email: pgscience@auckland.ac.nz

To find a supervisor to work with you on your research project please contact Professor Andre Nies for topics centred in computer science, and Dr Jeremy Seligman for Philosophy.