CS 4804 Homework #3

Date Assigned: September 26, 2003
Date Due: October 3, 2003, in class, before class starts
  1. (20 points) Problem 4 of Spring 2003 midterm exam

  2. (20 points) Problem 5 of Spring 2003 midterm exam

  3. (20 points) Problem 8.6 of your textbook (parts a, b, c, and d only). For full credit, state what your predicates are, what their meanings are *before* representing the given sentences in first order logic.

  4. (20 points) Problem 8.6 of your textbook (parts e, f, and g only). For full credit, state what your predicates are, what their meanings are *before* representing the given sentences in first order logic.

  5. (20 points) Problem 6 of Spring 2003 midterm exam

Return Home