MATH230-11S2 (C) Semester Two 2011

Logic, Automata, and Computability

15 points

Details:
Start Date: Monday, 11 July 2011
End Date: Sunday, 13 November 2011
Withdrawal Dates
Last Day to withdraw from this course:
  • Without financial penalty (full fee refund): Friday, 22 July 2011
  • Without academic penalty (including no fee refund): Friday, 7 October 2011

Description

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

Prerequisites

30 points from MATH100-199 excluding MATH101; or with permission of the Head of Department

Restrictions

MATH208, MATH308, PHIL208, PHIL308, PHIL225, PHIL246, PHIL346

Contact People

Jack Copeland and Douglas Bridges

Assessment

Assessment Due Date Percentage 
Internal Assessment - TBA 40%
Final Examination 60%

Indicative Fees

Domestic fee $598.00

International fee $3,075.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-11S2 (C) Semester Two 2011
Next year