Transcript Teaching the Principles of Computation Tom Cortina Carnegie Mellon University