PHIL210

Logic, Automata, and Computability

15 points

Not offered 2021, offered in 2012, 2013, 2014, 2015, 2016

For further information see Humanities and Creative Arts

Description

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

Pre-requisites

PHIL134 or
PHIL138 or
PHIL208 or
30 points from MATH102-199 with MATH130 highly recommended.

Restrictions

Equivalent Courses