15-151: Mathematical Foundations of Computer Science
(Fall 2016)