Introduction¶

Lecture 1 - January 5, 2017

What problems are solvable by a computer?

To answer this question we need to define these terms.

We will examine three computational models,

1. Complexity Theory
2. Computability Theory
3. Automata Theory