Theory of Machines through Solved Problems