CMPSCI 250: Introduction to Computation

First Midterm Exam

David Mix Barrington

27 September 2007

Directions:

  Q1: 20 points
  Q2: 20 points
  Q3: 20 points
  Q4: 20 points
  Q5: 20 points plus 10 extra credit
 Total: 100 points plus 10 extra credit

Questions 1, 2, and 3 deal with a set T of terriers including two specific terriers Angus (a) and Barney (b). If x is a terrier, the predicate C(x) means "x likes to chase squirrels" and D(x) means "x likes to dig". If x and y are two terriers, SS(x,y) means "x and y are the same size". You are given that SS is an equivalence relation.