Office Hours: M 9-10, W 1-2 and by appointment, ACES 2NEo1A. This is a mathematically oriented course. It will introduce you to methods of reasoning that play an important role in computer science.