Introduction to Computation (Fall 2014)