INFO 150: A Mathematical Foundation for Informatics

First Midterm Exam

David Mix Barrington

11 October 2016

Directions:

  Q1: 15 points
  Q2: 25 points
  Q3: 20 points
  Q4: 20 points
  Q5: 20 points
Total: 100 points

  • Question 1 (15): Briefly identify the following terms or concepts (3 points each):

  • Question 2 (25): Translate the following statements as indicated. The dogs Cardie, Duncan, and Mia are denoted symbolically by c, d, and m respectively. If x is a dog, the predicate B(x) means "x is barking". If x and y are both dogs, the predicate S(x, y) means "dog x and dog y are the same size". All variables are of type "dog".

  • Question 3 (20): Establish the following fact with truth tables:

  • Question 4 (20): Prove the following statement:

  • Question 5 (20):

    Last modified 19 October 2016