Topics of midterm #1

From [FP]: sections 1.2-1.6, 2.2, 3.1-3.2.
From class: definitions from class related to graphs. (They'll be written on the test, too, but better if you already know them!)

There will be problems of the form

"Here is an English statement.
Which of the following statements follow from it?
[big mess of for-alls vs. there-exists in various different orders]."

You should be able to write out a proof by weak induction -- base cases, induction step, everything in place.