Introduction to Computation (Fall 2015)