MATH230-26S1 (C) Semester One 2026

Logic, Automata, and Computability

15 points

Details:
Start Date: Monday, 16 February 2026
End Date: Sunday, 21 June 2026
Withdrawal Dates
Last Day to withdraw from this course:
  • Without financial penalty (full fee refund): Sunday, 1 March 2026
  • Without academic penalty (including no fee refund): Sunday, 10 May 2026

Description

An introduction to various formal logics, the theory of automata, and the theoretical limitations of the computer.

Prerequisites

15 points from MATH102-109 or MATH111-199, and a further 15 points from 100 level COSC, EMTH, MATH, PHIL or STAT courses, excluding COSC110, MATH101, MATH110, and EMTH117.

Restrictions

MATH208, MATH308, PHIL208 (prior to 2014), PHIL210, PHIL308 (prior to 2014).

Equivalent Courses

Timetable 2026

Students must attend one activity from each section.

Lecture A
Activity Day Time Location Weeks
01 Monday 11:00 - 12:00 Jack Erskine 031 Lecture Theatre
16 Feb - 29 Mar
20 Apr - 31 May
Lecture B
Activity Day Time Location Weeks
01 Tuesday 11:00 - 12:00 Psychology - Sociology 252 Lecture Theatre
16 Feb - 29 Mar
20 Apr - 31 May
Lecture C
Activity Day Time Location Weeks
01 Wednesday 10:00 - 11:00 Jack Erskine 443
16 Feb - 29 Mar
20 Apr - 31 May
Computer Lab A
Activity Day Time Location Weeks
01 Friday 12:00 - 13:00 Jack Erskine 436 Computer Lab
16 Feb - 29 Mar
20 Apr - 31 May
02 Friday 11:00 - 12:00 Jack Erskine 436 Computer Lab
16 Feb - 29 Mar
20 Apr - 31 May

Indicative Fees

Domestic fee $951.00

International fee $5,388.00

* All fees are inclusive of NZ GST or any equivalent overseas tax, and do not include any programme level discount or additional course-related expenses.

For further information see Mathematics and Statistics .

All MATH230 Occurrences

  • MATH230-26S1 (C) Semester One 2026