Exam 2 -- Topics and Preparation

I have posted a small sample exam.

Objectives

The exam will cover the following topics:

• Constraint satisifaction problems (Chapter 6) including 6.1, 6.3, 6.4, 6.5.
• Propositional logic. Chapter 7 EXCLUDING sections 7.6 and 7.7.
• First-order logic. Chapters 8 and 9 ( EXCLUDING sections 8.4, 9.4.2, 9.4.3, 9.4.4, 9.4.5, 9.4.6, 9.5.6.

Logistics

• This is a closed-book, closed-notes, no-calculator exam. Do not refer to any materials other than the exam itself.
• Do not look at anyone else's exam. Do not talk to anyone but the instructor during the exam. Turn off all cell phones, etc.
• Use the restroom and take care of personal needs before you arrive. If you need to leave during the exam, ask for permission.