Problem Solving using Computers (Fall 2015)