Foundations of Computer Science, Olin College of Engineering, Fall 2013