Exam 2 will cover chapters 4-5. The exam will be closed book and closed notes, except that you may bring a 3"x5" card of your own handwritten notes. As in class, you will be provided with tables of syllogisms and logical equivalences, and a list of definitions for chapter 5.
The exam will have many short problems, emphasizing proof-writing and your understanding of relations. There will probably be less programming than on Exam 1.
You can expect exam problems to be straightforward rather than tricky. I will try to put together some sample problems on Monday illustrating the level of difficulty you can expect.