The Theory of Machines Through Solved Problems