MATH230

Logic, Automata, and Computability

15 points

Not offered 2019, offered in 2014, 2015, 2016, 2017, 2018

For further information see Mathematics and Statistics

Description

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

Prerequisites

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

Restrictions

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

Equivalent Courses