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.
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.
Bachelor of Science (Honours) (BSc(Hons)) in Logic and Computation
- 15 points from:
- 15 points from:
- 60 points from:
- COMPSCI 720 Advanced Design and Analysis of Algorithms
- COMPSCI 750 Computational Complexity
- COMPSCI 760 Datamining and Machine Learning
- COMPSCI 767 Intelligent Software Agents
- LINGUIST 721 Formal Syntax
- LINGUIST 724 Semantics and Pragmatics
- LOGICOMP 701 Directed Studies
- LOGICOMP 702 Special Topic
- LOGICOMP 703 Directed Study
- LOGICOMP 704 Special Topic
- LOGICOMP 705 Special Topic
- MATHS 713 Logic and Set Theory
- MATHS 715 Graph Theory and Combinatorics
- PHIL 736 Logic 1
- PHIL 737 Logic 2
- PHIL 738 Philosophical Logic
- 30 points:
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
- 15 points from:
- 15 points from:
- 90 additional points from:
- COMPSCI 720 Advanced Design and Analysis of Algorithms
- COMPSCI 750 Computational Complexity
- COMPSCI 760 Datamining and Machine Learning
- COMPSCI 767 Intelligent Software Agents
- LINGUIST 721 Formal Syntax
- LINGUIST 724 Semantics and Pragmatics
- LOGICOMP 701 Directed Studies
- LOGICOMP 702 Special Topic
- MATHS 713 Logic and Set Theory
- MATHS 715 Graph Theory and Combinatorics
- PHIL 736 Logic 1
- PHIL 737 Logic 2
- PHIL 738 Philosophical Logic
- 120 points:
Postgraduate Diploma in Science (PGDipSci) in Logic and Computation
- 15 points from:
- 15 points from:
- 90 points from:
- COMPSCI 720 Advanced Design and Analysis of Algorithms
- COMPSCI 750 Computational Complexity
- COMPSCI 760 Datamining and Machine Learning
- COMPSCI 767 Intelligent Software Agents
- LINGUIST 721 Formal Syntax
- LINGUIST 724 Semantics and Pragmatics
- LOGICOMP 701 Directed Studies
- LOGICOMP 702 Special Topic
- LOGICOMP 703 Directed Study
- LOGICOMP 705 Special Topic
- MATHS 713 Logic and Set Theory
- MATHS 715 Graph Theory and Combinatorics
- PHIL 736 Logic 1
- PHIL 737 Logic 2
- PHIL 738 Philosophical Logic
Courses
Explore the postgraduate courses you can take in Logic and Computation:
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.
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.