PHIL210

Logic, Automata, and Computability

15 points

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

For further information see Humanities

Description

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

Prerequisites

Any 15 points at 100 level from MATH or PHIL, or
any 60 points at 100 level from the Schedule V of the BA.

Restrictions