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

Entry requirements

Bachelor of Arts (Honours) in Logic and Computation

A BA or Bachelor of Global Studies with a major in Logic and Computation. You must have a Grade Point Average of 5.0 or higher in 45 points above Stage II in the major.

The following subjects may also be considered for entry: Computer Science, Philosophy.

Master of Arts in Logic and Computation

120 point (one-year) MA

A BA (Hons) or PGDipArts with a major in Logic and Computation with a Grade Point Average of 5.0 or higher across the programme.

The following subjects may also be considered for entry: Computer Science, Philosophy.

240 point (two-year) MA

A BA with a major in Logic and Computation. You must have a Grade Point Average of 5.0 or higher in 45 points above Stage II.

The following subjects may also be considered for entry: Computer Science, Philosophy.

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.

2023 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.

2023 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 and Science students

Student Hubs 

Visit your hubs for help and advice on any aspect of your studies and life at University.

The Student Hubs are your physical gateway to Waipapa Taumata Rau | the University of Auckland. 

The Student Hubs services are available seven days a week at the City, Grafton, Epsom and Tai Tonga campuses and six days a week at Tai Tokerau, with friendly staff available to provide you with advice on any aspect of your studies and life at the University.

Find out more

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.