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.

Prerequisites

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

Restrictions

Equivalent Courses