Discrete Structures, Spring 2013