Bachelor of Science major in Logic and Computation

A major is the main subject area that you choose to study in your degree. You will study courses up to Stage III level in this subject.

As well as gaining skills, knowledge and experience in your chosen area, you will learn how to think creatively, solve problems and communicate effectively, all essential skills to help you thrive in any career you choose.

Please see the main programme link below to see further details for the programme.

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.

BSc - Bachelor of Science

Logic and Computation combines courses from Computer Science, Mathematics, Philosophy and Linguistics. As a Logic and Computation student you can study courses in the following topics:
- Algorithms
- Artificial intelligence
- Critical thinking
- Data structures
- Grammar
- Logic
- Pragmatics
- Rationality
- Syntax

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

Complete 135 points comprising:

30 points for all Stage I Compulsory Courses, and
15 points from Stage I Elective Courses, and
15 points from Group 1 Stage II Elective Courses, and
15 points from Group 2 Stage II Compulsory Course, and
15 points for all Stage II Compulsory Course, and
30 points for all Stage III Compulsory Courses, and
15 points from Stage III Elective Courses

Stage I Compulsory Courses

Complete 30 points for ALL of the following:

COMPSCI 120 - Mathematics for Computer Science (15 points)

PHIL 101 - Introduction to Logic (15 points)

Stage I Elective Courses

Complete exactly 15 points from the following:

COMPSCI 130 - Introduction to Software Fundamentals (15 points)

LINGUIST 100 - Introduction to Linguistics (15 points)

PHIL 105 - Critical Thinking (15 points)

Group 1 Stage II Elective Courses

Complete exactly 15 points from the following:

COMPSCI 220 - Algorithms and Data Structures (15 points)

LINGUIST 200 - Syntax (15 points)

PHIL 206 - Language, Truth and Meaning (15 points)

PHIL 233 - Philosophy of Logic (15 points)

PHIL 216 - Modal Logic (15 points)

Group 2 Stage II Compulsory Course

Complete exactly 15 points from the following:

COMPSCI 225 - Discrete Structures in Mathematics and Computer Science (15 points)

Stage II Compulsory Course

Complete 15 points for ALL of the following:

PHIL 222 - Intermediate Logic (15 points)

Stage III Compulsory Courses

Complete 30 points for ALL of the following:

COMPSCI 350 - Mathematical Foundations of Computer Science (15 points)

PHIL 315 - Modal Logic (15 points)

Stage III Elective Courses

Complete exactly 15 points from the following:

COMPSCI 320 - Applied Algorithmics (15 points)

COMPSCI 367 - Artificial Intelligence (15 points)

LINGUIST 300 - Advanced Syntax (15 points)

LOGICOMP 301 - Philosophy and Computation (15 points)

MATHS 315 - Mathematical Logic (15 points)

PHIL 306 - Language, Truth and Meaning (15 points)

PHIL 323 - Philosophy of Logic (15 points)

Year 1

Semester One

COMPSCI 120

Mathematics for Computer Science

Stage I Compulsory Courses

15 Points

COMPSCI 101 - Principles of Programming

15 Points

Science course from the BSc Schedule

15 Points

Science course from the BSc Schedule

15 Points

ACADINT A01 - Academic Integrity Course

0 Points

Academic Integrity course to be completed in the first Semester of study

Semester Two

COMPSCI 130 - Introduction to Software Fundamentals

LINGUIST 100 - Introduction to Linguistics

PHIL 105 - Critical Thinking

15 Points

PHIL 101

Introduction to Logic

Stage I Compulsory Courses

15 Points

Science course from the BSc Schedule

15 Points

Science course from the BSc Schedule

15 Points

Year 2

Semester One

PHIL 222

Intermediate Logic

Stage II Compulsory Course

15 Points

COMPSCI 225

Discrete Structures in Mathematics and Computer Science

Group 2 Stage II Compulsory Course

15 Points

Stage II Science course from the BSc Schedule

15 Points

Stage II or III Science course from the Science Schedule

15 Points

Semester Two

Core Course From COMPSCI 220, LINGUIST 200, PHIL 206, PHIL 233, PHIL 216

15 Points

Science course from the BSc Schedule

15 Points

General Education course from the Open Schedule or Schedule Five

15 Points

Any Stage Course or Module up to 30 points may be taken from courses outside of the BSc Schedule

15 Points

Year 3

Semester One

COMPSCI 350

Mathematical Foundations of Computer Science

Stage III Compulsory Courses

15 Points

PHIL 315

Modal Logic

Stage III Compulsory Courses

15 Points

Stage III Elective from COMPSCI 320, 367, LINGUIST 300, LOGICOMP 301, MATHS 315, PHIL 306, 323

15 Points

Stage II or III Science course from the Science Schedule

15 Points

Semester Two

Stage III Elective from COMPSCI 320, 367, LINGUIST 300, LOGICOMP 301, MATHS 315, PHIL 306, 323

15 Points

LOGICOMP 399 - Capstone: Logic and Computation

15 Points

Stage II or III Science or Module 15 points from a Stage II or III Science course from the Science Schedule

15 Points

General Education course from the Open Schedule or Schedule Five

15 Points

Please note that while regulations and programme rules for future academic years may be displayed or made available in advance, they remain subject to change. Official, final approved programme regulations for the upcoming academic year will be available when the University Calendar is published in late October of the preceding year. Any information available prior to Calendar publication should be treated as provisional.

Hidden Page Items

Apply Header