Course Information System - University of Canterbury - New Zealand

Search Courses

Year


Search by Subject



Subjects

Qualifications

MATH230  Logic, Automata, and Computability

15 points, 0.1250 EFTS

Occurrences

Description

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

Pre-requisites

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

Restrictions

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

Equivalent Courses